Find link

language:

Find link is a tool written by Edward Betts.

searching for Disjunction introduction 3 found (48 total)

alternate case: disjunction introduction

List of paradoxes (7,903 words) [view diff] exact match in snippet view article find links to article

drinking, everybody in the pub is drinking. Paradox of free choice: Disjunction introduction poses a problem for modal inferences, permitting arbitrary modal

Natural deduction (6,795 words) [view diff] exact match in snippet view article find links to article

infer φ {\displaystyle \varphi } and ψ {\displaystyle \psi } . Disjunction introduction Addition (ADD) m ∨I The same as at line m. From φ {\displaystyle

Hilbert system (3,534 words) [view diff] exact match in snippet view article find links to article

right: α ∧ β → β {\displaystyle \alpha \wedge \beta \to \beta } Disjunction introduction and elimination introduction left: α → α ∨ β {\displaystyle \alpha