(3.

0) Un ejemplo de proposición categórica particular negativa es:

• Algunos griegos no son patriotas.

(3.1) “x es humano”, “Sócrates es humano”:

• La primera es una función proposicional mientras que la segunda no lo es.

(3.1) Entre las reglas para la formación de proposiciones que involucren funciones para asegurarnos que se encuentren
bien formadas, se encuentran, entre otras…

• Todas son correctas.

(3.1) Una función proposicional en una variable es:

• Es un predicado que depende de una variable x en un dominio D.

(3.1) Una función proposicional tiene por ventaja que:

• Incluye muchas proposiciones en función de sus variables

(3.2) El cuantificador “existe un único “indica que:

• Que estrictamente un elemento del dominio de la variable cumple cierta propiedad

(3.2) El cuantificador existencial dice que:

• “Algún elemento del dominio de la variable cumple cierta propiedad “

(3.2) El cuantificador universal dice que…

• Todos los elementos del dominio de la variable cumplen cierta propiedad.

(3.2) Es posible que diferentes funciones proposicionales tengan la misma tabla de verdad y, por lo tanto, sean
representaciones distintas de una misma función proposicional: En esta situación se dice que las funciones
proposicionales son lógicamente equivalentes. Considere la función proposicional F(P,Q)=P y noQ, entonces funciones
lógicamente equivalentes a f son:

• “L(P,Q)=no noP y noQ”.

(3.2) Es posible que diferentes funciones proposicionales tengan la misma tabla de verdad y, por lo tanto, sean
representaciones distintas de una misma función proposicional: En esta situación se dice que las funciones
proposicionales son lógicamente equivalentes. Considere la función proposicional F(P,Q)=noP o Q, entonces funciones
lógicamente equivalentes a f son:

• “m(P,Q)=no(P o Q )”.
• “L(P,Q)= noQ nop)”.

(3.2) La importancia del dominio de un cuantificador es....

• Conocer al menos donde la función proposicional al menos tiene sentido.

(3.2) La negación de “no existe un duende que es enano” …

• Existe un duende que es enano.

(3.2) La negación de que “existe un entero tal que para todo otro real el producto entre los dos es par”…

• Para todo entero existe otro real tal que el producto de ellos es no es par.

1
(3.2) La negación de que existe un natural tal que para todo otro natural el producto entre los dos es par

• Para todo natural existe otro natural tal que el producto de ellos es impar.

(3.2) Las variables individuales:

• Representan elementos o individuos indeterminados del universo.

(3.2) Un cuantificador es necesario ya que…

• Permite agrupar muchas más proposiciones en términos variables y decidir que tanto ocurre su valor de
verdad.

(3.2) Un cuantificador es una expresión que indica…

• La cantidad de veces que un predicado o propiedad P se satisface dentro de un determinado dominio.

(3.2) Una formula deja de ser cerrada cuando:

• “Alguna variable no está ligada “

(3.2) Una fórmula es: deja de ser cerrada cuando;

• “Alguna variable no está ligada “

(3.2) Una función proporcional cumple. Selecciones 3 respuestas correctas:

• Sus argumentos son proposiciones;

(3.2) Una función proposicional necesita:

• Un dominio.
• Una propiedad en el dominio.
• La propiedad además debe ser proposición sobre cada variable del dominio.

(3.2) Utilizaremos el cuantificador existencial cuando:

• El argumento resume a “algunos” los elementos del universo.

(3.3) Constituye un ejemplo de proposiciones predicativas…

• Martina estudia.

(3.3) Cuál de las siguientes expresiones del lenguaje expresa que: “Todos los ángeles son invisibles” …

• Cada ángel es invisible.

(3.3) Cuál es la proposición equivalente a: “Ningún buen auto es portugués” …

• No existen buenos autos que sean portugueses.

(3.3) De la expresión “(para todo x e y en la D)(para todo z en E)( vale la propiedad P (x,y,z))”podemos decir que ..

• Es una formula cerrada

(3.3) De la expresión para todo x e y en D vale la propiedad P(x,y,z) podemos decir que…

• x e y pertenecen al dominio D.

2
(3.3) De la expresión para todo x e y en D vale la propiedad P(x,y,z) podemos decir que…

• Falta un cuantificador para ligar la variable z y la fórmula se vuelve cerrada.

(3.3) De la expresión para todo x e y en D vale la propiedad P(x,y,z) podemos decir que...

• X e y son variables ligadas

(3.3) De la expresión para todo x e y en la D vale la propiedad P (x,y,z)podemos decir que ..:

• Es una forma abierta

(3.3) En la función proposicional: Para todo entero x vale que 2x+1 es impar…

• X es una variable ligada.

(3.3) Indique cual es la proposición equivalente a: “Algunos comerciantes son deshonestos” …

• No todos los comerciantes son honestos.

(3.3) Una fórmula es cerrada cuando…

• No tiene variables libres

(3.4) Dada la expresión “para todo entero primo P,P+1 ES PAR “ entonces podemos sugerir como ejemplo de satis
factibilidad . Selecciones cuatro respuestas correctas:

• p=7;
• p=11;
• p=-5;
• p=3

(3.4) Dada la expresión “para todo entero primo p,p+1 es par” entonces podemos sugerir como ejemplo de satis
factibilidad…

• p=3,
• p=11,
• p=7,
• p=-5.

(3.4) Dada la expresión “para todo par de numero enteros primos p y q vale que pq es impar “entonces podemos
sugerir como contraejemplo. Selecciones las 4 respuestas correctas

• (p=17,q=2);
• (p=2, q=7);
• (p=13 ,q=-2);
• (p=-2 , q=11)

(3.4) Dada la expresión “para todo par de números enteros impares M y N vale que M+N es impar” entonces podemos
conseguir como contraejemplos…

• M=-3, N=5.
• M=3, N=-3.
• M=3, N=5.
• M=-1, N=17.

3
(3.4) Dada la expresión “para todo par de números enteros primos P y Q vale que PQ es impar entonces podremos
sugerir como contraejemplos” …

• P=3 Q=2.
• P=-2 Q=5.
• P=3 Q=-2.
• P=2 Q=17.

(3.4) La negación de algún s no es p es algún s es p:

• Falso

(3.4) La negación de Algún S no es P es Algún S es P…

• FALSO.

(3.4) La negación de la proposición categoría compuesta “todo S es no (P o Q ) “es…

• Ninguna s es P o Q

(3.4) La proposición categórica consiste…

• De al menos 2 categorías S y P y una afirmación sobre si los elementos de S están incluidos en P.

(3.4) La siguiente proposición: “Algunos animales son vertebrados” es equivalente a:

• Todos los animales no son vertebrados.

(3.4) Ningún S es P

• Forma E

(3.4) Todo S es P.

• Forma A.

(3.4) Una proposición categórica es una proposición que:

• Afirma o niega que todos o algunos de los miembros de una categoría están incluidos en otra categoría.

(3.5) De la función preposicional: los números primos son impares, podemos decir que:

• Es satisfacible

(3.5) Un ejemplo que cumple la función proposicional es…

• Todos los griegos son mentirosos.

(3.6) De las proposiciones categóricas: todas las aves vuelan, los gorriones son aves, se concluye:

• Los gorriones vuelan

(3.7) La negación de la proposición categoría compuesta “ningún S es P y noQ” es

• Todo S es no P o Q

(3.7) La negación de la proposición categórica compuesta “Algún S y Q es no P”……

• Algún S y Q no es P

(3.7) La negación de la proposición categórica compuesta “Todo S y Q en no P” es…

• Ningún S y Q es P

4
(3.7) La negación de la proposición categórica compuesta Todo S es no (P o Q) es……

• Ningun S es P o Q

(4.1) “¿Quién amplió el estudio de los conectivos lógicos  (conjunción) y  (disyunción) de lógica formal?...

• Boole.

(4.1) Con respecto a la comprobación de leyes entre los conjuntos, ¿cuál de las opciones es correcta?...

• Los diagramas de Venn no constituyen una demostración definitiva, aunque sugieren el método a seguir.

(4.1) El conjunto de los números enteros cuyo valor absoluto es menor o igual a 3 son (recordar que el valor absoluto
es una función que toma un valor real y devuelve el mismo valor pero con signo positivo)

• (-3,-2,-1,0,1,2,3).

(4.1) El conjunto a ={a,e} se puede describir como :

• El conjunto de las vocales antes de la letra f en el abecedario

(4.1) El conjunto de A=(2,3,5,7) se puede describir como:

• “El conjunto de los números primos menores a 10 “

(4.1) Un diagrama de venn:

• Una representación gráfica de conjuntos de rectángulos y círculos.

(4.2) Dados los conjuntos A={1,3,6,7,9} B={3,6,5,9} La diferencia A – B entre los conjuntos…

• {1,7}

(4.2) La diferencia simétrica de los conjuntos A=(b,d,f,g) y B=(a,b,d,e)es….

• (f,g,a,e)

(4.2) La intersección de los conjuntos A={-1,3,-6,7,9} y B {3,6,5,9} es….

• {3,9}

(4.2) La intersección de los conjuntos A={1,3,6,7,9} y B={3,6,5,9}es…

• (3,9)

(4.2) La intersección de los conjuntos A={1,3,6,7,9} y B={3,6,5,9}es….

• {3,6,9}

(4.2) La unión de los conjuntos A=(1,3,6,7)y B =(3,6,5) es…

• {1,3,6,7,5}

(4.2) La unión de los conjuntos A={a,c,f,g} y B={c,f} es…

• A

(4.2) Si A={a,b,c},B={c,d,e},C={a,c,e} entonces la intersección de los tres conjuntos es….

• {C}

(4.2) Si tenemos el conjunto referencial o universal U={a,b,c,d,e,f} y al conjunto B={a,e}, entonces podemos decir que..

• El complemento de B es {b,c,d,f}.
5
(4.3) Considere un programa de computación el cual debe elegir al azar dentro de un grupo de 5 objetos enumerados
del 1 al 5 . si asumimos como viable x1 ,x2,x3,x4 y x5 donde cada variable x1 toma el valor de 1 si el objeto con el es
elegido , en caso contrario de la variable toma el valor de cero , ahora bien , si al menos tres objetos son elegidos
entonces la función pone 1 y continua el programa , en casa contrario pone un cero y repite el proceso .Entonces vale
que …. Selecciones 4 opciones correctas

• f(1,1,1,0,0)=1;
• f(1,0,0,0,1)=0;
• f(0,1,0,0,1)=0;
• f(1,0,1,0,1)=1

(4.3) Dada la función booleana f(X,Y)=(XY) uno puede decir que:

• f(1,0)=0,
• f(0,0)=0,
• f(0,1)=0,
• f(1,1)=1.

(4.3) Dados dos conjuntos A y B entonces decimos que A está contenido en B si…

• Para todo X en A entonces X pertenece a B.

(4.3) Dados dos conjuntos A y B tal que A esta contenido en B, entonces A intersectado B es….

• “A”

(4.3) En la unión de un conjunto consigo mismo es el mismo conjunto, esto se debe a…

• La propiedad de idempotencia de la disyunción lógica proposicional.

(4.3) La asociatividad de la intersección en la teoría de conjuntos proviene fundamentalmente de…

(4.3) La asociatividad de la unión en la teoría de conjuntos proviene fundamentalmente de :

(4.3) La distributividad de la intersección de conjuntos respecto de la unión de conjuntos, en la teoría de conjuntos,

• La distribución de la conjunción respecto de la disyunción, en la lógica proposicional.

(4.3) Si a y b son los dos elementos de un álgebra booleana entonces es cierto que:

• a+b=b+a,
• a’b’=(a+b)’,
• ab=ba,
• (ab)’=a’+b’.

(4.4) A partir de los axiomas se pueden demostrar una serie de postulados o teoremas que se incorporan a las leyes
del Álgebra de Boole, entre ellas se pueden mencionar: Todas las opciones son correctas;

• En todo algebra de boole se cumplen las leyes de Morgan

(4.4) Cuales de los siguientes sistemas constituyen álgebras de Boole…

• La teoría de conjuntos y el cálculo proposicional.

6
(4.4) El álgebra de Boole contiene:

• Dos operadores binarios {+,·},

(4.4) La operación suma en una álgebra de Boole es la análoga a…

• Al conector de la disyunción en lógica proposicional y a la operación de unión en la teoría de los conjuntos.

(4.5) Considere un programa de computación el cual debe elegir al azar dentro de un grupo de 5 objetos enumerados
del 1 al 5……….:

• F(1,1,1,0,1)=1

(4.5) Dada la función booleana f(X,Y)=(X Y)´ uno puede decir que:

• F(1,1)=0,
• F(1,0)=1,
• F(0,1)=1,
• F(0,0)=1

(4.5) Entre el álgebra booleana y la teoría de conjuntos, uno tiene cierta analogía, entre ellas están…Que el operador
producto es análogo al operador intersección. El operador + es análogo al operador unión. La distributividad en el
operador producto respecto al operador suma en el álgebra booleana es análoga la distributividad de la intersección
respecto de la unión en la teoría conjuntos. El operador que cambia el valor booleano es análogo al operador
complemento.

(4.5) La función booleana f(x,y,z)=x(y + z) coincide con la función booleana :

• h(x,y,z)=xy +xz

(5.1) Dispositivos de estados solidos que son capaces de cambiar los niveles de voltajes (bits):

• Una compuerta

(5.1) Una propiedad de un circuito combinado es:

• Que no posee memoria.

(5.1) Una propiedad de un circuito combinatorio es..

• Que puede ser expresado por una función booleana.

(5.1) Una propiedad de un circuito combinatorio es:

• Poseer una función cuyas entradas son proposiciones.

(5.2) Las compuertas AND y NOT en circuitos lógicos son análogas a: Los operadores de producto y en algebra booleana

(5.2) Las compuertas OR y NOT en circuitos lógicos son análogas a:

• Los operadores de unión y complemento de la teoría de conjuntos.

(5.2) Las compuertas AND y NOT en circuitos lógicos son análogas a:

• Los conectores y y no de lógica proposicional.

(5.2) Las compuertas AND y OR en circuitos lógicos son análogas a:

• Los operadores de productos y en un algebra booleana

7
(5.2) Las compuertas OR y NOT en circuitos lógicos son análogas a ..

• “Los operadores + y en un algebra booleana “

(5.2) Una compuerta lógica AND…

• Es una compuerta que devuelve un 1 estrictamente cuando sus dos entradas valen 1 al mismo tiempo.

(5.2) Una compuerta lógica OR:

• Es una compuerta que devuelve un1 estrictamente cuando al menos una d sus dos entradas vale 1

(5.3) La compuerta AND solo posee valor 1 cuando algunas de sus entradas es 1

• Falso.

(5.3) La compuerta AND solo posee valor cuando sus entradas son ambas:

• 1

* Siendo A y B las siguientes expresiones lógicas ¿Cuál es la opción lógica?..

• A es una proposición y B es una función proposicional.

* Cual de las siguientes expresiones cuantificadas describen la relación de inclusión de conjuntos denotadas por 
 

• Todos los x que pertenecen a A entonces pertenecen a B.

*Cual de las siguientes expresiones cuantificadoras, describen la relación de inclusión de conjuntos denotada por: A ⊆
B

• ∀x[x∈B⇒x∈A]
• “Todas las x que pertenecen a A, entonces pertenecen a B