or|
equivalence=
negation!
implication->
and&
select logic

PL Logic Tableaux


(((a -> b) & (b -> c)) -> (a -> c))
true

!(((a -> b) & (b -> c)) -> (a -> c))

((a -> b) & (b -> c))

!(a -> c)

(a -> b)

(b -> c)

a

!c

!a

!b

c

b

!b

c