¿Qué es?
No se ha añadido ninguna twiki todavía.
Otra expresión por lógica de enunciados, basada en la similitud entre enunciado y proposición.