formalizacion de propociciones

Formalice en lógica de predicados
1. Ingmar Bergman es cineasta, pero Vallejo es escritor.
2. No me duchare a menos que haya agua caliente
3. Alfonso P no es persona es un asesino.
4. Tanto Alfonso P. como Alfonso A son dementes por que son torturadores.
5. Si la suegra se pone pesada, entonces el marido se irá de casa y la esposa se irá de vacaciones.
6. Los senadores roban a la nación , pero nunca se les comprueba, luego los senadores roban a la nación.

Solucion

1 Formula logica :

ingmar Bergman es cineasta y vallejo es escritor.

Formula:

p: ingmar Bergman es cineasta.

Q: vallejo es escritor.

P v Q

2 Formula lógica :

hay agua caliente, entonces me duchare.

Formula:

p:hay agua caliente

Q: me duchare

P entonces q

3 Formula logica :

Alfonso p es un asesino y Alfonso p no es una persona.

Formula:

p: Alfonso p es un asesino

Q: Alfonso p no es una persona

P v ~Q

4 Formula lógica :

Alfonso P es demente y Alfonso A es demente entonces Alfonso P es torturador y Alfonso a es torturador.

Formula:

p: Alfonso P es demente

Q: Alfonso A es demente

R: Alfonso P es torturador

S:Alfonso a es torturador.

(P y Q) entonces (R y S)

5 Formula lógica :

Si la suegra se pone pesada, entonces el marido se irá de casa y la esposa se irá de vacaciones.

Formula:

p: Si la suegra se pone pesada,

Q: el marido se irá de casa

R:la esposa se irá de vacaciones.

P entonces (Q y R)

6 Formula lógica :

Los senadores roban a la nación , pero nunca se les comprueba entonces los senadores roban a la nacion

Formula:

p: Los senadores roban a la nación

(P o~p) entonces p