Addition (Or Introduction) – How the Rule Works

A quick, clear walkthrough of the inference rule Addition (also called Or-Introduction) with examples. You’ll see how this rule works in propositional logic, how to introduce a disjunction correctly, and how Addition functions inside a natural deduction proof.

This guide shows the pattern, what it means, and how to use it in a symbolic proof.

To learn the other inference rules used in logic proofs, use the playlist:
https://www.youtube.com/playlist?list=PL6a98igNglIzgYHYSl9EtbhTAiE3RGUi2

You’ll Learn:
● How Addition works in propositional logic
● Why Addition lets you introduce any disjunct
● How to recognize disjunction patterns in proofs
● How to use Addition correctly in natural deduction
● A common mistake students make with Addition

Chapters:
0:00 Intro
0:07 The Model
0:21 What It Means
0:54 Terminology
1:21 Basic Examples
1:36 Complex Examples
2:26 Common Mistake
2:xx Rapid-Fire Review

Watch More:
Playlist: https://www.youtube.com/playlist?list=PL6a98igNglIyDUl6lI0DayzCJCi41_wUb
Playlist: https://www.youtube.com/playlist?list=PL6a98igNglIyH6fchbf_feT1Go5BuDdu2
Playlist:https://www.youtube.com/playlist?list=PL6a98igNglIzgNAdPMpfOA71KVng49hwD

Sources & Suggested Reading:
Paul Herrick, Introduction to Logic (Oxford University Press)

By Let’s Get Logical / Logic and Philosophy / Clear. Simple.

#logic
#inference
#ruleofinference
#symboliclogic
#naturaldeduction
#logicproof
#disjunction
#orintroduction
#addition

Видео Addition (Or Introduction) – How the Rule Works канала Let's Get Logical