Database
CLASSICAL FIRST-ORDER LOGIC WITH EQUALITY
Propositional calculus
Truth tables
Alternative denial
Next ⟩
trunantru
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 1.2.16.6. Alternative denial
trunantru
trunanfal
falnantru
falnanfal