You are on page 1of 1

A B C ((Α→Β)∧(Β→C)) (Α→Β)→((Β→C)→(Α→C)) (¬B∧(Α→Β))→ ¬A→((Α→Β)→¬B) (Α→B)↔(¬Β→¬Α) (Α→B)↔(¬A→¬B)

→(Α→C) ¬Α
v v v v v v v f v
v v f v v v v f v
v f v v v v v v f
v f f v v v v v f
f v v v v
f v f v v
f f v v v
f f f v v

You might also like