ile de la france
B) Traducir los siguientes razonamientos en símbolos lógicos y dar una deducción de la conclusión a partir de las premisas.
1. Cada cosa en esta lección es unaparte de la lógica
Cada persona que puede resolver problemas en una parte de la lógica es un genio
Carolina es una persona que puede resolver problemas sobre la primera deducción y está en estalección.
Demostrar: Gx
1) Pl P P=es una parte de la lógica
2) (ɏx)(Rx . Pl) → Gx Pc=persona que puede resolver problemas
3) Rc . Pl P
4) (Rc . Pl) →Gl x/l sus. 2
5) GxPP 3,2
2. Mangostas pueden matar a las cobras
Montgomery no puede matar a Charlie
Por tanto, si Charlie es una Cobra entonces Montgomery no es una mangosta
Demostrar:Cc → D ¬ Mm
1) (ɏx) (ɏy) (Mx . Cy) → Pxy P Mx = x mangosta
2) ¬ Pmc PCy = y Cobras
3) (Mm . Cc) → Pmc m/x c/y l Pxy ↔ x puede matar a y
4) ¬(Mm . Cc) TT 2,3 m =montgomery
5) ¬ Mm v ¬ Cc DL 4 c = Charly
6) Cc P
7) ¬ MmTP 5,6
8) Cc → D ¬ Mm CP 6,7
3. Todo aquel que quiera a Jorge escogerá a Pedro para su partido
Pedro no es amigo de nadie que sea amigo de Juan
Luis no escogerá anadie que no sea amigo de Carlos para su partido
Por lo tanto, si Carlos es amigo de Juan, entonces Luis no quiere a Jorge
Demostrar: Acj → ¬Qlz
1) (ɏx) (Qxz → Exp) P...
Regístrate para leer el documento completo.