{"id":20,"date":"2008-01-09T15:00:45","date_gmt":"2008-01-09T13:00:45","guid":{"rendered":"https:\/\/blogs.ua.es\/madbinnacle\/2008\/01\/09\/examinador-2-bloque-ii\/"},"modified":"2008-01-26T01:37:04","modified_gmt":"2008-01-25T23:37:04","slug":"examinador-2-bloque-ii","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/madbinnacle\/2008\/01\/09\/examinador-2-bloque-ii\/","title":{"rendered":"Examinador 2 BLoque II"},"content":{"rendered":"

1. El m\u00e9todo del Cuadro<\/strong> s\u00f3lo eval\u00faa sem\u00e1nticamente fbf
\na) Escritas en forma normal disyuntiva<\/font><\/strong>
\nb) Formalizadas con el lenguaje de predicados
\nc) Escritas en forma normal conjuntiva
\nd) Escritas en forma normal disyuntiva y conjuntiva<\/p>\n

2. El m\u00e9todo de Davis-Putnam<\/strong> s\u00f3lo eval\u00faa sem\u00e1nticamente fbf
\na) Escritas en forma normal disyuntiva
\nb) Formalizadas con el lenguaje de predicados
\nc) Escritas en forma normal conjuntiva<\/font><\/strong>
\nd) Escritas en forma normal disyuntiva y conjuntiva<\/p>\n

3. La fbf A: (p \u2227 \u00acp \u2227 \u00acr) \u2228 (\u00acp \u2227 \u00acq \u2227 \u00acr) \u2228 (\u00acp \u2227 r) \u2228 \u00acp<\/strong>, se interpreta como:
\na) Tautolog\u00eda cuando el literal \u00acp se interpreta a verdadero
\nb) Satisfacible, cuando el literal \u00acp se interpreta a verdadero<\/font><\/strong>
\nc) Insatisfacible, cuando el literal \u00acp se interpreta a falso
\nd) Contramodelo, cuando el literal \u00acp se interpreta a falso<\/p>\n

4. La fbf A: (p \u2227 \u00acp \u2227 \u00acr) \u2228 (\u00acp \u2227 \u00acq \u2227 \u00acr) \u2228 (\u00acp \u2227 r) \u2228 \u00acp<\/strong>, seg\u00fan el m\u00e9todo del Cuadro se
\neval\u00faa sem\u00e1nticamente como:
\na) No podemos saberlo porque tenemos una conjunci\u00f3n con un literal
\nb) Contingente, porque tiene interpretaciones modelos y contramodelo<\/font><\/strong>
\nc) Contradicci\u00f3n porque hay una conjunci\u00f3n con dos literales complementarios
\nd) Tautolog\u00eda para el conjunto de interpretaciones de sus componentes<\/p>\n

5. La fbf B: (p \u2228 \u00acp \u2228 r) \u2227 (q \u2228 \u00acq \u2228 \u00acr) \u2227 (p \u2228 \u00acp) \u2227 \u00acr<\/strong>, se interpreta como:
\na) Contradicci\u00f3n cuando el literal \u00acr se interpreta a falso
\nb) Satisfacible, para cualquier interpretaci\u00f3n de \u00acr
\nc) Falsa, cuando el literal \u00acr se interpreta a falso<\/font><\/strong>
\nd) Contramodelo, cuando el literal \u00acr se interpreta a falso<\/p>\n

6. La fbf B: (p \u2228 \u00acp \u2228 r) \u2227 (q \u2228 \u00acq \u2228 \u00acr) \u2227 (p \u2228 \u00acp) \u2227 \u00acr<\/strong>, seg\u00fan el m\u00e9todo de Davis-Putnam
\nse eval\u00faa sem\u00e1nticamente como:
\na) No podemos saberlo porque tenemos una disyunci\u00f3n con un literal
\nb) Tautolog\u00eda para el conjunto de interpretaciones de sus componentes
\nc) Contradicci\u00f3n porque hay disyunciones con literales complementarios
\nd) Contingente, porque tiene interpretaciones modelos y contramodelo<\/font><\/strong><\/p>\n

7. Dado el argumento P1, P2, P3, P4 \u21d2 Q<\/strong> aplicando dos veces el Teorema de Deducci\u00f3n<\/strong>
\nobtenemos:
\na) Una estructura de la forma P1, P4 \u21d2 P2 \u2192 (P3 \u2192 Q)<\/font><\/strong>
\nb) Una estructura de la forma P1, P2 \u2192 (P3 \u2192 Q) \u21d2 P4
\nc) Una estructura de la forma P1, P4 , \u21d2 P2 , P3 , Q
\nd) Ninguna de las anteriores<\/p>\n

8. Dado el argumento P1, P2, P3, P4 \u21d2 Q<\/strong> su fbf asociada<\/strong> es la siguiente:
\na) P1 \u2227 P2 \u2227 P3 \u2227 P4 \u2227 Q
\nb) P1 \u2227 P4 \u2227 P2 \u2227 P3 \u2192 Q<\/font><\/strong>
\nc) \u00acP1 \u2228 \u00acP4 \u2228 \u00acP2 \u2228 \u00acP3 \u2228 \u00acQ
\nd) Ninguna, porque un argumento s\u00f3lo tiene fbf asociada si \u00e9sta es tautolog\u00eda<\/p>\n

9. Dada la fbf C<\/strong>: \u2200x[A(x) \u2192 B(x)] , D={a}<\/strong> Podemos asegurar que:
\na) La fbf C\u2019: \u2203x[A(x) \u2227 B(x)] es equivalente a C
\nb) La fbf C\u2019\u2019: \u00acA(x) \u2228 B(x) es equivalente a C
\nc) La fbf C\u2019\u2019\u2019: \u00ac\u2203x[A(x) \u2227 \u00acB(x)] es equivalente a C<\/font><\/strong>
\nd) La fbf C\u2019V :A(x) \u2192 B(x) es equivalente a C<\/p>\n

10. Dada la fbf C<\/strong>: \u2200xA(x) \u2192 \u2203xB(x) , D={a,b}<\/strong> Podemos asegurar que:
\na) La fbf C\u2019: A(a) \u2227 A(b) \u2192 B(a) \u2227 B(b) es equivalente a C
\nb) La fbf C\u2019\u2019: [A(a) \u2192 B(a)] \u2227 [A(b) \u2192 B(b)] es equivalente a C
\nc) La fbf C\u2019\u2019\u2019: \u2200x\u2203x[A(x) \u2192 B(x)] es equivalente a C
\nd) La fbf C\u2019V: A(a) \u2227 A(b) \u2192 B(a) \u2228 B(b) es equivalente a C<\/font><\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"

1. El m\u00e9todo del Cuadro s\u00f3lo eval\u00faa sem\u00e1nticamente fbf a) Escritas en forma normal disyuntiva b) Formalizadas con el lenguaje de predicados c) Escritas en forma normal conjuntiva d) Escritas en forma normal disyuntiva y conjuntiva 2. El m\u00e9todo de Davis-Putnam s\u00f3lo eval\u00faa sem\u00e1nticamente fbf a) Escritas en forma normal disyuntiva b) Formalizadas con el […]<\/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-20","post","type-post","status-publish","format-standard","hentry","category-examinadores"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/20","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=20"}],"version-history":[{"count":0,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/20\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/media?parent=20"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/categories?post=20"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/tags?post=20"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}