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