(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

Show that [tex]\left[\neg\,p\,\wedge\,\left(p\,\vee\,q\right)\right]\,\longrightarrow\,q[/tex] is a tautology without using truth tables.

2. Relevant equations

DeMorgan's Laws, etc.

3. The attempt at a solution

[tex]\left[\neg\,p\,\wedge\,\left(p\,\vee\,q\right)\right]\,\longrightarrow\,q[/tex]

by. EX 3 (see EX 8)

[tex]\left[\neg\,p\,\wedge\,\left(p\,\vee\,q\right)\right]\,\vee\,q[/tex]

[tex]\left[p\,\wedge\,\neg\,\left(p\,\vee\,q\right)\right]\,\vee\,q[/tex]

[tex]\left[p\,\wedge\,\left(\neg\,p\,\wedge\,\neg\,q\right)\right]\,\vee\,q[/tex]

[tex]\left[\left(p\,\wedge\,\neg\,p\right)\,\wedge\,\left(p\,\wedge\,\neg\,q\right)\right]\,\vee\,q[/tex]

[tex]\left[F\,\wedge\,\left(p\,\wedge\,\neg\,q\right)\right]\,\vee\,q[/tex]

Now what?

**Physics Forums - The Fusion of Science and Community**

# Show that the conditional statement is a Tautology without using truth tables

Know someone interested in this topic? Share a link to this question via email,
Google+,
Twitter, or
Facebook

Have something to add?

- Similar discussions for: Show that the conditional statement is a Tautology without using truth tables

Loading...

**Physics Forums - The Fusion of Science and Community**