Database
CLASSICAL FIRST-ORDER LOGIC WITH EQUALITY
Propositional calculus
Abbreviated conjunction and disjunction of three wff's
w3a
Next ⟩
df-3or
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
w3a
Description:
Extend wff definition to include three-way conjunction ('and').
Ref
Expression
Assertion
w3a
$${wff}\left({\phi}\wedge {\psi}\wedge {\chi}\right)$$