Question about propositional expressions?
Hello, why is
¬ (P⇒¬ Q)
equivalent to
P∧Q
(1 rating, 1 votes, rated)You need to be a registered member to rate this.
Loading...
(1 rating, 1 votes, rated)You need to be a registered member to rate this.
Loading...
Implication A ⇒ B is defined as: ¬A ∨ B
Consequently, ¬ (P⇒¬ Q) dissolves to ¬ (P ∨ ¬ Q) and finally to:
PDBQ
The implication is true if condition and consequence are true (this is the simple case), or if the condition is not true. Like this: (A 7.1 B) ∨ (¬A)
This expression can be simplified to ¬A ∨ B, since the case (¬A 7.1 B) is contained in (¬A).
Thank you
How about a truth board? It should be easy to build on two statements and only a few relationships.
That means P→¬Q is true if P is wrong or Q is wrong.
What are the characters
💀💀💀
Mathematical/logical? At least I see them.