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
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
P V Q
Hint: Dinagdagan
Addition
If I am awake,
then it is true that I am awake or I am hungry.
P → Q
~Q
———
~P
Modus Tollens
If Zeus is human, then Zeus is mortal.
Zeus is not mortal.
Therefore, Zeus is not human.
P → R
Q → R
———
(P V Q) → R
Proof of Cases
If Kim sleeps late, she will miss her flight.
If Kim forgets something, she will miss her flight.
Thus, if Kim sleeps late or forgets something, she will miss her flight.
P
Contradiction
It is false that I will not fail this subject.
Therefore, I will fail this subject.
P V Q
~ P
———
Q
Hint: Ano ulit tawag kapag may V symbol
Disjunctive Syllogism
I will make tea or I will read a book.
I will not make tea.
Therefore, I will read a book.
P → Q
Q
———
P
Fallacy of Converse
If my alarm sounds, I will wake up.
I woke up.
Therefore, my alarm sounded. (Invalid)
Q → P
Fallacy of Consequent
If I water the plants, the plants grow.
Therefore, if the plants grow, I water the plants. (Invalid)
P V Q
P
———
~Q
Affirming the Disjunct
Alvin sings and dances with Nina.
Alvin sings with Nina.
Therefore, it is not true that Alvin dances with Nina.
P → Q
~P
———
~Q
Fallacy of Inverse
If today is Monday, then I have math class.
Today is not Monday.
Therefore, I do not have math class.
~P → ~Q
Improper Transposition
~ (P ^ Q)
~P
———
Q
Denying a Conjunct
Proposition that is always true
Tautology
Proposition that is always false
Contradiction
Proposition that is neither always true nor always false
Contingency
Converse of P → Q
Q → P
Inverse of P → Q
~P → ~Q
Contrapositive P → Q
~Q → ~P