Logic Flashcards
1
Q
Disjunction
A
PvQ . Only false if both P and Q are false. Otherwise, true.
1
Q
Conjunction
A
P^Q . Only true if both P and Q are true.
2
Q
Conditional
A
P -> Q . If P, then Q. P is called the antecedent and Q is called the consequent. Only false id P is true and Q is false. Otherwise, it is true.
3
Q
Biconditional
A
P<->Q . P if and only if Q. The sentence is true when the truth value for P is the same as the truth value for Q.
4
Q
Totalogy
A
Everything is true
5
Q
Contradiction
A
Everything is false
6
Q
Contingent
A
Mix of true and false
7
Q
Equivalent
A
If two propositions are the same
8
Q
Consistent
A
If two propositions can be true at the same time
9
Q
Inconsistent
A
If two propositions match, but only false
10
Q
A
