Prove each of the following using the ``Equiv. Rules'' and ``rules of Inference'':

1. $P \rightarrow Q$

   $Q \vee R$

   $P$

   therefore $R \rightarrow Q$

2. $P \rightarrow Q$

   $Q \vee P$

   therefore $Q$

3. $P \rightarrow M$

   $M \rightarrow Q$

   $\sim ( Q \vee S)$

   therefore $\sim (S \vee P)$

4. $\forall x [M(x) \rightarrow Y(x)]$

   $\forall x [\sim Y(x) \vee \sim P(x)]$

   $\exists [P(x)]$

   therefore $\sim (\forall x[M(x)])$

About this document ...

This document was generated using the LaTeX2HTML translator Version 2K.1beta (1.61)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -show_section_numbers -split 0 -no_navigation -no_footnode practicelogic

The translation was initiated by Fawzi Emad on 2003-03-11

Web Accessibility