論理和の導入
論理和の導入の推論規則は、シークエントの記法では、次のように表すことができる。
P ⊢ ( P ∨ Q ) {\displaystyle P\vdash (P\lor Q)}
ここでは、「 ⊢ {\displaystyle \vdash } 」は、ある論理の形式体系において、命題「 P ∨ Q {\displaystyle P\lor Q} 」は命題「 P {\displaystyle P} 」の論理的帰結であることを示す、メタ言語の記号である。
この推論規則はまた、命題論理における真理関数のトートロジーもしくは定理として、
P → ( P ∨ Q ) {\displaystyle P\to (P\lor Q)}
と表される。