Logic Flashcards
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