Study Guide & Educational Overview
### Principles of Formal Deductive Logic
Formal logic assesses whether conclusions follow with deductive necessity from stated premises, independent of personal bias or factual preconceptions:
- **Rules of Inference:** Modus Ponens ( \rightarrow Q$; $; $\therefore Q$) and Modus Tollens ( \rightarrow Q$; $\neg Q$; $\therefore \neg P$) are valid deduction structures.
- **Common Formal Fallacies:** Affirming the Consequent ( \rightarrow Q$; $; $\therefore P$) and Denying the Antecedent ( \rightarrow Q$; $\neg P$; $\therefore \neg Q$) are formally invalid because other unstated conditions could produce the result.
- **Conditionals & Contrapositives:** A conditional statement \rightarrow Q$ is strictly logically equivalent to its contrapositive $\neg Q \rightarrow \neg P$. (Note: Converse \rightarrow P$ and Inverse $\neg P \rightarrow \neg Q$ are not logically equivalent to the original statement).
- **Categorical Quantifiers:** The negation of the universal claim "All A are B" is the particular claim "Some A are not B". In formal logic, "some" means "at least one, possibly all".
Formal logic assesses whether conclusions follow with deductive necessity from stated premises, independent of personal bias or factual preconceptions:
- **Rules of Inference:** Modus Ponens ( \rightarrow Q$; $; $\therefore Q$) and Modus Tollens ( \rightarrow Q$; $\neg Q$; $\therefore \neg P$) are valid deduction structures.
- **Common Formal Fallacies:** Affirming the Consequent ( \rightarrow Q$; $; $\therefore P$) and Denying the Antecedent ( \rightarrow Q$; $\neg P$; $\therefore \neg Q$) are formally invalid because other unstated conditions could produce the result.
- **Conditionals & Contrapositives:** A conditional statement \rightarrow Q$ is strictly logically equivalent to its contrapositive $\neg Q \rightarrow \neg P$. (Note: Converse \rightarrow P$ and Inverse $\neg P \rightarrow \neg Q$ are not logically equivalent to the original statement).
- **Categorical Quantifiers:** The negation of the universal claim "All A are B" is the particular claim "Some A are not B". In formal logic, "some" means "at least one, possibly all".
Frequently Asked Questions
Yes! The formal structures tested (syllogisms, conditional contrapositives, Knights & Knaves riddles) are standard on competitive logic assessments.
An argument is valid if the conclusion follows necessarily from the premises; it is sound only if it is both valid AND the premises are factually true in reality.
