(((A → B) ∧ (¬C → ¬B)) → ( A → C)) A
B
C
(((A →
B)
∧ (¬C
→ ¬B))
→
(A
→
C))
A
B
C
V
V
V
F
V
V
V
F
V
F
F
V
V
V
F
F
V
F
V
F
F
F
F
F
(((A →
B)
∧ (¬C
→ ¬B))
→
(A
→
C))
PROCEDIMIENTO (((A → B) ∧ (¬C → ¬B)) → ( A → C)) 1 2 3 4
A
B
C
V
V
V
F
V
V
V
F
V
F
F
V
V
V
F
F
V
F
V
F
F
F
F
F
(((A →
B)
∧ (¬C
F F F F V V V V
→ ¬B))
F F V V F F V V
→
(A
→
C))
A
B
C
(((A →
V
V
V
F
V
V
V
F
V
F
F
V
V
V
F
F
V
F
V
F
F
F
F
F
V V F V V V F V
B)
∧ (¬C
F F F F V V V V
→ ¬B))
V V V V F F V V
F F V V F F V V
→
(A
→
V V V V F V F V
C))
A
B
C
(((A →
V
V
V
F
V
V
V
F
V
F
F
V
V
V
F
F
V
F
V
F
F
F
F
F
V V F V V V F V
B)
∧
(¬C
→ ¬B))
V V F V F F F V
F F F F V V V V
VF VF VV VV FF FF VV VV
→
(A
→
V V V V F V F V
C))
A
B
C
(((A →
V
V
V
F
V
V
V
F
V
F
F
V
V
V
F
F
V
F
V
F
F
F
F
F
V V F V V V F V
B)
∧
(¬C
→ ¬B))
→
V V F V F F F V
F F F F V V V V
VF VF VV VV FF FF VV VV
V V V V V V V V
(A
→
V V V V F V F V
C))