{"id":19,"date":"2007-11-05T00:00:13","date_gmt":"2007-11-04T22:00:13","guid":{"rendered":"https:\/\/blogs.ua.es\/madbinnacle\/2007\/11\/05\/examinador-2-bloque-i\/"},"modified":"2008-01-26T01:37:34","modified_gmt":"2008-01-25T23:37:34","slug":"examinador-2-bloque-i","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/madbinnacle\/2007\/11\/05\/examinador-2-bloque-i\/","title":{"rendered":"Examinador 2 Bloque I"},"content":{"rendered":"

1. La expresi\u00f3n \u2200xP(x)<\/strong> \u2227 \u2203xQ(x)<\/strong> es:
\na) Una fbf del lenguaje proposicional
\nb) Es una fbf del lenguaje predicativo<\/font><\/strong>
\nc) No es una fbf porque la misma variable se utiliza en dos \u00e1mbitos
\nd) Una fbf del lenguaje proposicional y predicativo<\/p>\n

2. Marco conceptual: Ana aprueba l\u00f3gica: lo<\/strong>; Ana aprueba \u00e1lgebra: al<\/strong>.
\n\u201cAna aprueba l\u00f3gica o \u00e1lgebra, pero no ambas; no obstante si Ana no
\naprueba l\u00f3gica, tampoco aprueba \u00e1lgebra\u201d<\/strong> se formaliza como:
\na) (lo \u2228 al) \u2227 (\u00aclo \u2227 \u00acal) \u2227 (\u00aclo \u2227 \u00acal)
\nb) (\u00aclo \u2192 al) \u2227 (\u00aclo \u2228 \u00acal) \u2227 (\u00acal \u2228 lo)
\nc) (lo \u2227 al \u2227 \u00aclo \u2227 \u00acal) \u2227 \u00ac(\u00aclo \u2192 al)<\/font><\/strong>
\nd) Ninguna<\/p>\n

3. Marco conceptual: llevas zapatos: za<\/strong>; entras en el restaurante: re<\/strong>.
\n\u201cNo es necesario, pero s\u00ed suficiente, que lleves zapatos para entrar en
\nel restaurante,\u201d<\/strong> se formaliza como:
\na) (\u00acza \u2227 re) \u2227 (re \u2227 \u00acza)
\nb) \u00ac(za \u2228 re) \u2227 (re \u2228 za)
\nc) ( re \u2192 \u00acza) \u2227 (za \u2192 re)
\nd) \u00ac(\u00acre \u2228 za) \u2227 \u00ac(za \u2227 \u00acre)<\/font><\/strong><\/p>\n

4. Marco conceptual: entras en la piscina: pi<\/strong>; traes el bono: bo<\/strong>.
\n\u201cEs suficiente, aunque no necesario, que traigas el bono para entrar
\nen la piscina\u201d<\/strong> se formaliza como:
\na) (bo \u2227 pi) \u2227 \u00ac(pi \u2227 bo)
\nb) (\u00acbo \u2228 pi) \u2227 (pi \u2227\u00acbo)<\/font><\/strong>
\nc) (bo \u2227 pi) \u2227 \u00ac(pi \u2227 bo)
\nd) (pi \u2192 bo) \u2227 (pi \u2192 \u00acbo)<\/p>\n

5. Marco conceptual: Ana salta desde el trampol\u00edn: tr<\/strong>; Pedro empuja a Ana: em<\/strong>;
\nJuan llena la piscina: pi.
\n\u201cAna no salta desde el trampol\u00edn a menos que Pedro le empuje y Juan
\nllene la piscina.\u201d<\/strong> se formaliza como:
\na) \u00ac(pi \u2227 \u00acem \u2227 \u00actr)
\nb) \u00acem \u2228 \u00actr \u2228 pi
\nc) (\u00actr \u2228 em) \u2227 (\u00actr \u2228 pi)<\/font><\/strong>
\nd) (\u00actr \u2227 em) \u2228 (\u00actr \u2227 pi)<\/p>\n

Se considera el Marco Conceptual: D= {personas}; Al(x): x es alumno; Pr(x): x
\nes profesor; In(x): x es inteligente; M(x): x es marchoso;
\nMa(x,y): x est\u00e1 matriculado en y; Ad(x,y): x admira a y;<\/p>\n

6. \u201cTodos los alumnos son inteligentes y marchosos\u201d <\/strong>se formaliza como:
\na) \u2200x[Al(x) \u2192 I(x) \u2227 M(x)]<\/font><\/strong>
\nb) \u2200x[I(x) \u2227 M(x) \u2192 Al(x)]
\nc) \u2200x[Al(x) \u2227 I(x) \u2227 M(x)]
\nd) \u2200x[I(x) \u2227 M(x)]<\/p>\n

7. \u201cTodos los alumnos matriculados en alguna asignatura admiran a
\nalg\u00fan profesor\u201d<\/strong> se formaliza como:
\na) \u2200x[\u2203yMa(x,y) \u2192 \u2203zAd(x,z)]
\nb) \u2200x\u2203y\u2203z [Al(x) \u2227 Ma(x,y) \u2227 Pr(z) \u2227 Ad(x,z)]
\nc) \u2200x[Al(x) \u2227 Ma(x,x) \u2192 Pr(x) \u2227 Ad(x,x)]
\nd) \u2200x[Al(x) \u2227 \u2203yMa(x,y) \u2192 \u2203z(Pr(z) \u2227 Ad(x,z))]<\/font><\/strong><\/p>\n

8. \u201cAna es un alumno que no admira a nadie\u201d<\/strong>, se formaliza como:
\na) \u00ac(\u00acAl(ana) \u2228 \u00ac\u2200x\u00acAd(ana,x))<\/font><\/strong>
\nb) \u00ac\u2200x[Al(ana) \u2227 Ad(ana,x)]
\nc) \u2200x\u00acAd(x) \u2227 Al(ana)
\nd) \u2203y\u00acAd(ana,x) \u2227 Al(ana)<\/p>\n

9. \u201cAna no est\u00e1 matriculada en ninguna asignatura\u201d<\/strong>, se formaliza como:
\na) Al(ana) \u2192 \u00ac\u2203xMa(x,ana)
\nb) \u2200x\u00acMa(ana,x)<\/font><\/strong>
\nc) \u00ac\u2203xMa(x,ana)
\nd) Al(ana) \u2227 \u00ac\u2203xMa(x,ana)<\/p>\n

10. Para que la expresi\u00f3n S<\/strong>: \u2200xA(x) <\/strong>\u2227 B(x)<\/strong> sea una fbf :
\na) es necesario que la vble x est\u00e9 libre en A(x)
\nb) es suficiente que la vble x est\u00e9 libre en A(x) al igual que en B(x)
\nc) Es necesario que las vble del argumento de A y de B no sea la misma
\nd) Es necesario definir un dominio de objetos constantes para la vble x<\/font><\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"

1. La expresi\u00f3n \u2200xP(x) \u2227 \u2203xQ(x) es: a) Una fbf del lenguaje proposicional b) Es una fbf del lenguaje predicativo c) No es una fbf porque la misma variable se utiliza en dos \u00e1mbitos d) Una fbf del lenguaje proposicional y predicativo 2. Marco conceptual: Ana aprueba l\u00f3gica: lo; Ana aprueba \u00e1lgebra: al. \u201cAna aprueba […]<\/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-19","post","type-post","status-publish","format-standard","hentry","category-examinadores"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/19","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=19"}],"version-history":[{"count":0,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/19\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/media?parent=19"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/categories?post=19"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/tags?post=19"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}