La intersección de los conjuntos A = {1, 3, 6, 7, 9} y B = {3, 6, 5, 9} es: {3, 6, 9} {1, 5, 7} {5, 6, 9} {1, 3, 6}.
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 y sugieren el método a seguir. Los diagramas de Venn no constituyen una demostración definitiva, aunque no sugieren el método a seguir. Los diagramas de Venn constituyen una demostración definitiva, aunque no sugieren el método a seguir.
El conjunto de los números enteros cuyo valor absoluto es menor a 3 son:
(Sugerencia: el valor absoluto de un número deja al mismo numero pero con signo). {-2, -1, 0, 1, 2} {2, 1, 0, 1, 2} {-2, 1, 0, -1, 2} {2, -1, 0. 1, -2}.
¿Cuáles de los siguientes sistemas constituyen Algebras de Boole? La teoría de conjuntos y el calculo proposicional. La teoría de conjuntos. El calculo proposicional. La teoría de conjuntos y y sus propiedades.
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 lijar la variable Z y la formula se vuelve cerrada. Es una fórmula cerrada. Es una fórmula abierta. Es una fórmula vacua.
El cuantificador existencial sirve para: Garantizar que algún elemento del dominio de la variable cumple cierta propiedad. 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. Respaldar que una propiedad existe.
La diferencia entre los conjuntos A = {a, b, c, d, e, f} y B = {a, c, f} es: {B, d, e} {A, d, e} {b, d} {a, d}.
Una proposición categórica consiste en: Dadas, al menos 2 categorías S y P y una afirmación sobre si los elementos de S están incluidos en P. Relacionar categorías S y P mediante algún orden. Afirmar la existencia de categorías S y P. Afirmar sobre las propiedades de alguna categorías.
Una función proposicional en una variable es: Es un predicado que depende de una variable X en un dominio D. Es un predicado que tiene un solo valor de verdad en su dominio. Una función que toma una proposición P y devuelve un valor de verdad. Una función que toma un valor de verdad y devuelve otra proposición.
Dispositivos de estado sólido que son capaces de cambiar los niveles de voltaje (bits). Una compuerta. Un voltaje. Una puerta. Un bits.
En la expresión "Para cualquier X, Y pertenece a X". Podemos afirmar que: X es una variable ligada. Y es una variable ligada. X no es variable. Y no es variable.
Una función proposicional tiene por ventaja que: Incluye muchas proposiciones en función de sus variables. Incluye pocas proposiciones en función de sus variables. Incluye pocas proposiciones. Incluye muchas proposiciones.
Las variables individuales: Representan elementos o individuos indeterminados del universo. Representan solo individuos indeterminados del universo. Representan solo elementos. Representan elementos y individuos indeterminados del universo.
En un diagrama de Venn: El conjunto universal suele encerrarse en un rectángulo y los demás conjuntos en círculos. El conjunto universal suele encerrarse en un cuadrado y los demás conjuntos en círculos. El conjunto universal suele encerrarse en un rectángulo y los demás conjuntos en óvalos. El conjunto universal suele encerrarse en un cuadrado y los demás conjuntos en óvalos. .
El cuantificador "Existe un único" indica que: Estrictamente un elemento del dominio de la variable cumple cierta propiedad. Estrictamente un elemento del conjunto de la variable cumple cierta propiedad. Estrictamente un elemento del dominio de la variable no cumple cierta propiedad. Estrictamente un elemento del conjunto de la variable no cumple cierta propiedad.
Dados dos conjuntos A y B tal que A esta contenido en B, entonces A intersectado B es: A B A-B B-A.
Un diagrama de Venn puede ser: Una representación grafica de conjuntos en rectángulos y círculos. Una representación grafica de conjuntos en cuadrados y círculos. Una representación grafica de conjuntos en cuadrados y óvalos. Una representación grafica de conjuntos en rectángulos y óvalos.
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 vocales cerradas. El conjunto de las vocales abiertas. El conjunto de las vocales que no figuran en el nombre de Yirana.
La negacion 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 par. Para todo natural existe otro entero tal que el producto de ellos es par. Para todo natural existe otro entero tal que el producto de ellos es impar.
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).
Algún S no es P. Forma O. Forma P. Forma Y. Forma H.
¿Cuál es la proposición equivalente a "Ningún buen auto es portugués" No existen buenos autos que sean portugueses. Existen buenos autos y que sean portugueses. Existen autos que no son buenos y son portugueses. No existen autos que no son buenos y son portugueses.
La negación de la proposición categórica compuesta "Todo S∧Q es ¬P" es: Ningún S∧Q es P. S∧Q es P. S∨Q no es P. Ningún S∨Q es P.
La unión de los conjuntos A = {a, c, f, g} y B = {c, f} es: A B {c, g} {a, f}.
La función booleana F(x, y, z) = x´(y + z)´ coincide con la función booleana: l(x, y, z) = x´(y´z´) (x, y, z) = x´(y) l(x, y, z) = z´(x´) (x, y, z) = y´(z´x´).
En la función proposicional "Para todo entero X vale que 2x es par". X es una variable libre. X es una variable cerrada. 2 es una variable libre. 2 es una variable cerrada.
Considere un programa de computación al cual debe elegir al azar dentro de un grupo de 5 objetos enumerados del 1 al 5, si asumimos como variables x₁, x₂, x₃, x₄ y x₅ donde cada variable x₁ toma el valor 1 si el objeto 1 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 continúa el programa, en caso contrario pone un cero y repiten el proceso. Entonces vale que: F(1,0,0,1,0) = 0 F(0,1,0,1,0) = 0 F(1,0,0,1,0) = 1 F(0,1,0,1,0) = 1.
De la expresión "Para todo entero primo P, P+1 es par" entonces podemos sugerir como ejemplo de satisfactibilidad.
CUATRO RESPUESTAS CORRECTAS. P = -5 P = 11 P = 7 P = 3 P = 2 P = 4.
Algún S es P. No es una forma. Forma I. Forma O. Forma A.
El conjunto A = {2, 3, 5, 7} se puede describir como: El conjunto de número primos menores que 10. El conjunto de número impares menores que 10. Los entero positivos más pequeños. El conjunto de número pares menores que 10.
En la función proposicional "Para todo entero X vale que 2x + 1 es impar" es: X es una variable ligada. X es una variable libre. X no es una variable. X es una variable del prediado. .
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} {d}.
Las compuertas OR y NOT en circuitos lógicos son análogos a: Los operadores + Y ´ en un algebra booleana. Los operadores + X ´ en un algebra booleana. Los operadores + Y ´ en un algebra int. Los operadores + X ´ en un algebra int.
Una función proposicional necesita.
TRES OPCIONES CORRECTAS. Un dominio. Una propiedad en el dominio. La propiedad además debe ser proposición sobre cada variable del dominio. Un rango. La propiedad además debe ser proposición sobre cada variable.
La negación de "Para todo numero racional existe un numero entero que lo supera" es: Existe un numero racional tal que para todo numero entero el racional no es superado por el. Existe un numero real tal que para todo numero entero el racional no es superado por el. Existe un numero entero tal que para todo numero entero el racional no es superado por el. Existe un numero natural tal que para todo numero entero el racional no es superado por el.
La compuerta OR solo posee valor al menos una entrada es uno. Falso. Verdadero.
"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. La primera no es una función proposicional mientras que la segunda si lo es. La primera no es una función proposicional mientras que la segunda tampoco.
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} U = {2, 3, 5, 6, 7} U = {1, 2, 3, 4, 5, 6} U = {1, 3, 4, 5, 7}.
La negación de "No existe un duende que es enano" es: Existe un duende que es enano. No existen enanos que son duendes. Ningún enano es un duende. Todos los enanos son un duende.
La compuerta OR solo posee valor 1 cuando sus entradas son ambas 1. Falso. Verdadero.
Dada la expresión "Para todo par de numero enteros impares M y N vale que M+N es impar" entonces podemos sugerir como contraejemplos.
CUATRO RESPUESTAS CORRECTAS. M = -1, N = 7 M = -3, N = 3 M = 5, N = -3 M = -1, N = 1 M = -6, N = 5 M = -7, N = -1.
El cuantificador es necesario ya que: Permite agrupar muchas mas proposiciones en términos de variables y decidir que tanto ocurre su valor de verdad. Cuenta 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. Cuenta cuantas veces la una propiedad falla por fuera del dominio.
Dada la expresión "Para todo par de números enteros primos P∧Q vale que PQ es impar" entonces podemos sugerir como contraejemplos.
CUATRO OPCIONES CORRECTAS. P = 3, Q= -2 P = 2, Q= 17 P = 3, Q= 2 P = -2, Q= 5 P = 3, Q= 9 P = 9, Q= -2.
Si A = {1, 2, 3}, B = {3, 4, 5} y C = {1, 3, 5} entonces la intersección de los tres conjuntos es: {3} {1} {5} {4}.
Un ejemplo que cumple la función proposicional es: Todos los griegos son mentirosos. ¿Salió el sol todos los días? ¿Para cada entero X, X+1 es entero? ¡Esta lloviendo todos los días!.
Un ejemplo de proposición categórica particular negativa es: Algunos griegos no son patriotas. Algunos griegos son patriotas. Matías no es una abeja. Matías es una abeja. .
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 pertenece a A. Para todo X en A entonces no X pertenece a B. Para todo X en B entonces no X pertenece a A.
La operación producto en un algebra 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 de la disyunción 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. Al conector de la operación de Intersección en la teoría de conjuntos.
La negación de algún S no es P es algún S es P: Falso. Verdadero. .
En la expresión "Para cualquier X, Y pertenece a X". Podemos afirmar que: X es una variable libre. Y es una variable libre. X no es una variable. Y no es una variable.
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 función proposicional. En esta situación se dice que las funciones proposicionales son lógicamente equivalentes. De las siguientes funciones proposicionales cuales son lógicamente equivalentes. Si X esta en el dominio D, ¬(P(X)∧Q(X)), ¬P(x)∨¬Q(x) Si Y esta en el dominio D, ¬(P(X)∧Q(X)), ¬P(x)∨¬Q(x) Si X esta en el dominio D, (P(X)∧Q(X)), P(x)∨¬Q(x) Si Y esta en el dominio D, (P(X)∧Q(X)), ¬P(x)∨Q(x).
Una función proposicional cumple.
TRES OPCIONES CORRECTAS. Tener un único valor de verdad por cada combinación de valores de verdad de las proposiciones argumento. Devolver una proposición. Sus argumentos son proposiciones. Devuelve varias proposiciones por cada combinación de entradas posibles. Devuelve varios valores de verdad por cada combinación de valores de verdad de las proposiciones argumento.
Las compuertas AND Y NOT en circuitos lógicos son análogos a: Los conectores "y" y "no" de la lógica proposicional. Los conectores "y" y "y" de la lógica proposicional. El conector "no" de la lógica proposicional. El conector "y" de la lógica proposicional.
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:
DOS RESPUESTAS CORRECTAS. L (P, Q) = ¬(¬P∧¬Q) H (P, Q) = ¬(¬P∨Q). G (P, Q) = (¬P∨Q) N (P, Q) = ¬(P∧¬Q).
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 U es {1, 6} El complemento de B es {3, 8} El complemento de U es {5,7}.
La intersección de los conjuntos A = {-1, 3, -6, 7, 9} y B = {3, 6, 5, 9} es: {3, 9} {-1, 6} {3, -6} {-2, 5}.
A partir de los axiomas que definen un algebra de Boole se pueden demostrar una serie de postulados o teoremas que se incorporan a las leyes enunciadas entre ellas: En todo algebra de Boole se cumplen las leyes de Morgan. En todo algebra de Boole no se cumplen las leyes de Morgan. En todo algebra de Boole se cumple las leyes del álgebra de conjuntos. En todo algebra de Boole no se cumple las leyes del álgebra de conjuntos.
Indique cual es la proposición equivalente a "Algunos comerciantes son deshonestos". No todos los comerciantes son honestos. No todos los comerciantes son deshonestos. Todos los comerciantes son honestos. Todos los comerciantes son deshonestos.
Dado los conjuntos A = {1, 3, 6, 7, 9} B = {3, 6, 5, 9} La diferencia A-B entre los conjunto es: {1, 7} {3, 7} {3, 9} {1, 9}.
"Entre las reglas para la formación de proposiciones que involucren funciones para asegurarnos que se encuentran bien formadas, se encuentran entre otras": Todas son correctas. (INCOMPLETO) .
La negación de la proposición categoría propuesta "Algún SyQ es noP" es: Algún S∧Q no es P. Algún ¬S∧Q no es P. Algún S∧Q es P. Algún ¬S∧Q es P.
De 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. X 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. La asociatividad de la conjunción. .
El cuantificador universal dice que: Todos los elementos del dominio de la variable cumple cierta propiedad. Ningún otro objeto o variable fuera del dominio cumple la propiedad. Todos los valores de la variable vive en un mismo dominio. Solo un valor de la variable hace valer como cierta la propiedad.
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 "dos" los elementos del universo. El argumento resume a "dos o más" los elementos del universo.
Las variables individuales: Representan elementos o individuos indeterminados del universo. Representan elementos. Representan individuos indeterminados del universo. Representan elementos del universo.
En la imagen siguiente el valor de Y es: 1 0 No es un circuito lógico. Falta información. .
Si A y B son los dos elementos de un algebra booleana entonces es cierto que:
CUATRO OPCIONES CORRECTAS. a´b´ = (a + b)´ ab = ba (ab)´ = a´ + b´ a + b = b + a. ba = ac ab = db.
La siguiente proposición: "Algunos animales son vertebrados" es equivalente a: Todos los animales no son vertebrados. Algunos los animales no son vertebrados. Dos los animales no son vertebrados. Ninguno los animales no son vertebrados.
A partir de los axiomas se pueden demostrar una serie de postulados o teoremas que se incorporan a las leyes de algebra de Boole, entre ellas se pueden mencionar: Todas son correctas. (INCOMPLETO).
Una compuerta lógica OR: Es una compuerta que devuelve un 1 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 0. Siempre arroja valores 1. Siempre arroja valores 0.
Constituye un ejemplo de proposición predicativa: Martín estudia. ¿!Llovió!? !Qué alegría! Sócrates es filósofo, por lo tanto, es mentiroso. !Tengo hambre!.
El complemento de el complemento de un conjunto resulta ser el conjunto, esto es debido a: La propiedad de la doble negación en lógica proposicional. La idempotencia de la conjunción en la lógica proposicional. Que el conjunto es diferente al conjunto universal. Que el conjunto universal contiene al conjunto.
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 a mismos dominios. X e Y no pertenecen a distintos dominios. X e Y pertenecen a algunos dominios.
La negación de la proposición categórica compuesta "Algún S∨Q es ¬P" es: Algún S∨Q es P. Algún S∨Q es ¬P. Algún ¬S∧Q es ¬P. Algún ¬(S∨Q) es P.
Cual de las siguientes expresiones del lenguaje expresa que: "Todos los ángeles son invisibles". Cada ángel es invisible. Cada ángel no es invisible. Un ángel es visible. Un ángel es invisible. .
Una formula proposicional se satisface si: Toma el valor de verdad verdadero para alguna interpretación. Toma el valor de verdad falso para alguna interpretación. Toma el valor de falsedad verdadero para alguna interpretación. Toma el valor de falsedad falso para alguna interpretación.
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 formula cerrada. Es una formula abierta. Es una formula semiabierta. Es una formula semicerrada.
La negación de la proposición categoría compuesta "Todo S es no(P∨Q)" es: Ningún S es P∨Q. Algún S es P∨Q. Ningún S es ¬P∨Q. Algún S es ¬P∨Q.
¿Quién amplió el estudio de los conectivos lógicos (conjunción) y (disyunción) de la lógica formal? Boole. Venn. Bigollo. Mileto.
La negación de Algún S es P es algún S no es P. Falso. Verdadero.
Un contraejemplo para una formula proposicional es: Un conjunto de valores para las variables que hacen falsa la formula proposicional. Un conjunto de valores para las variables que hacen verdadera la formula proposicional. Un solo valor para las variables que hacen falsa la formula proposicional. Un solo valor para las variables que hacen verdadera la formula proposicional.
Una propiedad de un circuito combinatorio es: No posee memoria. Posee memoria. Poseer una función cuyas entradas son proposiciones. No poseer una función cuyas entradas son proposiciones.
De las proposiciones categóricas "Todas las aves vuelan, los gorriones son aves". Se concluye que: Los gorriones vuelan. La aves vuelan. Los gorriones no son aves. Las aves no son gorriones. .
La importancia de el dominio de un cuantificador es: Conocer al menos donde la función proposicional al menos tiene sentido. No conocer si la función proposicional tiene sentido. Conocer si la función proposicional tiene sentido. No conocer sal menos donde la función proposicional no tiene sentido. .
La operación suma en un algebra de Boole es 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 operación de el complemento en la teoría de conjuntos. Al conector de la conjunción en lógica proposicional y a la operación de el complemento en la teoría de conjuntos.
La negación de la proposición categórica compuesta "Ningún S es P y ¬Q" es: Todo S es ¬P∨Q. Ningún S es ¬P∨Q. Algún S es ¬P∨Q. Dos S es ¬P∨Q.
La distributividad 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 disyunció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 negación respecto de la disyunción, en la lógica proposicional. La distributividad de la afirmación respecto de la disyunción, en la lógica proposicional.
Considere un programa de computación al cual debe elegir al azar dentro de un grupo de 5 objetos enumerados del 1 al 5, si asumimos como variables x₁, x₂, x₃, x₄ y x₅ donde cada variable xᵢ 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 0 y repiten el proceso. Entonces vale que: F(1, 1, 1, 0, 1) = 1 F(1, 1, 1, 0, 1) = 0 F(1, 0, 1, 0, 1) = 1 F(1, 0, 1, 0, 1) = 0.
Un cuantificador es una expresión que indica: La cantidad de veces que un predicado o propiedad P se satisface dentro de un dominio. Es una ligadura de una variable con una proposición. La decisión si algo pasa o no a su vez. Cuantas veces una propiedad falla por fuera del dominio.
Dada la función booleana F(X,Y) = (X Y) uno puede decir que:
CUATRO OPCIONES CORRECTAS. F(0, 0) = 0 F(0, 1) = 0 F(1, 0) = 0 F(1, 1) = 1 F(0, 0) = 1 F(0, 1) = 1.
La negación de la proposición categórica compuesta "Algun SoQ es P" es: Algún SoQ no es no P. Algún noSoQ no es P. Algún no(S o Q) es no P. Algún (S o Q) es P.
Entre el algebra booleana y la teoría de conjuntos uno tiene ciertas analogías, entre ellas están:
CUATRO OPCIONES CORRECTAS. La distributividad de 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 de conjuntos. El operador + es análogo al operador unión. El operador producto es análogo al operador de intersección. El operador que cambia el valor booleano es análogo al operador complemento. Los operadores producto y suma son análogos a los operadores de unión e intersección respectivamente. El operador producto es análogo al operador de conjunción.
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 P y una propiedad P(x), tal que para cada X en 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. Una estructura con un dominio P y una propiedad P(x), tal que para cada Y en P(x) es una proposición.
Todo S es P. Forma A. No es una forma. Forma I. Forma E.
Dado un circuito lógico. Su tabla lógica es la lista todas las entradas posibles (entre ceros y unos) junto con la salidas producidas (de ceros a unos). Su tabla lógica es la lista todas las entradas posibles (todos los números naturales) junto con la salidas producidas. Su tabla lógica es la lista todas las entradas posibles (enteros positivos) junto con la salidas producidas (infinitos). Su tabla lógica es la lista todas las entradas posibles (racionales) junto con la salidas producidas.
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. La idempotencia de la conjunción en la lógica proposicional. Por ser el complemento de la intersección. Ya que si P es una proposición entonces P unido a P es P.
El algebra de Boole contiene:
TRES RESPUESTAS CORRECTAS. Un conjunto de dos elementos {0, 1}. Un operador unitario { ´ }. Dos operadores binarios {+, ´}. Dos operadores binarios {-, +}. Un conjunto de dos elementos {2, a}.
De la función proposicional: los números primos son impares, podemos decir: Es satisfactible. No es satisfactible. Es verdadera. Es falsa.
A partir de los axiomas se pueden demostrar una serie de postulados o teoremas que se incorporan a las leyes de algebra de Boole, entre ellas se pueden mencionar: Todas las opciones son correctas. (INCOMPLETO) .
Para definir una función proposicional en una variable se necesita: Una oración P(x) que incluye la variable X y D un conjunto en el cual vive X. Una oración P(x) que incluye la variable X y D un conjunto en el cual vive Y. Una oración P(x) que incluye la variable X y Y un conjunto en el cual vive D. Una oración P(x) que incluye la variable X y D un conjunto en el cual vive E.
La diferencia simétrica de los conjuntos A = {1, 3, 6, 7, 9} y B = {3, 6, 5, 9} es: {1, 5, 7} {1, 3, 9} {5, 6, 9} {1, 3, 5}.
Siendo A y B las siguientes expresiones lógicas: A = [Ǝ x, q(x)] v [∀ x, q(x)] v s, B [∀ x, q(x)] <-> m (x). ¿Cuál es la opción correcta? A es una proposición y B es función proposicional. B es una proposición y A es función proposicional. A no es una proposición y B es función proposicional. A es una proposición y B no es función proposicional.
|
