LÓGICA DE ENUNCIADOS O PROPOSICIONAL

EJERCICIOS: TABLAS DE VERDAD

1. Formaliza las siguientes proposiciones y confecciona su tabla de verdad:

a. O estás seguro y lo que dices es cierto o mientes como un bellaco.

Si y sólo si has intentado realizar tú mismo este ejercicio, pulsa el enlace para ver la solución  ;-)

2. Formaliza la siguiente proposición. Utiliza la aplicación de servidor para ver los resultados de la tabla de verdad detallada. (Puedes ver la ayuda sobre el uso y el lenguaje de la aplicación)

a. Si un animal fabuloso se enfada, te quedas paralizado del sustoy si te quedas paralizado del susto, entonces no puedes sino apelar a su bondad y así no ser engullido. Por lo tanto, si un animal fabuloso se enfada, tendrás que apelar a su bondad o serás engullido.

¿Cuántas variables tiene la tabla? ¿Es una tautología?

3. Utiliza la aplicación de servidor para realizar este ejercicio:

a. Confeccione las tablas de verdad de las siguientes proposiciones. ¿Son tautologías? ¿Pueden ser probadas?
Si no está familiarizado con la aplicación de lógica, lea detenidamente la ayuda sobre este programa.

(a & b ) -> ( ~(~a v ~b))

(a -> b) <-> (~(a & ~b))

(a v b) -> ( ~(~a & ~b))