Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MATEMTICAS 1. LGICA.
CURSO 2015-16. UA
SOLUCIN EJERCICIOS
FORMALIZACIN DE PROPOSICIONES CON LENGUAJE DE PROPOSCIONES Y EQUIVALENCIAS
Ejercicio-1
MC = { ca: canto; ba: bailo; mo: me mojo; ll: llueve}
1 Si cantas entonces bailo.
Fbf-1: ca ba
Fbf-2: ca ba
Fbf-3: ba ca
Fbf-5: ca ba
Ejercicio-2: Escribe de 3 formas equivalentes: Es necesario que llueva para que no salga
Solucin
Podemos formalizar usando MC = { sa: salgo; ll: llueve }.
Fbf: sa ll
MATEMTICAS 1. LGICA.
CURSO 2015-16. UA
Ejercicio-3 MC = { ma: Maki es culpable; pi: Pirata es culpable; po: Popeye es culpable}
1 Maki es culpable o no lo es Pirata. Fbf-1: ma pi
2 Maki es culpable pero no lo es Popeye. Fbf-2: ma po
3 No es cierto que los tres sean culpables simultneamente. Fbf-3: (ma po pi)
4 Popeye es inocente aunque Pirata y Maki sean culpables. Fbf-4: po ma pi
5 Popeye es inocente sin embargo Pirata o Maki no lo son. Fbf-5: po (ma pi)
6 Al menos uno de los tres es culpable.
Fbf-6: po ma pi
Fbf-9: po ma pi
Fbf-10: po pi ma
Fbf-11: ma po pi
Fbf-14: pi ma po
15 A menos que Maki sea culpable, Pirata ser inocente slo si Popeye es culpable. Fbf-15: (pi po) ma
16 Maki es culpable si, y slo si, no sucede que Pirata o Popeye lo sean. Fbf-16: ma (pi po)
17 A menos que Maki y Popeye sean inocentes, Pirata no es culpable. Fbf-17: pi ma po
Ejercicio-4
La fbf: p { [ (p q) q ] [ q p ] } representa el circuito equivalente:
a)
p;
b) q;
c) p; d) p q; e) q
Solucin
p { [ (p q) q ] [ q p ] }
p { ( q ) [ q p ] } (AbsD)
p { ( q q p }
p V (E2)
p (E3)