Ej. Lógica Propositiva E1

Equipo No. 1 

Ejemplo Condicional.

Si tengo dinero y tengo tiempo entonces voy al cine.

P ^ Q => S 

Donde:

     P = Tengo dinero
     Q = Tengo tiempo
     S = Voy al cine 

Ejercicio. Sean las preposiciones

P = es rico

Q = es feliz

Representar las estructuras de los siguientes  enunciados.

1. No es rico ni es feliz:  ¬P ^ ¬Q
2. Es necesario ser pobre para ser feliz:  Q => ¬P 
3. El ser rico es una condición suficiente para ser feliz:  P => Q
4. El ser rico es una condición necesaria para ser feliz:  P => Q
5. No se es feliz cuando se es rico:  P => ¬Q
6. Ser rico significa lo mismo que ser feliz:  P <=> Q
7.  El es pobre, o es rico y feliz:  ¬P v (P ^ Q)