{"id":22,"date":"2008-01-16T13:00:35","date_gmt":"2008-01-16T11:00:35","guid":{"rendered":"https:\/\/blogs.ua.es\/madbinnacle\/2008\/01\/24\/examinador-1-bloque-iii\/"},"modified":"2008-01-26T01:36:33","modified_gmt":"2008-01-25T23:36:33","slug":"examinador-1-bloque-iii","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/madbinnacle\/2008\/01\/16\/examinador-1-bloque-iii\/","title":{"rendered":"Examinador 1 Bloque III"},"content":{"rendered":"

1. Un supuesto provisional es:
\na) Una subdeducci\u00f3n que infiere una nueva fbf<\/font><\/strong>
\nb) Un m\u00e9todo para determinar si una fbf es tautolog\u00eda
\nc) Una deducci\u00f3n que demuestra que una fbf es contradicci\u00f3n o tautolog\u00eda
\nd) Un paso del m\u00e9todo del Cuadro<\/p>\n

2. Dadas las sentencias: \u201c Javi juega al mus o al Chinch\u00f3n, pero no a ambos; Javi no juega
\nal mus a menos que Mar\u00eda tambi\u00e9n juegue; Sin embargo, Mar\u00eda juega al mus s\u00f3lo si Javi
\njuega\u201d \u00bf \u00bfQu\u00e9 sentencia podemos deducir?
\na) Mar\u00eda no juega al mus.
\nb) Mar\u00eda si juega al mus.
\nc) Si Javi juega al Chinch\u00f3n, Mar\u00eda juega al mus
\nd) Si Mar\u00eda juega al mus entonces Javi juega al Chinch\u00f3n o al mus<\/font><\/strong><\/p>\n

3. En D={Universidad} definimos S1: \u201cNo existen alumnos traviesos\u201d. Con los predicados
\nTr(x): x es travieso; Al(x): x es alumno. \u00bfcu\u00e1l de las siguientes fbf podemos deducir de
\nS1 si nos aseguran que \u201cno hay alumnos\u201d?
\na) S\u00f3lo se deduce esta fbf: \u2200x[\u00acAl(x) \u2228 Tr(x)]
\nb) S\u00f3lo se deduce esta fbf: \u2200x[Al(x) \u2192 \u00acTr(x)]
\nc) Se deducen a) y b)<\/font><\/strong>
\nd) No se deduce ni a) ni b)<\/p>\n

4. Dada la fbf \u2200x[A(x) \u2192 B(x)] \u00bfQu\u00e9 fbf podemos deducir si D={a}?
\na) A(a)
\nb) B(a)
\nc) \u2203xA(x) \u2192 \u2203xB(x)<\/font><\/strong>
\nd) \u2200xB(x) \u2192 \u2200xA(x)<\/p>\n

5. En D={a}, definimos la fbf : \u2200x[A(x) \u2192 B(x) \u2228 C(x)] \u00bfQu\u00e9 fbf podemos deducir?
\na) A(a)
\nb) \u2203xA(x) \u2192 \u2203x[B(x) \u2228 C(x)]<\/font><\/strong>
\nc) \u2200x[B(x) \u2228 C(x)]
\nd) Ninguna de las tres<\/p>\n

6. Dadas las fbfs: P1: \u2200x\u2200y[Q(x,y) \u2192 \u00acR(x,y)], P2: \u2200xQ(x,x) \u00bfQu\u00e9 fbf podemos deducir si
\nx, y \u2208 D = {a,b}?
\na) \u00acR(a,b)
\nb) \u00acR(x,y)
\nc) Q(a,b)
\nd) \u00acR(a,a)<\/font><\/strong><\/p>\n

7. Dadas las fbfs: P1: \u2200x[P(x) \u2192 Q(x)], P2: \u00ac\u2203xQ(x) \u00bfQu\u00e9 fbf podemos deducir?
\na) P(a)
\nb) \u00acP(a) \u2227 \u00acQ(a)<\/font><\/strong>
\nc) P(b)
\nd) P(a) \u2227 Q(a)<\/p>\n

8. Dadas las fbs: P1: \u2200x[A(x) \u2192 Q(x,b) \u2227 R(x)], P2: \u2203xQ(x,b), P3: \u2203xA(x) \u00bfQu\u00e9 fbf podemos
\ndeducir?
\na) \u2200xA(x)
\nb) Q(a,b) \u2227 R(a)
\nc) \u2203x(Q(x,b) \u2227 R(x))<\/font><\/strong>
\nd) Q(a,b) \u2228 A(a)<\/p>\n

9. Dadas las sentencias:
\nP1: Todas las modelos que saben desfilar le gustan a Carlos.
\nP2: A Carlos no le gusta Sara si \u00e9sta es actriz pero si no lo es, Sara besar\u00e1 a Carlos
\napasionadamente.
\nP3: Por desgracia, nadie besa a Carlos apasionadamente.
\n\u00bfQu\u00e9 sentencia podemos deducir?
\na) Sara no sabe desfilar
\nb) Sara besa a Carlos apasionadamente si Pilar le deja hacerlo
\nc) Sara es modelo
\nd) O Sara no es modelo o no sabe desfilar<\/font><\/strong><\/p>\n

10. Dadas las fbfs: P1: \u2200x(Pi(x) \u2192 \u00acCa(x)). P2:\u2203x(Ca(x) \u2227 Pe(x))<\/p>\n

\u00bfQu\u00e9 fbf podemos deducir?
\na) Ca(a) \u2227 Pe(a)
\nb) \u2203x [Pi(x) \u2227 Pe(x)]
\nc) \u2200x[Ca(x) \u2227 Pe(x)]
\nd) \u2203x[\u00acPi(x) \u2227 Pe(x)]<\/font><\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"

1. Un supuesto provisional es: a) Una subdeducci\u00f3n que infiere una nueva fbf b) Un m\u00e9todo para determinar si una fbf es tautolog\u00eda c) Una deducci\u00f3n que demuestra que una fbf es contradicci\u00f3n o tautolog\u00eda d) Un paso del m\u00e9todo del Cuadro 2. Dadas las sentencias: \u201c Javi juega al mus o al Chinch\u00f3n, pero […]<\/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-22","post","type-post","status-publish","format-standard","hentry","category-examinadores"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/22","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=22"}],"version-history":[{"count":0,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/22\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/media?parent=22"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/categories?post=22"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/tags?post=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}