lunes, 16 de abril de 2012

Un condicional de corolario

Sea la siguiente función veritativa:

(i) ¬ ( p → ¬ q)

¿Puede probarse que (i) implica «p → q»?

¿Ejemplos?

No hay comentarios: