Database
CLASSICAL FIRST-ORDER LOGIC WITH EQUALITY
Propositional calculus
Logical disjunction
wo
Next ⟩
df-or
Metamath Proof Explorer
Ascii
Structured
Syntax definition
wo
Description:
Extend wff definition to include disjunction ("or").
Ref
Expression
Assertion
wo
wff
(
𝜑
∨
𝜓
)