Introduction to Logic

Or Introduction

Or Introduction is a rule of inference that allows us to infer an arbitrary disjunction so long as at least one of the disjuncts is already in the proof. If a proof contains a sentence φi, then we can infer any disjunction that contains φi.

Or Introduction
φi
φ1 ∨ ... ∨ φn