Database
CLASSICAL FIRST-ORDER LOGIC WITH EQUALITY
Propositional calculus
Logical conjunction
wa
Next ⟩
df-an
Metamath Proof Explorer
Unicode
Structured
Syntax definition
wa
Description:
Extend wff definition to include conjunction ("and").
Ref
Expression
Assertion
wa
wff ( ph /\ ps )