É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.
Otra expresión por lógica de enunciados, basada en la importancia de las conectivas como funciones veritativas entre enunciados.