Estoy haciendo problemas de lógica y me encuentro esto:
Ejercicio 16: Las guerras clon han comenzado. Durante el transcurso de una refriega, tres caballeros Jedi, Anakin, Obi Wan y Yoda, se encuentran con el conde Dooku. Utilizaremos el lenguaje proposicional A; O; Y para denotar que el correspondiente caballero participa en el combate, y G para denotar los Jedi han ganado.
1. Formaliza las siguientes a rmaciones:
F1 : Para derrotar al conde Dooku deben participar al menos dos caballeros Jedi.
F2 : El Conde Dooku gana cuando sólo participa un caballero.
F3 : Si el Conde Dooku pierde entonces Anakin ha participado en el combate.
F4 : Si el Conde Dooku pierde, entonces no han participado los tres caballeros.
2. ¿Es cierto que fF1; F2; F3g j= G ! A ^ O? Razónese formalmente la respuesta.
Se ha cambiado el formato de la formula final al copiarlo, es:
__
Algunos dicen que soy malvado pero eso no es cierto, tengo el corazón de un niño.
En formol.
Sobre mi mesa.