bormas de razonamiento válidas elementales

neglas

M. iodus ponendo ponens ] => B, ] :. B

2. iodus tollendo tollens ] => B, ~B :. ~]
3. oilogismo disyuntivo ] v B, ~] :. B
4. oilogismo hipotético ] => B, B => C :. ] => C
5. Dilema constructivo D] => BE . DC => DE, ] v C :. B v D
R. Dilema destructivo D] => BE . DC => DE, ~B v ~D :. ~] v ~C
S. oimplificación ] . B :. ]
T. Conjunción ], B :. ] . B
9. ]dición ] :. ] v B

heyes

ML. peoremas de De iorgan ~D] . BE ≡ D~] v ~BE

~D] v BE ≡ D~] . ~BE

MM. Conmutación D] v BE ≡ DB v ]E
D] . BE ≡ DB . ]E

M2. ]sociación [] . DB . CEy ≡ [D] . BE . CEy

[] v DB v CEy ≡ [D] v BE v CEy

M3. Distri~ución [] . DB v CEy ≡ [D] . BE v D] . CEy

[] v DB . CEy ≡ [D] v BE . D] v CEy

M4. Do~le negación ] ≡ ~~]

M5. pransposición D] => BE ≡ D~B => ~]E
MR. Definición del condicional D] => BE ≡ D~] v BE
MS. Definición del ~icondicional D] ≡ BE ≡ [D] => BE . DB => ]Ey
MT. axportación [] => DB => CEy ≡ [D] . BE => Cy
M9. edempotencia ] ≡ D] v ]E

Diferencia entre reglas y leyes:

has reglas se aplican a pasos enteros, y normalmente a más de un paso

Del segundo paso está separado del primero por una comaE
has leyes se pueden aplicar a pasos enteros o a partes de pasos, y
pueden aplicarse de izquierda a derecha o de derecha a izquierda. Das
decir, puede su~stituirse lo que está a la izquierda del ~icondicional
en una ley por lo que está a la derecha del mismo, o viceversa.