Propositional Logic Flashcards
It's a declarative sentence, has a true value and can be determined.
Propositional Logic
It is a declarative sentence, has at truth value and can be determined.
~
Not
And
˅
Or
->
If-then
< - >
if and only if
P: The printer is working today.
~P: ?
The printer is not working today.
P^Q = ?
both P and Q
P: It is raining right now.
Q: It is cold right now.
P^Q: ?
It is raining and cold right now.
P^Q is true if and only if P and Q are what?
True
AND:
When P is True, and Q is True, then P^Q is:
True
AND:
When P is True, and Q is False, then P^Q is:
False
AND:
When P is False, and Q is True, then P^Q is:
False
AND:
When P is False, and Q is False, then P^Q is:
False
P˅Q is read as:
P or Q
P˅Q = _____ of P and Q
atleast one
P: Michael is late for class.
Q: Michael is sick today.
P˅Q: ?
Michael is late for class or is sick today.
OR:
When P is True, and Q is True, then P˅Q is:
True
OR:
When P is True, and Q is False, then P˅Q is:
True
OR:
When P is False and Q is True, then P˅Q is:
True
OR:
When P is False, and Q is False, then P˅Q is:
False
~P -> ~Q
Inverse
Q -> P
Converse
~Q -> ~P
Contrapositive
IF THEN:
When P is True, and Q is True, then P->Q is:
True
IF THEN:
When P is True, and Q is False, then P->Q is:
False
IF THEN:
When P is False, and Q is True, then P->Q is:
True
IF THEN:
When P is False, and Q is False, then P->Q is:
True
P < - > Q means:
P if and only if Q
or if P then Q and if Q then P
IF AND ONLY IF:
When P is True, and Q is True, then P< - >Q is:
True
IF AND ONLY IF:
When P is True, and Q is False, then P< - >Q is:
False
IF AND ONLY IF:
When P is False, and Q is True, then P< - >Q is:
False
IF AND ONLY IF:
When P is False, and Q is False, then P< - >Q is:
True