Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
De introducción (I) De eliminación (E)
| Leyes de la implicación | 
|
| Leyes de la conjunción | 
|
| Leyes de la disyunción | 
|
| Leyes de la negación | 
|
| Reglas derivadas | |
| Leyes de la implicación | 
|
| Leyes de la conjunción y disyunción | 
|
| Leyes de la negación | 
|
| Leyes adicionales de la disyunción y conjunción | 
|
| Leyes del bicondicional | 
|
| Leyes derivadas de las definiciones | 
|
| Leyes de De Morgan | 
|