A second truth table query: "[not-(not-(not-p))] -> q = p or q" ?

Phatfoo

New member
Joined
May 22, 2018
Messages
16
As you can see, I've included my steps. The question is whether or not these statements are true or false.

ink (2).jpg

The second one got me a bit. I'm not entirely certain if "implies" is logically equivalent to "and".

If I've gone wrong, then please give me some advice. I'd love to get this correct.
 
As you can see, I've included my steps. The question is whether or not these statements are true or false.

The second one got me a bit. I'm not entirely certain if "implies" is logically equivalent to "and".

If I've gone wrong, then please give me some advice. I'd love to get this correct.

No, "implies" is not equivalent to "and"; if it were, we wouldn't need two different symbols, would we?

Have you learned that \(\displaystyle p\rightarrow q \equiv \neg p \vee q \)?
 
No, "implies" is not equivalent to "and"; if it were, we wouldn't need two different symbols, would we?

Have you learned that \(\displaystyle p\rightarrow q \equiv \neg p \vee q \)?

Thank you for this. I did learn that but I forgot!
 
Top