Lógica simbólica- 2do Parcial

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. Decide si algo pasa o no una vez. Cuenta la cantidad de veces que un predicado o propiedad P debe ensayarse para que sea cierta en un determinado dominio. Cuenta cuantas veces la una propiedad falla por fuera del dominio. Es una ligadura de una variable con una proposición.

El cuantificador existencial dice que... Algún elemento del dominio de la variable cumple cierta propiedad. Hay una crisis existencial en una proposición. Una propiedad existe por fuera del dominio de la variable. En algún dominio hay una variable que cumple la propiedad indicada. No necesitamos el dominio de la variable, total, la proposición es cierta.

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

La importancia de el dominio de un cuantificador es... Conocer al menos donde la función proposicional tiene sentido. Conocer donde no vale la propiedad. Informar cual es el único conjunto donde vale la función proposicional. Dominar el valor de verdad de la propiedad a la cual se hace referencia. Saber donde debe hacerse el cálculo de la propiedad.

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

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

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. Existe un número natural tal que para todo número natural el natural no es superado por él. Existe un número real tal que para todo número real el real no es superado por él. Existe un número real tal que para todo número natural el real es superado por él. Existe un número real tal que para todo número real el real es superado por él.

La negación de que 'existe un entero tal que para todo otro real el producto entre los dos es par ' es... Para todo entero existe otro real tal que el producto de ellos es no es par. Para todo entero existe otro entero 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 natural tal que el producto de ellos es impar. Para todo entero existe otro entero tal que el producto de ellos es par.

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. La decisión si algo pasa o no una vez. La cantidad de veces que un predicado o propiedad P debe ensayarse para que sea cierta en un determinado dominio. Cuantas veces la una propiedad falla por fuera del dominio. Es una ligadura de una variable con una proposición.

El cuantificador existencial sirve para... Garantizar que algún elemento del dominio de la variable cumple cierta propiedad. Soportar una crisis existencial de una proposición. Avisar que una propiedad existe. Informar que en algún dominio hay una variable que cumple la propiedad indicada. Garantizar la existencia de un valor de verdad para la variable.

El cuantificador universal sirve para... Garantizar que todos los elemento del dominio de la variable cumple cierta propiedad. Garantizar que todos los valores de la variable vive en un mismo dominio. Garantizar que toda la proposición es cierta. Garantizar que ningún otro objeto o variable fuera del dominio cumple la propiedad. Para garantizar que solo un valor de la variable hace valer como cierta la propiedad.

El cuantificador "existe un único" indica que: Que estrictamente un elemento del dominio de la variable cumple cierta propiedad. Muchos valores de el dominio de la variable cumplen cierta propiedad. Que estrictamente algunos valores del dominio de la variable cumplen cierta propiedad. Que uno y posiblemente dos valores de la variable cumplen cierta propiedad.

El dominio de un cuantificador sirve para... Saber donde vive la variable a la que hace referencia el cuantificador. Dominar a la variable del cuantificador. Dominar a la proposición que contiene a la variable. Dominar el valor de verdad de la propiedad a la cual se hace referencia. Dominar el mundo.

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

La negación de 'existe un duende que es enano' es... Todos los duendes no son enanos. Todos los enanos son duendes. Todos los enanos no son duendes. Existen enanos duendes. Existen enanos que no son duendes.

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

La negación de "existe un natural tal que para todo otro natural el producto entre los dos es par" es... Para todo natural existe otro natural tal que el producto de ellos es impar. Para todo entero existe otro entero 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 natural tal que el producto de ellos es impar. Para todo entero existe otro entero tal que el producto de ellos es par.

Una fórmula deja de ser cerrada cuando... Alguna variable no está ligada. Cuando tiene todas las variables ligadas. Cuando el cuantificador es universal. Cuando el cuantificador es existencial. Cuando no posee variables.

El cuantificador "existe un único" indica que: Que estrictamente un elemento del dominio de la variable cumple cierta propiedad. Muchos valores de el dominio de la variable cumplen cierta propiedad. Que estrictamente algunos valores del dominio de la variable cumplen cierta propiedad. Que uno y posiblemente dos valores de la variable cumplen cierta propiedad. Que ningún valor de la variable cumple la propiedad.

Una función proposicional necesita. Seleccione las 3 (tres) respuestas correctas... Un dominio. Una propiedad en el dominio. La propiedad además debe ser proposición sobre cada variable del 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.

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)=noPoQ, entonces funciones lógicamente equivalentes a F son. Seleccione las 2 (dos) respuestas correctas. M(P,Q)= P=>Q. L(P,Q)= noQ=>noP. O(P,Q)=no(noP o Q). Ñ(P,Q)=no(noP o Q). N(P,Q)=no(noP o Q).

Una función proposicional cumple... Seleccione las 3 (tres) respuestas correctas. Sus argumentos son proposiciones. Tener un único valor de verdad por cada combinación de valores de verdad de las proposiciones argumento. Devolver una proposición. 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.

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: Seleccione las 2 (dos) respuestas correctas. L(P,Q)=no noP y noQ. H(P,Q)=no(noP o Q). L(P,Q)=noP o Q. G(P,Q)=no(noP y noQ). N(P,Q)=no(noP y Q).

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

De la formula ( para todo x e y en D)( vale la propiedad P(x,y,z)) podemos decir que: Es una formula abierta. X e y son variables libres. X, z son variables libres. Y, z son variables ligadas. Es una formula cerrada.

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. X e y son variables libres. X, z son variables libres. Y, z son variables del mismo dominio. Es una fórmula abierta.

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. X e y pertenecen al mismo dominio. X y z pertenecen al dominio D. Z pertenece al dominio D. Z no pertenece al dominio D.

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 formula se vuelve cerrada. Es una formula cerrada. Es una formula abierta y cerrada. Es una función proposicional. Es una formula vacua.

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

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

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 ligadas. x, z son variables libres. y, z son variables ligadas. z es una variable ligada.

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. El dominio D pertenece a x e y. x y z pertenecen al dominio D. z pertenece al dominio D. z no pertenece al dominio D.

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 abierta y cerrada. Es un función proposicional. Es una formula vacua.

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

La negación de "Algún S es P" es "Algún S no es P"... Falso. Verdadero. La verdad ni idea.

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

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

En la función proposicional: para todo todo entero x vale que 2x es par. x es una variable ligada. x no es variable. x es una variable libre. 2 es la variable del prediado. 2 es una variable libre.

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

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. Afirma la existencia de categorías. Que relaciona categorías mediante algún orden. Afirma sobre la propiedades de una categoría. Afirma sobre los sujetos de una categoría.

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

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

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

Dada la expresión 'Para todo entero primo p, p+1 es par' entonces podemos sugerir como ejemplos de satisfactibilidad .Seleccione las 4 (cuatro) respuestas correctas. P=-3. P=-7. P= 5. P=11. P=-2.

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. Seleccione las 4 (cuatro) respuestas correctas. p=17, q=2. p= -2, q=11. p=13, q= -2. p=2, q=7. p=-3, q=5.

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

Dada la expresión 'Para todo entero primo p, p+1 es par' entonces podemos sugerir como ejemplos de satisfactibilidad. Seleccione las 4 (cuatro) respuestas correctas. P=3. P=7. P=-5. P=11. P=2.

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

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. Seleccione las 4 (cuatro) respuestas correctas. P=3, q=5. P= -7, q=5. P=3, q= -11. P=3, q=17. P=2, q=5.

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. Seleccione las 4 (cuatro) respuestas correctas. p=3, q=2. p= -2, q=5. p=3, q= -2. p=2, q=17. p=-3, q=5.

Dada la expresión 'Para todo par de números enteros impares m y n vale que m+n es impar' entonces podemos sugerir como contraejemplos. Seleccione las 4 (cuatro) respuestas correctas. m=3, n=5. m= -3, n=5. m=3, n= -3. m=-1, n=17. m=-8, n=3.

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

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

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

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

Una fórmula proposicional se satisface... Si toma el valor de verdad verdadero para alguna interpretación. Si nunca toma el valor de verdad verdadero para su interpretación. Si nunca toma el valor de verdad verdadero para todas sus interpretaciones. Si siempre toma el valor de verdad falso para su interpretación. Si no se sabe sus valores de verdad.

De la función proposicional : los números primos son impares, podemos decir que... Es satisfacible. Es verdadera. No tiene contraejemplos. Es una falacia. Es una tautología.

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

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

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

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

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

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 S es P o no QQ. Todo S es Po no Q. Todo no S es P o noQ.

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 SyQ es P. Algún no(S o Q) es no P. Algún noS o noQ es no P. Todo SyQ es no P.

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

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

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

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

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

La negación de la proposición categoría compuesta "Algún SyQ es P" es... Algún SyQ no es no P. Algún SyQ es P. Algún no(SyQ) es no P. Algún noS o noQ es no P. Todo SyQ es no P.

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

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

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

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

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

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

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

Una compuerta es. Dispositivos de estado sólido que son capaces de cambiar los niveles de voltaje (bits). Dispositivos de estado sólido que son capaces de guardar memoria. Dispositivos de estado sólido que son capaces de olvidar información. Un nodo en un circuito. Un cable en un circuito.

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