- Associative property (結合法則)
- Commutative property (交換法則)
- Distributive property (分配法則)
- Double negation
- De Morgan's law (ド・モルガンの法則)
- Transposition (logic)
- Material implication (rule of inference)
- Exportation (logic)
- Tautology (rule of inference)
- Negation introduction
