¬(¬)

[Josh95]

¬(¬)

Hello a very quick question,
In terms of logical proposition if ¬(¬p ^ q)
would p be p or ¬p does ¬ behind ( cancel out ¬ in ( and would q before a ¬p become ¬q or remain q.
thank you for any answers in advance
- Josh

 

[HallsofIvy]

You should know that ¬p v q= ¬(p^ ¬q).

 

[pka]

Hello a very quick question,
In terms of logical proposition if ¬(¬p ^ q)
would p be p or ¬p does ¬ behind ( cancel out ¬ in ( and would q before a ¬p become ¬q or remain q.
thank you for any answers in advance
- Josh

\(\displaystyle \neg \left( {\neg p \wedge q} \right) \equiv p \vee \neg q\)