¿Qué es?
No se ha añadido ninguna twiki todavía.
Conectiva que, en lógica de enunciados relaciona enunciados o transforma enunciados simples en compuestos.