Commutative laws:
Associative laws:
Distributive laws:
Identity laws:
Annihilator laws:
Double negation:
Absorption laws:
Idempotent laws:
Complement laws:
De Morgan laws:
Material implication:
Biconditional:
Transposition:
Exportation:
Negation introduction:
Quantifier with condition:
Uniqueness quantifier:
Generalization/Instantiation:
Non-freeness:
Truth table:
Last edited by lanxiyu (2024-07-09 15:24:50)