Tableau method KRZ — Problem 1: Use tableau method for (p -> q) -> [(not-q) -> (not-p)]

Are my solutions correct? The number in the circle indicates the problem/task number. Thank you and best regards!

This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.

Accept Learn more…

Top