- #1
mohabitar
- 140
- 0
I'm trying to negate this statement and want to make sure I'm doing it right.
(p[tex]\vee[/tex]q) ---> (p [tex]\wedge[/tex] q)
So I don't negate both sides do I or else that would just make them equal out again? So I just negated the left side, so [tex]\neg[/tex](p[tex]\vee[/tex]q) is equivalent to [tex]\neg[/tex]p[tex]\wedge[/tex][tex]\neg[/tex]q
So that's the answer I got:
[tex]\neg[/tex]p[tex]\wedge[/tex][tex]\neg[/tex]q ---> (p [tex]\wedge[/tex] q)
(p[tex]\vee[/tex]q) ---> (p [tex]\wedge[/tex] q)
So I don't negate both sides do I or else that would just make them equal out again? So I just negated the left side, so [tex]\neg[/tex](p[tex]\vee[/tex]q) is equivalent to [tex]\neg[/tex]p[tex]\wedge[/tex][tex]\neg[/tex]q
So that's the answer I got:
[tex]\neg[/tex]p[tex]\wedge[/tex][tex]\neg[/tex]q ---> (p [tex]\wedge[/tex] q)