Professional Documents
Culture Documents
Unit I Propositions PART 2
Unit I Propositions PART 2
1. De Morgan’s Theorems ~ 𝑃 ∧ 𝑄 ↔ ∼ 𝑃 ∨∼ 𝑄
(DeM) ~ 𝑃 ∨ 𝑄 ↔ ∼ 𝑃 ∧∼ 𝑄
2. Commutation (Com) 𝑃∨𝑄 ↔ 𝑄∨𝑃
𝑃∧𝑄 ↔ 𝑄∧𝑃
3. Association (Assoc) 𝑃∨ 𝑄∨𝑅 ↔[ 𝑃∨𝑄 ∨ 𝑅]
𝑃∧ 𝑄∧𝑅 ↔[ 𝑃∧𝑄 ∧ 𝑅]
4. Distribution (Dist) 𝑃∨ 𝑄∧𝑅 ↔ 𝑃∨𝑄 ∧ 𝑃∨𝑅
𝑃∧ 𝑄∨𝑅 ↔ 𝑃∧𝑄 ∨ 𝑃∧𝑅
5. Double Negation (DN) 𝑃 ↔∼∼ 𝑃
DEFINITION: RULES OF REPLACEMENT
NAME RULE
6. Transposition (Trans) (𝑃 → 𝑄) ↔ (∼ 𝑄 →∼ 𝑃)
7. Material Implication (𝑃 → 𝑄) ↔ (∼ 𝑃 ∨ 𝑄)
(Imp)
8. Material Equivalence 𝑃 ↔ 𝑄 ↔ [ 𝑃 → 𝑄 ∧ (𝑄 → 𝑃)]
(Equiv) 𝑃 ↔ 𝑄 ↔ [ 𝑃 ∧ 𝑄 ∨ (∼ 𝑃 ∧∼ 𝑄)]
9. Exportation (Exp) 𝑃 ∧ 𝑄 → 𝑅 ↔ [𝑃 → (𝑄 → 𝑅)]
10. Tautology (Taut) 𝑃 ↔ (𝑃 ∨ 𝑃)
𝑃 ↔ (𝑃 ∧ 𝑃)
CATEGORICAL SYLLOGISMS
DEFINITION: CATEGORICAL PROPOSITION
A categorical proposition is a proposition that expresses
the relationship between two categories or sets.
P x P
x
S S
Some S are P. Some S are not P.
EXAMPLES: CATEGORICAL PROPOSITIONS
1. 𝑷 → 𝑸 2. 𝑷 → 𝑸
𝑷 ~𝑷
∴𝑸 ∴ ~𝑸
DEFINITION: FALLACY
An argument whose conclusion is not supported by its
premises is called a fallacy.
𝒙 𝒙/𝟐
𝒙
𝒙/𝟐
VALID FORMS OF ARGUMENTS
2. MODUS TOLLENS (Indirect/Contrapositive Reasoning)
𝒙 𝒙𝟐
𝒙𝟐
𝒙
VALID FORMS OF ARGUMENTS
3. HYPOTHETICAL SYLLOGISM (Transitive Reasoning)
𝒙 𝒙𝟐
𝒙𝟐 𝒙𝟐 + 𝟏
𝒙 𝒙𝟐 + 𝟏
VALID FORMS OF ARGUMENTS
4. DISJUNCTIVE SYLLOGISM
𝒙=𝟎 𝒙>𝟓
𝒙≠𝟎
𝒙>𝟓
INVALID FORMS OF ARGUMENTS
1. FALLACY OF THE CONVERSE (Affirming the Consequent)
𝑷 (𝑷 → 𝑸) ∧ (𝑹 → 𝑺)
𝑸 𝑷∨𝑹
∴𝑷∧𝑸 ∴𝑸∨𝑺
∀𝒙 𝑷(𝒙) ∃𝒙 𝑷(𝒙)
∴ 𝑷(𝒄) ∴ 𝑷(𝒙)
𝑷(𝒄)
∴ ∃𝒙 𝑷(𝒙)
ASSIGNMENT:
1. Read more about the Rules of Inference and Fallacies
(see HAND-OUTS).
2. (1/2 cw yellow paper)
a) Choose 2 OTHER VALID FORMS of arguments and
make your own example of them.
b) Choose 3 FALLACIES and make your own example
of them.
3. Prepare for a UNIT EXAM to be given next week.