Disjunction introduction

析取介入（英语：Disjunction introduction）：从φ中可推出(φ ∨ ψ)。 析取除去（英语：Disjunction elimination）：从(φ ∨ ψ)、(φ → χ)和(ψ → χ)可推出χ。 双条件介入（英语：Biconditional introduction）：从(φ

[2020-09-02]. （原始内容存档于2021-05-13） （美国英语）.  Conjunction, Negation, and Disjunction. philosophy.lander.edu. [2020-09-02]. （原始内容存档于2021-04-21）.  2.2: Conjunctions

{\displaystyle P} 假定 2 ¬ P {\displaystyle \neg P} 假定 3 P ∨ Q {\displaystyle P\lor Q} 析取介入（英语：Disjunction introduction） (1) 4 Q {\displaystyle Q} 选言三段论 (3,2)

In this the letters N, A, C, E, K are used in the roles of negation, disjunction, implication, equivalence, conjunction respectively. ..." Lisp 逆波兰表示法

(2003) "Alevist Movements at Home and Abroad: Mobilization Spaces and Disjunction." New Perspective on Turkey, 28, pp. 163–188. Rigoni, Isabelle (2003)