Declarative sentence that can be true or false, but not both
Proposition
Proposition that conveys one thought only
Simple Proposition
Propositions that are put together using connective words
Compound Proposition
P ^ Q
Conjunction (and/but)
P → Q
P
———–
Q
Modus Ponens
If King is in checkmate, you’ve lost the game. King is in checkmate.
Therefore, you’ve lost the game.
P → Q
Q → R
———–
P → R
Hint: They all look synonymous to each other.
Law of Syllogism
If I study, I will get a good score in the exam.
If I get a good score in the exam, I will be happy. Therefore, If I study, I will be happy.
P V Q
Disjunction (or)
P -> Q
Conditional
P ⇔ Q
Biconditional
~ P
Negation
~ (~P)
Double Negation
P V 1 = 1
P ^ 0 = 0
Domination
P ^ 1 = P
P V 0 = P
Hint: The answer rhymes with P.
Identity
P V ~P = 1
P ^ ~P = 0
Hint: Kabaliktaran
Inverse/Excluded Middle
P V P = P
P ^ P = P
Hint: Same result, making it “strong”
Idempotent
P V Q = Q V P
P ^ Q = Q ^ P
Hint: Changed position, same concept
Commutative
~(P V Q) = ~P V ~Q
~(P ^ Q) = ~P ^ ~Q
De Morgan’s
P → Q = ~P V Q
Hint: “Pinalit” lang yung format ng pagsusulat
Switcheroo
P → Q = ~Q → ~P
Hint: Counters everything that the original statement had
Contrapositive
P V (P ^ Q) = P
P ^ (P V Q) = P
Absorption
P V (Q V R) = (P V Q) V R
Associative
P V (Q ^ R) = (P V Q) ^ (P V R)
Distributive
P
Hint: From mahaba to maiksi/isa nalang sya.
Simplification
If Harold is sleeping and Zoe is laughing,
then Harold is sleeping.
P
Q
———
P ^ Q
Hint: Pinagsama
Conjunction