# true tables urgent

• December 8th 2008, 09:34 AM
ana1808
true tables urgent
show using truth tables, that the statement "if P then Q" is logically equivalent to the statement "not P or Q"
• December 8th 2008, 09:41 AM
Jhevon
Quote:

Originally Posted by ana1808
show using truth tables, that the statement "if P then Q" is logically equivalent to the statement "not P or Q"

fill out the table and observe that the truth values for both expressions are the same in each corresponding entry:

$\begin{array}{|c|c|c|c|c|}
\hline \bold{P} & \bold{Q} & \neg \bold{ P} & \bold{P} \implies \bold{Q} & \bold{\neg P \vee Q} \\
\hline T & T & & & \\
\hline T & F & & & \\
\hline F & T & & & \\
\hline F & F & & & \\
\hline \end{array}$
• December 8th 2008, 09:41 AM
particlejohn
Same as showing $P \implies Q$ is equivalent to $\neg P \vee Q$. Just look at the truth tables and see that they have the same values.