$ P $ $ Q $ $ \sim P $ $ \sim Q $ $ P \Rightarrow Q $ $ ( \sim Q) \Rightarrow ( \sim P) $
$ T $ $ T $ $ F $ $ F $ $ T $ $ T $
$ T $ $ F $ $ F $ $ T $ $ F $ $ F $
$ F $ $ T $ $ T $ $ F $ $ T $ $ T $
$ F $ $ F $ $ T $ $ T $ $ T $ $ T $

These propositional forms are equivalent.

RETURN to problem set.



Duane Kouba 2002-05-11