Вы находитесь на странице: 1из 7

(((A → B) ∧ (¬C → ¬B)) → ( A → C))

A B C (((A → B) ∧ (¬C → ¬B)) → (A → C))


A B C (((A → B) ∧ (¬C → ¬B)) → (A → 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
PROCEDIMIENTO

(((A → B) ∧ (¬C → ¬B)) → ( A → C))


1

4
A B C (((A → B) ∧ (¬C → ¬B)) → (A → C))

V V V F F
F V V F F
V F V F V
F F V F V
V V F V F
F V F V F
V F F V V
F F F V V
A B C (((A → B) ∧ (¬C → ¬B)) → (A → C))

V V V V F V F V
F V V V F V F V
V F V F F V V V
F F V V F V V V
V V F V V F F F
F V F V V F F V
V F F F V V V F
F F F V V V V V
A B C (((A → B) ∧ (¬C → ¬B)) → (A → C))

V V V V V F VF V
F V V V V F VF V
V F V F F F VV V
F F V V V F VV V
V V F V F V FF F
F V F V F V FF V
V F F F F V VV F
F F F V V V VV V
A B C (((A → B) ∧ (¬C → ¬B)) → (A → C))

V V V V V F VF V V
F V V V V F VF V V
V F V F F F VV V V
F F V V V F VV V V
V V F V F V FF V F
F V F V F V FF V V
V F F F F V VV V F
F F F V V V VV V V

Вам также может понравиться