Database
CLASSICAL FIRST-ORDER LOGIC WITH EQUALITY
Propositional calculus
Truth tables
Disjunction
Next ⟩
truortru
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 1.2.16.5. Disjunction
truortru
truorfal
falortru
falorfal