Commutative laws:
Associative laws:
Distribution 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 (2023-12-19 10:03:02)