Lógica Simbólica - 2º Parcial - Siglo 21

Un diagrama de Venn puede ser. Una representación gráfica de conjuntos en rectángulos y círculos. Una representación gráfica de conjuntos en rectángulos y cuadrados. Una representación gráfica de conjuntos en círculos y cuadrados. Una representación gráfica de conjuntos en círculos. Una representación gráfica de conjuntos.

La unión de un conjunto consigo mismo es el mismo conjunto, esto es debido a. La propiedad de idempotencia de la disyunción lógica proposicional. La propiedad de potencia de la disyunción lógica proposicional. La propiedad de idempotencia de la conjunción lógica proposicional. La propiedad de idempotencia de la disyunción lógica posicional. La propiedad de potencia de la disyunción real proposicional.

Seleccione las 4 opciones correctas, Dada la función booleana f(X, Y)=(X Y), uno puede decir que... F(1,0)=1. F(0,0)=1. F(0,1)=1. F(1,1)=0. F(1,2)=1.

El conjunto de los números enteros cuyo valor absoluto es menor a 3 son (recordad que el valor absoluto de un número deja al mismo número pero con signo +). {-2, -1, 0, 1, 2}. {-3, -1, 0, 1, 2}. {-2, -1, 0, 1, 3}. {-2, -3, 0, 2, 1}. {-3, -2, -1, 0, 2}.

La negación de la proposición categoría compuesta "Todo SyQ es noP" es... Ningún S y Q es P. Ningún S es P. Ningún S y Q es no P. Algún S y Q es P. Ningún no(S y Q) es P.

Una fórmula proposicional es se satisface. Si toma el valor de verdad verdadero para alguna interpretación. Si no toma el valor de verdad verdadero para alguna interpretación. Si toma el valor de falso verdadero para alguna interpretación. Si toma el valor de verdad seguro para alguna interpretación. Si toma el valor de verdad verdadero para toda interpretación.

La función booleana f(x, y, z)= x(y+z) coincide con la función booleana. h(x, y, z)=xy+xz. h(y, z)=hy+hz. f(x, y, z)=xy+xz. f(x, y, z)=xy+xz+yz. h(x, y, z)=xy+xz+yz.

La operación producto en un álgebra de boole es la análoga a. Al conector de la conjunción en Lógica proposicional y a la operación de intersección en la teoría de conjuntos. Al conector del conjunto en Lógica proposicional y a la operación de intersección en la teoría de conjuntos. Al conector de la conjunción en Lógica proposicional y a la operación de relación en la teoría de conjuntos. Al conector de la conjunción en Lógica proposicional y a la sumatoria de intersección en la teoría de conjuntos. Al conector del conjunto en Lógica proposicional y a la operación de sumatoria en la teoría de conjuntos.

De la expresión '(para todo x e y en D)(para todo z en E)(vale la propiedad P(x, y, z))' podemos decir que ... Es una fórmula cerrada. Es una fórmula abierta. Es una fórmula semicerrada. Es una fórmula semiabierta. Es una fórmula.

La negación de la proposición categoría compuesta "Algún SoQ es P" es ... Algún SoQ no es no P. Algún no(S o Q) es no P. Algún SoQ no es P. Algún no(S o Q) no es no P. Algún S o Q es P.

El conjunto A={a, e} se puede describir como. El conjunto de las vocales antes de la letra f en el abecedario. El conjunto de las letras antes de la letra f en el abecedario. El conjunto de las vocales en el abecedario. El conjunto de las letras en el abecedario. El conjunto de las vocales entre la a y la e en el abecedario.

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. x, y, z pertenecen al dominio D. x y z pertenecen al dominio D. x e y pertenecen al dominio P. z e y pertenecen al dominio P.

Un cuantificador es necesario ya que ... Permite agrupar muchas mas proposiciones en términos de variables y decidir que tanto ocurre su valor de verdad. Permite agrupar algunas proposiciones en términos de variables y decidir que tanto ocurre su valor de verdad. Permite agrupar todas las proposiciones en términos de variables y decidir que tanto ocurre su valor de verdad. Permite agrupar muchas mas proposiciones en términos de variables y decidir que tanto no ocurre su valor de verdad. Permite agrupar las proposiciones en términos de variables y decidir que tanto ocurre su valor de verdad.

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. Para todo natural existe otro natural tal que el producto de ellos es par. Para todo entero existe otro natural tal que el producto de ellos es impar. Para todo natural existe otro real tal que el producto de ellos es impar. Para todo real existe otro natural tal que el producto de ellos es impar.

Seleccione las 4 opciones correctas, Dada la expresión 'Para todo par de números enteros impares m y n vale que m + n es impar' entonces podemos dar como contraejemplos... m=-3, n=3. m=-1, n=7. m=5, n=-3. m=-1, n=1. m=-6, n=5.

Sea A={1, 3, 5, 7}, para que el complemento de A sea {2, 4, 6} el conjunto referencial debe ser: U={1, 2, 3, 4, 5, 6, 7}. A={1, 2, 3, 4, 5, 6, 7}. U={0, 1, 2, 3, 4, 5, 6, 7}. A={1, 2, 3, 4, 5, 2, 7}. U={1, 2, 3, 4, 5, 6, 7, 8}.

El cuantificador existencial sirve para... Garantizar que algún elemento del dominio de la variable cumple cierta propiedad. Garantizar que todo elemento del dominio de la variable cumple cierta propiedad. Garantizar que el elemento del dominio de la variable cumple cierta propiedad. Garantizar que el elemento del dominio de la variable cumple alguna propiedad. Garantizar que algún elemento del dominio de la variable cumple alguna propiedad.

La distribituvidad de la unión de conjuntos respecto de la intersección de conjuntos, en la teoría de ....... proviene fundamentalmente de. La distributividad de la disyunción respecto de la conjunción, en la lógica proposicional. La distributividad de la disyunción respecto de la conjunción, en la lógica. La distributividad de la disyunción respecto de la conjunción, en la lógica de conjuntos. La distributividad de la disyunción respecto de la conjunción, en la lógica algebraica. La distributividad de la disyunción en relación de la conjunción, en la lógica proposicional.

La diferencia simétrica de los conjuntos A={1, 3, 6, 7, 9} y B={3, 6, 5, 9} es. {1, 7, 5}. {2, 4, 8}. {2, 4, 7}. {1, 4, 8}. {7, 5, 2}.

En un diagrama de Venn: El conjunto universal suele encerrarse en un rectángulo y los demás conjuntos en círculos. El grupo universal suele encerrarse en un rectángulo y los demás conjuntos en círculos. El conjunto universal suele encerrarse en un rectángulo y los demás conjuntos en cuadrados. El conjunto universal suele encerrarse en un circulo y los demás conjuntos en rectángulos. El grupo universal suele encerrarse en un cuadrado y los demás conjuntos en círculos.

En la expresión "Para cualquier x, y es mas grande que x", podemos afirmar que ... Y no es una variable ligada. Y es una variable ligada. X no es una variable ligada. Y es una variable ligada. Z es una variable ligada.

Algún S no es P. Forma O. Forma no O. Forma P. Forma no P. Forma A.

Es posible que diferentes funciones proposicionales tengan la misma tabla de verdad para cada valor de x en un dominio D y por tanto sean representaciones distintas de una misma función proposicional. En esta situación se dice que las funciones proposicionales son lógicamente equivalentes. De las siguientes funciones proposicionales cuáles son lógicamente equivalentes. Si x esta en el dominio D, no(P(x) y Q (x)), noP(x) o noQ(x). Si x esta en el dominio D, P(x) y Q (x), noP(x) o noQ(x). Si x esta en el dominio D, no(P(x) y Q (x)), P(x) o Q(x). Si x esta en el dominio D, no(P(x) y Q (x)), P(x) o noQ(x). Si x esta en el dominio D, no(P(x) y Q (x)), noP(x) o Q(x).

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. Todo noS es no P y Q. Todo noS es no P o Q. Todo S es P o no Q. No todo S es P o Q.

Una fórmula proposicional es se satisface... Si toma el valor de verdad verdadero para alguna interpretación. Si toma el valor de verdad verdadero para toda interpretación. Si toma algún valor de verdad verdadero para alguna interpretación. Si toma algún de verdad verdadero para toda interpretación. Si toma el valor de falso verdadero para alguna interpretación.

La función booleana f(x, y, z) x'(y+z)' coincide con la función booleana. L(x, y, z)=(x+(y+z)). L(x, y, z)=x'(y'+z'). L(x, y, z)=xy'+xz'. L(x, y, z)=x'+y'+z'). L(x, y, z)=(x(y+z)).

Un contraejemplo para una fórmula proposicional es ... Un conjunto de valores para las variables que hacen falsa la fórmula proposicional. Un conjunto de valores para las variables que hacen verdadera la fórmula proposicional. Un grupo de valores para las variables que hacen falsa la fórmula proposicional. Un grupo de valores para las variables que hacen verdadera la fórmula proposicional. Un conjunto de valores para casi todas las variables que hacen verdadera la fórmula proposicional.

La negación de Algún S es P es Algún S no es P ... Verdadero. Falso.

Dado un circuito lógico. Su tabla lógica es la lista todas las entradas posibles (entre ceros y unos) junto con las salidas producidas (de ceros o unos). Su tabla lógica es la lista todas las entradas posibles (entre ceros y unos) sin las salidas producidas (de ceros o unos). Su tabla lógica es la lista todas las entradas reales (entre ceros y unos) junto con las salidas producidas (de ceros o unos). Su tabla lógica es la lista todas las entradas posibles (entre ceros y unos) junto con las salidas sin producirse (de ceros o unos). Su tabla lógica es la lista todas las entradas posibles (entre unos y unos) junto con las salidas producidas (de ceros o unos).

El cuantificador "existe un único" indica que: Que estrictamente un elemento del dominio de la variable cumple cierta propiedad. Que estrictamente un elemento del dominio de la variable cumple toda propiedad. Que estrictamente una variable del dominio de los elementos cumple cierta propiedad. Que estrictamente una variable del dominio de los elementos cumple toda propiedad. Que estrictamente un elemento del dominio de la variable no cumple cierta propiedad.

La compuerta OR solo posee valor 1 cuando sus entradas son ambas 1. Verdadero. Falso.

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 variables x1, x2, x3, x4, y x5, donde cada variable xi toma el valor 1 si el objeto con el número i es elegido, en caso contrario la variable toma el valor de cero, ahora bien, si al menos tres objetos son elegidos entonces la función pone un 1 y continua el programa, en caso contrario pone un cero y repite el proceso. Entonces vale que. F(1, 1, 1, 0, 1)=1. F(1, 0, 1, 0, 1)=1. F(1, 1, 1, 1, 1)=1. F(0, 1, 1, 0, 1)=1. F(0, 0, 0, 0, 1)=1.

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

En la imagen siguiente el valor de y es. 1. 0. 2. 3. -1.

La importancia de el dominio de un cuantificador es ... Conocer al menos donde la función proposicional al menos tiene sentido. Dominar el valor de verdad de la propiedad a la cual se hace referencia. Conocer ciertamente donde la función proposicional al menos tiene sentido. Conocer al menos donde la función proposicional no tiene sentido. Conocer donde toda función proposicional al menos no tiene sentido.

La negación de 'para todo número racional existe un número entero que lo supera' es ... Existe un número racional tal que para todo número entero el racional no es superado por él. No existe un número racional tal que para todo número entero el racional no es superado por él. Existe un número racional tal que para todo número entero el racional es superado por él. Existe un número entero tal que para todo número racional el racional no es superado por él. Existe un número real tal que para todo número entero el racional es superado por él.

De la expresión para todo x e y en D vale la propiedad P(x, y, z) podemos decir que ... Es una formula abierta. Es una formula cerrada. Es una formula semi abierta. Es una formula semi cerrada. Es una formula con propiedad de P.

De la expresión 'para todo x en D y para todo y en E vale la propiedad P(x, y, z)' podemos decir que... X e y pertenecen a distintos dominios. D e y pertenecen a distintos dominios. X e y pertenecen al mismo dominio. D e y pertenecen a mismo dominio. X e y pertenecen a E dominios.

Si tomamos el conjunto referencial o universal U={1, 3, 5, 6, 7, 9} y al conjunto B={3, 6, 5, 9}, entonces podemos decir que. El complemento de B es {1, 7}. El complemento de B es {2, 8}. El complemento de U es {1, 2, 6, 7}. El complemento de U es {1, 2, 8, 9}. El complemento de B es {1, 2, 6, 7}.

La operación suma en un á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 conjuntos. Al conector de la conjunción en Lógica proposicional y a la operación de unión en la teoría de conjuntos. Al conector de la disyunción en Lógica proposicional y a la suma de unión en la teoría de conjuntos. Al conector de la disyunción en Lógica proposicional y a la operación de unión en la teoría de grupos. Al conector de la conjunción en Lógica proposicional y a la operación de unión en la teoría de grupos.

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. x e y son variables cerradas. x y z son variables ligadas. x e z son variables cerradas. x y z son variables cerradas.

En la expresión "Para cualquier x, y perteneces a x", podemos afirmar que ... y es una variable libre. x es una variable libre. y, x son variables libres. y es una variable cerrada. y es una variable ligada.

La asociatividad de la unión en la teoría de conjuntos proviene fundamentalmente de: La asociatividad de la disyunción en la lógica proposicional. La asociatividad de la conjunción en la lógica proposicional. La asociatividad de la disyunción en la lógica real. La asociatividad de la conjunción en la lógica real. La no asociatividad de la conjunción en la lógica proposicional.

El conjunto A={2, 3, 5, 7} se puede describir como: El conjunto de los números primos menores a 10. El conjunto de los números menores a 8. El conjunto de los números menores a 10. El conjunto de los números entre 2 y 7. El conjunto de los números hasta 7.

La compuerta OR solo posee valor al menos una entrada es uno. Verdadero. Falso.

Una función proposicional es... Una estructura con un dominio D y una propiedad P(x), tal que para cada x en D P(x) es una proposición. Una estructura con un dominio D(x) y una propiedad P, tal que para cada x en D P(x) es una proposición. Una estructura con un dominio D y una propiedad P(x), tal que para cada x en D P(xy) es una proposición. Una estructura con un dominio D(x) y una propiedad P(y), tal que para cada x en D P(x) es una proposición. Una estructura con un dominio D y una propiedad P(x), tal que para cada y en D P(x) es una proposición.

Para definir una función proposicional en una variable se necesita: Una oración P(x) que incluya la variable x y D un conjunto en el cual vive x. Una oración P(y) que incluya la variable x y D un conjunto en el cual vive x. Una oración P(x) que incluya la variable x y D(x) un conjunto en el cual vive x. Una oración P(x) que incluya la variable x y D un conjunto en el cual vive x. Una oración P(x) que incluya la variable z y D un conjunto en el cual vive z.

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

Un ejemplo de proposición categórica particular negativa es. Algunos griegos son patriotas. Algunos griegos no son patriotas.

Seleccione las 3 opciones correctas, El álgebra de Boole contiene... Un operador unitario { ' }. Dos operadores binarios {+, '}. Un conjunto de dos elementos {0, 1}. Dos operadores binarios {-, "}. Un conjunto de tres elementos {0, 1, 2}.

Seleccione las 3 opciones correctas, Una función proposicional necesita... Un dominio. Varios valores de verdad por cada combinación de valores de verdad de las proposiciones argumento. Varias proposiciones por cada combinación de entradas posibles. Una propiedad en el dominio. La propiedad además debe ser proposición sobre cada variable del dominio.

La negación de "No existe un duende que es enano" es... No existen enanos duendes. Existen enanos que no son duendes. Todos los enanos no son duendes. Existe un duende que es enano. Todos los enanos son duendes.

"X es humano", "Sócrates" es humano"... La primera es una función proposicional mientras que la segunda no lo es. La primera es una función proposicional mientras que la segunda también lo es.

Constituye un ejemplo de proposición predicativa... Martina estudia. ????.

De la función proposicional "Los números primos son impares", podemos decir... Es satisfactible. Es no fáctica.

Utilizaremos el cuantificador existencial cuando... El argumento resume a "Algunos" los elementos del universo. El argumento resume a "Todos" los elementos del universo. El argumento resume a "Casi Todos" los elementos del universo. El argumento resume a "Algunos" los elementos del grupo. El argumento resume a "Todos" los elementos del grupo.

Cuáles de los siguientes sistemas constituyen Algebras de Boole?. La teoría de conjunto y el cálculo proposicional. La teoría de grupo y el cálculo proposicional. La teoría de grupo y el cálculo profesional. La teoría de conjunto y el cálculo profesional. La teoría de grupo y el cálculo Booleano.

La negación de la proposición categoría propuesta "Algún SyQ es noP" es... Algún no(SyQ) es P. Algún SoQ no es noP. Algún no(SoQ) es noP. Algún noSynoQ es P. Algún SyQ no es P.

Un ejemplo que cumple la función proposicional es... Esta lloviendo todos los días!. Para cada entero X, X + 1 es entero?. Llueve. Salió el sol todos los días?. Todos los griegos son mentirosos.

Todo S es P. Forma O. Forma E. No es una forma. Forma A. Forma I.

Las variables individuales... Representan elementos. Representan elementos o individuos indeterminados del universo. Representan elementos o individuos indeterminados del grupo. Representan elementos o individuos indeterminados del conjunto. Representan elementos e individuos indeterminados del grupo.

Cuál de las siguientes expresiones del lenguaje expresa que "Todos los ángeles son invisibles". Cada ángel es invisible. Cada ángel no es invisible. Cada ángel es visible. Algún ángel no es invisible. Todos los ángeles no son invisible.

Cuál es la proposición equivalente a "Algunos comerciantes son deshonestos". No todos los comerciantes son deshonestos. No todos los comerciantes son honestos. Todos los comerciantes son deshonestos. Algunos comerciantes son casi honestos. Los comerciantes son honestos.

A partir de los axiomas que definen un álgebra de Boole se pueden demostrar una serie de postulados o teoremas que se incorporan a las leyes enunciadas entre ellas... En todo álgebra de Boole se cumplen las leyes de Morgan. En todo álgebra de Boole no se cumplen las leyes de Morgan. En algún álgebra de Boole se cumplen las leyes de Morgan. En algún álgebra de Boole no se cumplen las leyes de Morgan. En casi todo álgebra de Boole no se cumplen las leyes de Morgan.

Una compuerta lógica OR. Es una compuerta que devuelve un 0 estrictamente cuando al menos una de sus dos entradas vale 1. Es una compuerta que devuelve un 1 estrictamente cuando al menos una de sus dos entradas vale 1. Siempre arroja valores 0. Siempre arroja valores 1. Es una compuerta que devuelve un 0 estrictamente cuando al menos una de sus dos entradas vale 0.

Los dispositivos de estado solido que son capaces de cambiar los niveles de voltaje (bits) es... Una compuerta. Un booleano. Una función. Una premonición. Una lógia.

Una función proposicional tiene por ventaja que... Incluye muchas proposiciones en función de sus variables. Incluye algunas proposiciones en función de sus variables. Incluye muchas proposiciones en función de sus elementos. Incluye algunas proposiciones en función de sus elementos. Incluye muchas proposiciones en función de sus variables dentro del grupo.

De la expresión '(para todo X e Y en D) vale la propiedad P(x, y, z) podemos decir que ... Es una formula abierta y cerrada. Es una función proposicional. Es una formula vacua. Falta un cuantificador para fijar la variable Z y la formula se vuelve cerrada. Es una formula cerrada.

La negación de la proposición categoría propuesta "Algún SoQ es noP" es... Algún SoQ es noP. Algún no(SoQ) es noP. Algún noS y noQ es P. Algún no(SoQ) es P. Algún SoQ es P.

Seleccione las 4 opciones correctas, 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'. (ab)' = a' b'.

Con respecto a la comprobación de leyes entre los conjuntos, Cuál es la opción correcta?. Los diagramas de Venn no constituyen una demostración definitiva, aunque sugieren el método a seguir. Los diagramas de Venn constituyen una demostración definitiva, siempre sugieren el método a seguir. Los diagramas de Venn no constituyen una prueba definitiva, aunque sugieren el método a seguir. Los diagramas de Venn no sugieren una demostración definitiva, aunque sugieren el método a seguir. Los diagramas de Venn sugieren una demostración definitiva, aunque evalúan el método a seguir.

Las compuertas AND y NOT en circuitos lógicos son análogos a... Los conectores "y" y "o" de la lógica proposicional. Los conectores "y" y "no" de la lógica proposicional. Los conectores "y" y "y" de la lógica proposicional. Los conectores "no" y "no" de la lógica proposicional. Los conectores "o" y "no" de la lógica proposicional.

Seleccione las 2 opciones correctas, Es posible que diferentes funciones proposicionales tengan la misma tabla de verdad y por 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) = PynoQ, entonces funciones lógicamente equivalentes a F son... L (P, Q) = no noP y noQ. G (P, Q) = no (noP o Q). H (P, Q) = no (noP o Q). N (P, Q) = no (noP o Q). L (P, Q) = no (noP o Q).

Dado dos conjuntos A y B, tal que A esta contenido en B, entonces A interseptado B es. A'. A. A - B. B - A. B.

Algún S es P. Forma E. Forma O. Forma I. No es una forma. Forma A.

Seleccione las 4 opciones correctas, Entre el álgebra booleana y la teoría de conjuntos uno tiene ciertas analogías, entre ellas están ... La distributividad del 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 de conjuntos. El operador producto es análogo al operador de intersección. Los operadores producto y suma son análogos a los operadores de unión e intersección respectivamente. El operador que cambia el valor booleano es análogo al operador complemento. El operador + es análogo al operador unión.

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 no es par. Para todo entero existe otro entero tal que el producto de ellos es impar. Para todo entero existe otro natural tal que el producto de ellos es impar. Para todo natural existe otro entero tal que el producto de ellos es par. Para todo entero existe otro entero tal que el producto de ellos es par.

Dado los conjuntos A={1, 3, 6, 7, 9} y B={3, 6, 5, 9}, la diferencia A-B es... {1, 7, 9}. {1, 5, 7}. {1, 7}. {1, 3, 7}. {3, 6, 9}.

Las variables individuales... Representan elementos o individuos indeterminados del universo. Representan variables o individuos indeterminados del universo. Representan elementos o individuos indeterminados del grupo. Representan variables o elementos indeterminados del grupo. Representan elementos o individuos determinados del grupo.

La distribituvidad de la intersección de conjuntos respecto de la unión de conjuntos, en la teoría de conjuntos, proviene fundamentalmente de. La distributividad de la conjunción respecto de la conjunción, en la lógica proposicional. La distributividad de la disyunción respecto de la disyunción, en la lógica proposicional. La distributividad de la conjunción respecto de la disyunción, en la lógica proposicional. La distributividad de la conjunción respecto de la negación, en la lógica proposicional. La distributividad de la negación respecto de la disyunción, en la lógica proposicional.

Seleccione las 4 opciones correctas, De la expresión "Para todo entero primo P, P+1 es par", entonces podemos sugerir como ejemplo de satisfactibilidad... P = 2. P = - 5. P = 7. P = 3. P = 11.

Cuál es la proposición equivalente a "Ningún buen auto es portugués"... No existen buenos autos que sean portugueses. Existen autos que no son buenos y son portugueses.

Seleccione las 4 opciones correctas, Dada la expresión "Para todo par de números enteros primos P y Q, vale que PQ es impar", entonces podemos sugerir como contraejemplos... P = 17, Q = 2. P = 13, Q = -2. P = 2, Q = 7. P = -2, Q = 11. P = - 3, Q = 5.

Seleccione las 3 opciones correctas, Una función proposicional cumple... Sus argumentos son proposiciones. Tener un único valor de verdad por cada combinación de valores de verdad de las proposiciones argumento. Devuelve varios valores de verdad por cada combinación de valores de verdad de las proposiciones argumento. Devuelve varias proposiciones por cada combinación de entradas posibles. Devolver una proposición.

Dados dos conjuntos A y B, entonces decimos que A esta contenido en B si... Para todo X en A, entonces X no pertenece a B. Para todo X en A, entonces X pertenece a AUB. Para todo X en B, entonces X no pertenece a A. Para todo X en A, entonces X pertenece a B. Para todo X en B, entonces X pertenece a A.

Un cuantificador es una expresión que indica... Cuantas veces una propiedad falla por fuera del dominio. La cantidad de veces que un predicado o propiedad P debe ensayarse para que sea cierta en un determinado dominio. Es una ligadura de una variable con una proposición. La decisión si algo pasa o no a su vez. La cantidad de veces que un predicado o propiedad P se satisface dentro de un dominio.

En la unión de un conjunto consigo mismo, es el mismo conjunto, esto es debido a... La propiedad de idempotencia de la disyunción lógica proposicional. Por ser el complemento de la intersección. Lo propiedad de idempotencia de la negación lógica proposicional. La idempotencia de la conjunción en la lógica proposicional. Ya que si P es una proposición entonces P unido a P es P.

El complemento de el complemento de un conjunto resulta ser el conjunto, esto es debido a... Que el conjunto es diferente al conjunto universal. La propiedad de la doble negación en lógica proposicional. Que el conjunto universal contiene al conjunto. La idempotencia de la conjunción en la lógica proposicional. La idempotencia de la disyunción en la lógica proposicional.

Una proposición categórica consiste... Afirma sobre las propiedades de una categoría. Que relaciona categorías S y P mediante algún orden. Afirma la existencia de categorías S y P. De al menos 2 categorías S y P, y una afirmación sobre si los elementos de S están incluidos en P. Afirma sobre los sujetos de una categoría.

En la función proposicional "Para todo entero x vale que 2x + 1 es impar"... x es una variable ligada. 2 es la variable del predicado. x no es una variable. 2 es una variable libre. x es una variable libre.

Una propiedad de un circuito combinatorio es... No posee memoria. Poseer una función cuyas entradas son proposiciones. Posee memoria. Poseer un elemento cuyas entradas son proposiciones. Poseer un grupo cuyas entradas son proposiciones.

De las proposiciones categóricas "Todas las aves vuelan, los gorriones son aves", se concluye que... Los gorriones no vuelan. Las aves son gorriones. Los gorriones vuelan. Los gorriones son aves. Los gorriones no son aves.

Sea A={1, 3, 5, 7}, para que el complemento de A sea {2, 4, 6}, el conjunto referencial debe ser... U = {1, 3, 4, 6}. U = {1, 2, 3, 4, 5, 6}. U = {1, 2, 4, 5, 6}. U = {1, 2, 3, 4, 5}. U = {2, 3, 4, 5, 6}.

En la expresión "Para cualquier X, Y pertenece a X", podemos afirmar que... X no es una variable. Y no es una variable. Y es una variable ligada. X es una variable libre. X es una variable ligada.

Quién amplio el estudio de los conectivos lógicos ^(conjunción) y v(disyunción) de la lógica formal?. Boole. Grossman. Charman. Niceto. Al Gore.

Las compuertas OR y NOT en circuitos lógicos son análogas a... Los operadores + y ' en álgebra booleana. Los operadores ^ y / en álgebra booleana. Los operadores - y ' en álgebra booleana. Los operadores + y / en álgebra booleana. Los operadores ^ y - en álgebra booleana.

La unión de los conjuntos A={a, c, f, g} y B={c, f} es... A. B. {A, c, g}. {A, c, f}. {C, f, g}.

El cuantificador universal dice que... Toda la proposición es cierta aun por fuera del dominio. Todos los elementos del dominio de la variable cumple cierta propiedad. Todos los valores de la variable vive en un mismo dominio. Solo un valor de la variable hace valer como cierta la propiedad. Que ningún otro objeto o variable fuera del dominio cumple la propiedad.

La negación de la proposición categoría propuesta "Todo S es no(P o Q)" es... Ningún S es noP o no Q. Ningún S es P o Q. Ningún S es P o no Q. Ningún noS es noP o no Q. Ningún S es P o no Q.

Si A={1, 2, 3}, B={3, 4, 5} y C={1, 3, 5} entonces la intersección de los tres conjuntos es... {B}. {1}. {5}. {3}. {1, 2}.

La diferencia entre los conjuntos A={a, b, c, d, e, f} y B={a, c, f} es. {d, e}. {b, d, e}. {b, d, e, f}. {a, d, e}. {b, d}.

Una función proposicional es una variable.... Es un predicado que depende de una variable X en un dominio D. Es un predicado que depende de una proposición. Una función que toma una proposición P y devuelve un valor de verdad. Es un predicado que tiene un solo valor de verdad en su dominio. Una función que toma un valor de verdad y devuelve otra proposición.

Dado el siguiente diagrama, Cuál es la función booleana que lo representa?. (A.B)'.(C.D). (A+B)'.(C.D). (A-B)'.(C.D). (A.B)'.(C-D). (A.B)'.(C+D).

En la función proposicional "Para todo entero X vale que 2X es par"... 2 es la variable del predicado. X es una variable libre. X es una variable ligada. 2 es una variable libre. X no es una variable.

Siendo A y B las siguientes expresiones lógicas, Cuál es la opción correcta?. A y B son ambas, proposiciones. A es una proposición y B es función proposicional.

Seleccione las 3 opciones correctas, Una función proposicional necesita... Varios valores de verdad por cada combinación de valores de verdad de las proposiciones argumento. Una propiedad en el dominio. Varias proposiciones por cada combinación de entradas posibles. Un dominio. La propiedad además debe ser proposición sobre cada variable del dominio.

Seleccione 2 opciones correctas, Es posible que funciones proporcionales tengan la misma tabla de verdad y por tanto tengan representaciones distintas de una misma función proporcional. En esta situación se dice que las funciones proporcionales son igualmente expresiones. Considere la expresión proporcional F(P, Q) - P Q funciones lógicamente equivalente a F... U [P, Q] = no noP y noQ. U (P, Q) no (noP o Q). N[P y Q] - no (noP o Q). KK [PyQ] no (noP o Q). HEP (PyQ) = no (noP o Q).

Dados dos conjuntos A y B, entonces decimos que A esta contenido en B si. Para todo x en A entonces x pertenece a B. Para todo x en B entonces x no pertenece a A. Para todo x en A entonces x no pertenece a B. Para todo x en A entonces x pertenece a AUB. Para todo x en B entonces x pertenece a A.

Seleccione las 4 opciones correctas, Dada la expresión "Para todo par de números enteros impares m y n, vale que m + n es impar", entonces se puede sugerir como contraejemplos.... m= -1, n=7. m=5, n=-3. m=-6, n=5. m=-1, n=1. m=-3, n=3.

La negación de Algún S es P es Algún S no es no P... Verdadero. Falso.

Una formula es cerrada cuando... No tiene variables libres. Cuando el cuantificador es universal. Cuando no posee variables. Cuando el cuantificador es existencial. Cuando no tiene variables ligadas.

Una propiedad de un circuito combinatorio es. Que puede ser expresado mediante una función diferenciable. Que puede ser expresado mediante una función logarítmica. Que puede ser expresado mediante una función booleana. Que puede ser expresado mediante una función de la teoría de conjuntos. Que puede ser expresado mediante una función de la lógica proposicional.

Es posible que diferentes funciones proposicionales tengan la misma tabla de verdad para cada valor de x en un dominio D, y por tanto sean representaciones distintas de una misma función proposicional. En esta situación se dice que las funciones proposicionales son lógicamente equivalentes. De las siguientes funciones proposicionales Cuáles son lógicamente equivalentes?. Si x esta en el dominio D, no(P(x) y Q(x)), noP(x) y noQ(x). Si x esta en el dominio D, no(P(x) o Q(x)), noP(x) y noQ(x). Si x esta en el dominio D, (P(x) y Q(x)), noP(x) o noQ(x). Si x esta en el dominio D, no(P(x) y Q(x)), noP(x) o Q(x). Si x esta en el dominio D, no(P(x) o Q(x)), noP(x) o noQ(x).

Seleccione las 2 opciones correctas, Es posible que diferentes funciones proposicionales tengan la misma tabla de verdad y por 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)=PynoQ, entonces funciones lógicamente equivalentes a F son... N(P, Q)=no(noP o Q). H(P, Q)=no(noP o Q). G(P, Q)=no(noP o Q). L(P, Q)=no noP y noQ. L(P, Q)=no(noP o Q).

En la función proposicional "Para todo entero x vale que 2x + 1 es impar"... 2 es una variable libre. x es una variable ligada. x es una variable libre. x no es variable. 2 es la variable del prediado.

Una formula deja de ser cerrada cuando... Alguna variable no esta ligada. Cuando el cuantificador es universal. Cuando no posee variables. Cuando tiene todas las variables ligadas. Cuando el cuantificador es existencial.

Una propiedad de un circuito combinatorio es... Poseer memoria. Poseer una función cuyas entradas son proposiciones. Poseer una función logarítmica que lo modela. No cambiar de estado. Que no poseen memoria.

Una proposición categórica consiste... Afirma la e existencia de categorías S y P. De al menos dos categorías S y P, y una afirmación sobre si los elementos de S están incluidos en P. Que relaciona categorías S y P mediante algún orden. Afirma sobre las propiedades de una categoría. Afirma sobre los sujetos de una categoría.

Seleccione las 4 opciones correctas, Dada la expresión "Para todo par de números enteros primos p y q, vale que pq es impar", entonces podemos sugerir como ejemplos de satisfactibilidad... P=3, Q=-11. P=3, Q=17. P=-7, Q=5. P=2, Q=5. P=3, Q=5.

Para definir una función proposicional en una variable se necesita... Un predicado que no depende de un dominio. Una función que toma una proposición P y devuelve un valor de verdad. Un predicado que tiene un solo valor de verdad en su dominio. Una oración P(x) que toma un valor de verdad de x y devuelve otra proposición. Una oración P(x) que incluye la variable x y D un conjunto en el cual vive x.

Las compuertas AND y NOT en circuitos lógicos son análogos a... Los operadores de producto y ' en un álgebra booleana. Los operadores de división y ' en un álgebra booleana. Los operadores de suma y ' en un álgebra booleana. Los operadores de resta y ' en un álgebra booleana. Los operadores de producto y * en un álgebra booleana.

De la expresión para todo x e y en D vale la propiedad P(x, y, z) podemos decir que... x, z son variables libres. x e y son variables libres. z es una variable ligada. y, z son variables ligadas. z es una variable libre.

En la expresión "Para cualquier x, y es mas grande que x", podemos afirma que... Y no es variable. Y no es una variable ligada. X no es variable. P(x, y) es y<x. Y es una variable ligada.

Dispositivos de estado sólido que son capaces de cambiar los niveles de voltaje (bits) es... Una compuerta. Una fuente. Un foco. Un cable. Un nodo.

Un contraejemplo para una fórmula proposicional es... El reciproco de un ejemplo. Un conjunto de valores para las variables que hacen falsa la fórmula proposicional. El contra-reciproco de un ejemplo en una implicación. Un ejemplo que cumple la función proposicional. Un ejemplo al revés.

La negación de Algún S no es P es Algún S es P... Verdadero. Falso.

De la expresión "Para todo x en D, y para todo y en E, vale la propiedad P(x, y, z)" podemos decir que... X y z pertenecen al dominio D. X e y pertenecen a distintos dominios. Z pertenece al dominio D. Z no pertenece al dominio D. X e y pertenecen al mismo dominio.

En al expresión "Para cualquier x en los reales, y<x", podemos afirmar que... El dominio de la variable y es los números enteros. Y no es variable. X es una variable libre. Y es una variable ligada. P(x, y) es y<x.

Una función proposicional es... Una función que devuelve varias proposiciones. Una función cuyas variables son valores de verdad. Una función cuyas variables son proposiciones. Una función cuya salida son valores de verdad. Una estructura con un dominio D, y una propiedad P(x), tal que para cada x en D P(x) es una proposición.

De las premisas "Todos los griegos son inteligentes, Aristóteles es griego", se concluye que... Todos los griegos son inteligentes. Aristóteles no es inteligente. Aristóteles no es griego. Aristóteles es inteligente. Aristóteles es griego.

La negación de la proposición categoría compuesta "Ningún S es P o noQ" es... Todo noS es noP o Q. Todo S es P y Q. Todo noS es P y no Q. Todo S es noP y Q. Todo S es noP o no Q.

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. Para todo natural existe otro entero tal que el producto de ellos es par. Para todo entero existe otro entero tal que el producto de ellos es par. Para todo natural existe otro real tal que el producto de ellos es par. Para todo real existe otro natural tal que el producto de ellos es impar.

Ningún S es P. Forma I. Forma E. Forma O. Forma A. No es una forma.