Rules Of inferences And Logical Equivalences Flashcards
(18 cards)
1
Q
Term/Front
A
Definition/Back
2
Q
Addition
A
∴ P ∨ Q
3
Q
Conjunction
A
P
Q
——-
∴ P ∧ Q
4
Q
Simplification
A
∴P
5
Q
Modus Ponens
A
P → Q
P
——
∴ Q
6
Q
Modus Tollens
A
P→Q
¬Q
——–
∴ ¬P
7
Q
Disjunctive Syllogism
A
P ∨ Q
¬P
——–
∴Q
8
Q
Hypothetical Syllogism
A
P → Q
Q → R
———
∴P→R
9
Q
Constructive Dilemma
A
(P → Q) ∧ (R → S)
P ∨ R
—————-
∴Q ∨ S
10
Q
Destructive Dilemma
A
(P → Q) ∧ (R → S)
¬Q ∨ ¬S
—————-
∴¬P ∨ ¬R
11
Q
Tautology
A
P ∨ ¬P ≡ T
12
Q
Contradiction
A
P ∧ ¬P ≡ F
13
Q
Identity
A
P ∧ T ≡ P
P ∨ F ≡ P
14
Q
Domination
A
P ∧ F ≡ F
P ∨ T ≡ T
15
Q
Idempotent
A
P ∧ P ≡ P
P ∨ P ≡ P
16
Q
Distributivity
A
P ∧ (Q v R) ≡ (P ∧ Q) ∨ (P ∧ R)
17
Q
Absorption
A
P ∨ (P ∧ Q) ≡ P
P ∧ (P ∨ Q) ≡ P
18
Q
Created on OmniSets
A
https://www.omnisets.com/set/359247/
