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