Txantiloi:Transformazio-arauak

Transformazio-arauak
Logika proposizionala
Inferentzia-arauak
Modus ponens / Modus tollens
Biconditional introduction / elimination
Conjunction introduction / elimination
Disjunction introduction / elimination
Disjunctive / Hypothetical syllogism
Constructive / Destructive dilemma
Absorption
Modus ponendo tollens
Ordezkapen-arauak
Associativity
Commutativity
Distributivity
Double negation
De Morgan's laws
Transposition
Material implication
Exportation
Tautologia
Negation introduction
Universal generalization / instantiation
Existential generalization / instantiation