{"id":17,"date":"2007-11-02T15:00:24","date_gmt":"2007-11-02T13:00:24","guid":{"rendered":"https:\/\/blogs.ua.es\/madbinnacle\/2007\/11\/02\/examinadores_bloque_1\/"},"modified":"2008-01-26T01:37:48","modified_gmt":"2008-01-25T23:37:48","slug":"examinadores_bloque_1","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/madbinnacle\/2007\/11\/02\/examinadores_bloque_1\/","title":{"rendered":"Examinador 1 Bloque I"},"content":{"rendered":"

1. Dada la sentencia: \u201cNo llueve en Alicante a menos que cantes en la ducha\u201d
\n\u00bfCu\u00e1l de las siguientes sentencias dice lo mismo?
\na) Para que llueva en Alicante es suficiente con que cantes en la ducha
\nb) Si cantas en la ducha, llueve en Alicante
\nc) Si llueve en Alicante entonces cantas en la ducha<\/font><\/strong>
\nd) O no llueve en Alicante o no cantas en la ducha<\/p>\n

2. Con el marco conceptual: lo<\/strong>: estudiar l\u00f3gica; di<\/strong>: las clases son divertidas;
\nLa fbf di \u2192 lo<\/strong> es la que resulta de formalizar la sentencia declarativa:
\na) Es necesario que las clases sean divertidas para estudiar l\u00f3gica
\nb) Es necesario y suficiente que las clases sean divertidas para estudiar l
\nc) Es suficiente con que las clases sean divertidas para estudiar l\u00f3gica<\/font><\/strong>
\nd) Estudio l\u00f3gica y las clases son divertidas<\/p>\n

3. Con el marco conceptual: po<\/strong>: me gusta el pollo; pe<\/strong>: me gusta el pescado;
\nLa sentencia: \u201cNo me gusta el pollo ni el pescado\u201d
\nSe formaliza en el lenguaje proposicional<\/strong>, como\u2026
\na) \u00ac(po \u2227 pe)
\nb) \u00acpo \u2227 pe
\nc) \u00acpo \u2227 \u00acpe<\/font><\/strong>
\nd) po \u2227 pe<\/p>\n

4. \u00bfCu\u00e1l de las siguientes expresiones no<\/strong> es una fbf predicativa?
\na) p \u2227 q \u2227 r
\nb) \u2200x\u2203yR(x,y,z) D={a,b}
\nc) P(a) \u2227 R(\u00acb,c)<\/font><\/strong>
\nd) P(a)<\/p>\n

5. En la fbf-1: \u2200x\u2203yP(x,y,z)<\/strong>, las variables \u201cx\u201d e \u201cy\u201d \u00bfest\u00e1n ligadas?
\na) Si, porque \u201cx\u201d est\u00e1 adosada a \u2200 e \u201cy\u201d a \u2203<\/font><\/strong>
\nb) No, son libres porque \u201cx\u201d est\u00e1 adosada a \u2200 e \u201cy\u201d a \u2203
\nc) No, porque la variable \u201cz\u201d no est\u00e1 adosada a ning\u00fan cuantificador
\nd) No, porque necesitan estar definidas en varios predicados<\/p>\n

6. La expresi\u00f3n P(x,a,z)<\/strong> \u2227 \u2200x\u2203yQ(x,y)<\/strong> \u00bfes una fbf? \u00bfpor qu\u00e9?
\na) Si, porque es la conjunci\u00f3n de dos fbf<\/font><\/strong>
\nb) No, porque P(x,a,z) tiene variables libres
\nc) Si, porque la fbf P(x,a,z) tiene una constante en sus argumentos
\nd) No, porque todas las variables deben estar cuantificadas<\/p>\n

Con el marco conceptual Fa(x): x es famoso; Si(x): x es simp\u00e1tico; Re(x): x sale en
\nlas revistas; SH(x): x tiene sentido del humor. Formalizar las siguientes sentencias
\nen el dominio D = {personas}.<\/p>\n

7. La sentencia: S1: \u201cLos famosos son simp\u00e1ticos\u201d<\/strong>. Se formaliza como\u2026
\na) \u2200x[Fa(x) \u2227 Si(x)]
\nb) \u2200x Fa(x) \u2192 Si(x)
\nc) \u2200x [Fa(x) \u2192 Si(x)]<\/font><\/strong>
\nd) \u2203x (Fa(x) \u2227 Si(x))<\/p>\n

8. La sentencia: S2: \u201cNadie que no salga en las revistas es famoso\u201d<\/strong>. Se
\nformaliza como\u2026
\na) \u00ac\u2203x [\u00acRe(x) \u2227 Fa(x)]<\/font><\/strong>
\nb) \u00ac\u2203x [\u00acRe(x) \u2192 Fa(x)]
\nc) \u2200x [\u00acRe(x) \u2227 Fa(x)]
\nd) \u2200x [\u00acRe(x) \u2192 Fa(x)]<\/p>\n

9. La sentencia: S3: \u201cLas personas que salen en las revistas tienen
\nsentido del humor\u201d<\/strong>. Se formaliza como\u2026
\na) \u2203x [Re(x) \u2192 SH(x)]
\nb) \u00ac\u2203x [\u00acRe(x) \u2192 SH(x)]
\nc) \u2200x [Re(x) \u2227 SH(x)]
\nd) \u2200x [Re(x) \u2192 SH(x)]<\/font><\/strong><\/p>\n

10. La sentencia: S4: \u201cNo existe nadie que al mismo tiempo no sea famoso
\ny no tenga sentido del humor\u201d<\/strong>. Se formaliza como\u2026
\na) \u00ac\u2203x \u00ac[Fa(x) \u2227 SH(x)]
\nb) \u00ac\u2200x [\u00acFa(x) \u2227 \u00acSH(x)]
\nc) \u00ac\u2203x [\u00acFa(x) \u2192 \u00acSH(x)]
\nd) \u2200x [\u00acFa(x) \u2192 SH(x)]<\/font><\/strong><\/p>\n

11. La sentencia: S5: \u201cAlgunas personas son simp\u00e1ticas\u201d<\/strong>. Se formaliza
\ncomo\u2026
\na) Si(personas)
\nb) \u2203x Si(personas)
\nc) \u2203x Si(x)<\/font><\/strong>
\nd) \u2200x Si(x)<\/p>\n

12. La sentencia: Q: \u201cAlgunas personas que salen en las revistas son
\nsimp\u00e1ticas\u201d<\/strong>. Se formaliza como\u2026
\na) \u2200x [R(x) \u2192 Si(x)]
\nb) \u2200x [R(x) \u2227 Si(x)]
\nc) \u2203x [Re(x) \u2227 Si(x)]<\/font><\/strong>
\nd) \u2203x [Re(x) \u2192 Si(x)]<\/p>\n","protected":false},"excerpt":{"rendered":"

1. Dada la sentencia: \u201cNo llueve en Alicante a menos que cantes en la ducha\u201d \u00bfCu\u00e1l de las siguientes sentencias dice lo mismo? a) Para que llueva en Alicante es suficiente con que cantes en la ducha b) Si cantas en la ducha, llueve en Alicante c) Si llueve en Alicante entonces cantas en 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-17","post","type-post","status-publish","format-standard","hentry","category-examinadores"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/17","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=17"}],"version-history":[{"count":0,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/17\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/media?parent=17"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/categories?post=17"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/tags?post=17"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}