{"id":21,"date":"2008-01-10T16:00:39","date_gmt":"2008-01-10T14:00:39","guid":{"rendered":"https:\/\/blogs.ua.es\/madbinnacle\/2008\/01\/24\/examinador-3-bloque-ii\/"},"modified":"2008-01-26T01:36:51","modified_gmt":"2008-01-25T23:36:51","slug":"examinador-3-bloque-ii","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/madbinnacle\/2008\/01\/10\/examinador-3-bloque-ii\/","title":{"rendered":"Examinador 3 Bloque II"},"content":{"rendered":"

1. El razonamiento p\u2192 q, q \u2192 r \u21d2 p \u2192 r es correcto<\/strong> porque:
\na) La fbf \u00ac(p\u2192 q) \u2227 \u00ac(q \u2192 r) \u2227 (p \u2192 r) es tautolog\u00eda
\nb) La fbf p\u2192 q es una tautolog\u00eda
\nc) La fbf (p\u2192 q) \u2227 (q \u2192 r) \u2227 (p \u2192 r) es contradicci\u00f3n
\nd) La fbf \u00ac(p\u2192 q) \u2228 \u00ac(q \u2192 r) \u2228 (p \u2192 r) es tautolog\u00eda<\/font><\/strong><\/p>\n

2. Para demostrar que el razonamiento P1, P2, P3 \u21d2 Q es correcto<\/strong>:
\na) Es suficiente con que la fbf Q sea tautolog\u00eda<\/font><\/strong>
\nb) Es necesario que la fbf Q sea tautolog\u00eda
\nc) Es necesario que la fbfs premisas sean tautolog\u00edas
\nd) Un argumento es correcto s\u00f3lo si la fbf Q es tautolog\u00eda<\/p>\n

3. Si el razonamiento P1, P2, P3 \u21d2 Q es correcto<\/strong>, podemos afirmar que :
\na) El conjunto C={ P1, P2, P3, Q} es contingente
\nb) El conjunto C={ P1, P2, P3, \u00acQ} es consistente
\nc) El conjunto C={ P1, P2, P3, Q} es insatisfacible
\nd) El conjunto C={ P1, P2, P3, \u00acQ} es insatisfacible<\/font><\/strong><\/p>\n

4. El m\u00e9todo de Davis-Putnam<\/strong> se utiliza para :
\na) Determinar el n\u00famero de interpretaciones de una fbf
\nb) Normalizar fbfs del lenguaje proposicional
\nc) Determinar cual es el valor sem\u00e1ntico de una fbf<\/font><\/strong>
\nd) Obtener la FNC de una fbf proposicional.<\/p>\n

5. \u00bfCu\u00e1l de las siguientes fbf puede ser la conclusi\u00f3n de un conjunto de premisas vac\u00edo<\/strong>?
\na) P(a,b,c) \u2228 Q(a,b,c)
\nb) P(a,b) \u2228 \u00acP(b,c)
\nc) Ninguna fbf puede deducirse de un conjunto de premisas vac\u00edo
\nd) P(a,b,c) \u2228 \u00acP(a,b,c) \u2228 Q(a,b)<\/font><\/strong><\/p>\n

6. Para demostrar que una conjunci\u00f3n de cl\u00e1usulas es tautolog\u00eda<\/strong>:
\na) Es necesario que cada cl\u00e1usula sea una tautolog\u00eda<\/font><\/strong>
\nb) Es suficiente con que al menos una cl\u00e1usula sea tautolog\u00eda y las dem\u00e1s sean
\ncontingentes
\nc) Una conjunci\u00f3n de cl\u00e1usulas no puede ser tautolog\u00eda, s\u00f3lo contradicci\u00f3n
\nd) Es necesario que todas las cl\u00e1usulas tengan un literal afirmado<\/p>\n

7. Para demostrar que la fbf A: C1 \u2228 C2 \u2228 \u2026 \u2228 Cn<\/strong>, n>=1, con Ci conjunciones elementales,
\nes contradicci\u00f3n:
\na) Es necesario que todas las Ci sean contingentes
\nb) Es suficiente con que al menos una conjunci\u00f3n elemental sea contradicci\u00f3n
\nc) Es necesario que cada Ci sea contradicci\u00f3n<\/font><\/strong>
\nd) Una disyunci\u00f3n de conjunciones nunca puede ser contradicci\u00f3n<\/p>\n

8. Dadas las sentencias:
\n\u201cA menos que me regales un anillo o bombones, no me caso contigo. Como me has
\nregalado bombones\u201d.
\n\u00bfQu\u00e9 sentencia es consecuencia l\u00f3gica<\/strong> de ellas?
\na) Me caso contigo y me como los bombones
\nb) Si no me regalas el anillo ni los bombones no me caso contigo<\/font><\/strong>
\nc) Me caso contigo s\u00f3lo si me regalas el anillo o te pones cari\u00f1oso
\nd) Ni me caso ni me como los bombones<\/p>\n

9. En la sentencia:
\nS1: \u201cPara que salgan el hombre lobo o dr\u00e1cula es necesario que haya luna llena\u201d
\ninterpretamos \u201cno hay luna llena\u201d como verdadera<\/strong> \u00bfQu\u00e9 sentencia debemos interpretar
\ntambi\u00e9n como verdadera<\/strong> para que S1 sea verdadera<\/strong>?
\na) Ni sale el hombre lobo ni dr\u00e1cula<\/font><\/strong>
\nb) Sale el hombre lobo o dr\u00e1cula
\nc) No sale el hombre lobo pero si sale dr\u00e1cula
\nd) Salen los dos<\/p>\n

10. La fbf Q es consecuencia l\u00f3gica<\/strong> de un conjunto de fbf P ={P1,\u2026,Pn} cuando:
\na) Alguna interpretaci\u00f3n que es un modelo de P es tambi\u00e9n un modelo de Q
\nb) Toda interpretaci\u00f3n que es un modelo de P es tambi\u00e9n un modelo de Q<\/font><\/strong>
\nc) Toda interpretaci\u00f3n que es un modelo de P es un contramodelo de Q
\nd) Algunas interpretaciones son contramodelos de P y de Q<\/p>\n","protected":false},"excerpt":{"rendered":"

1. El razonamiento p\u2192 q, q \u2192 r \u21d2 p \u2192 r es correcto porque: a) La fbf \u00ac(p\u2192 q) \u2227 \u00ac(q \u2192 r) \u2227 (p \u2192 r) es tautolog\u00eda b) La fbf p\u2192 q es una tautolog\u00eda c) La fbf (p\u2192 q) \u2227 (q \u2192 r) \u2227 (p \u2192 r) es contradicci\u00f3n d) La […]<\/p>\n","protected":false},"author":160,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[770],"tags":[],"class_list":["post-21","post","type-post","status-publish","format-standard","hentry","category-examinadores"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/21","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/users\/160"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/comments?post=21"}],"version-history":[{"count":0,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/21\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/media?parent=21"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/categories?post=21"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/tags?post=21"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}