Propositional Logic Flashcards
It's a declarative sentence, has a true value and can be determined.
1
Q
Propositional Logic
A
It is a declarative sentence, has at truth value and can be determined.
2
Q
~
A
Not
3
Q
A
And
4
Q
˅
A
Or
5
Q
->
A
If-then
6
Q
< - >
A
if and only if
7
Q
P: The printer is working today.
~P: ?
A
The printer is not working today.
8
Q
P^Q = ?
A
both P and Q
9
Q
P: It is raining right now.
Q: It is cold right now.
P^Q: ?
A
It is raining and cold right now.
10
Q
P^Q is true if and only if P and Q are what?
A
True
11
Q
AND:
When P is True, and Q is True, then P^Q is:
A
True
12
Q
AND:
When P is True, and Q is False, then P^Q is:
A
False
13
Q
AND:
When P is False, and Q is True, then P^Q is:
A
False
14
Q
AND:
When P is False, and Q is False, then P^Q is:
A
False
15
Q
P˅Q is read as:
A
P or Q
