Test 1

Pregunta 1
0.02 / 0.02 pts
¿Cuál es el objeto de estudio de la lógica?

  
El razonamiento.
 

  
La vaguedad.
 

  
El lenguaje.
 

  
A, B y C son correctas.
 
 
Pregunta 2
0.02 / 0.02 pts
¿Qué tipo de razonamiento garantiza que la conclusión sea necesariamente
verdadera siendo verdaderas las premisas?

  
El razonamiento inductivo.
 

  
El razonamiento deductivo.
 

  
El razonamiento abductivo.
 
 
Pregunta 3
0.02 / 0.02 pts
Indica qué tipo de razonamiento ejemplifican los siguientes pasajes:
La mayoría de los peces tienen escamas. Por lo tanto, todos los peces tienen
escamas
 
Inductivo
             
Han visto a John paseando con Mathew cinco minutos antes de ser asesinado.
Luego, John es el asesino
 
Abductivo
             
Todos los hombres son mortales. Sócrates es hombre. Por lo tanto, Sócrates es
mortal
 
Deductivo
             
 
Pregunta 4
0.02 / 0.02 pts
¿Cuáles son los componentes fundamentales de un sistema lógicoformal o cálculo
lógico?

  
El vocabulario y las reglas de formación.
 

  
Los axiomas.
 

  
El lenguaje formal y el mecanismo deductivo.
 

  
Los axiomas y las reglas de transformación.
 
 
Pregunta 5
0.02 / 0.02 pts
¿Qué lógica consideran solamente dos valores de verdad en su semántica?

  
La lógica borrosa.
 
   
La lógica bivalente.
 

  
Ninguna de las dos anteriores.
 

  
Todas las lógicas que existen son bivalentes.
 
 
Pregunta 6
0.02 / 0.02 pts
¿Cuáles de estas afirmaciones son verdaderas?

  
El razonamiento abductivo es aquel en el que la conclusión es una conjetura que se
obtiene a partir de las premisas.
 

  
Ninguna lógica se encarga de estudiar la relación entre las premisas y la conclusión
de un argumento.
 

  
El razonamiento inductivo es aquel en el que la conclusión no se sigue de las
premisas.
 

  
En los razonamientos deductivos válidos la conclusión se sigue necesariamente de
las premisas.
 
 
Pregunta 7
0.02 / 0.02 pts
¿Cuáles de estos fenómenos sirven para justificar la existencia de una nueva lógica?

  
La consideración de una nueva expresión como expresión lógica.
 
   
El descubrimiento de un nuevo tipo de razonamiento.
 

  
La aparición de nuevos valores semánticos o nuevas formas de tratarlos.
 

  
La aparición de un nuevo estudioso de la lógica famoso.
 
 
Pregunta 8
0.02 / 0.02 pts
¿Qué tipo de razonamiento garantiza la verdad de la conclusión?

  
El razonamiento deductivo.
 

  
El razonamiento inductivo.
 

  
El razonamiento abductivo.
 

  
Ninguno de los anteriores.
 
 
Pregunta 9
0.02 / 0.02 pts
Cuando razonamos de manera abductiva:

  
Estamos diciendo cosas falsas y confusas.
 

  
Estamos estableciendo relaciones de probabilidad.
 
   
Estamos estableciendo relaciones de necesidad.
 

  
Estamos conjeturando.
 
 
Pregunta 10
0.02 / 0.02 pts
¿Cuáles de estas afirmaciones son verdaderas?

  
Aristóteles, fundador de la lógica, no utilizó este término, sino el término organon,
que significa instrumento.
 

  
La palabra «lógica» se deriva del término logos, por tanto, «lógica» significa lo
relativo al logos.
 

  
Entre la lógica y la filosofía existe una estrecha relación de manera que, siempre que
se habla de la lógica, se supone la filosofía.
 

  
Todas las anteriores.
 

Test 2

Pregunta 1
0.02 / 0.02 pts
Un argumento con premisas verdaderas y conclusión verdadera es:
   
Siempre válido.
 

  
Siempre no válido.
 

  
A veces válido y a veces no válido.
 

  
No se puede saber si es válido o no debido a que no se conoce la estructura lógica
del mismo.
 
 
Pregunta 2
0.02 / 0.02 pts
Un argumento con premisas verdaderas y conclusión falsa es:

  
Siempre válido.
 

  
Siempre no válido.
 

  
A veces válido y a veces no válido.
 

  
Falso.
 
 
Pregunta 3
0.02 / 0.02 pts
Una tautología es:

  
Siempre verdadera.
 
   
Siempre falsa.
 

  
A veces verdadera y a veces falsa.
 

  
Un tipo de verdad lógica.
 
 
Pregunta 4
0.02 / 0.02 pts
¿Por qué una falsedad lógica es siempre falsa?

  
Porque lo que se dice en ella sobre el mundo es falso.
 

  
Porque el que habla siempre miente.
 

  
Porque lo determina su forma lógica.
 

  
No es cierto que una falsedad lógica sea siempre falsa.
 
 
Pregunta 5
0.02 / 0.02 pts
El siguiente argumento «Si has estudiado, aprobarás la asignatura. No has estudiado.
Por tanto, no aprobarás la asignatura»:

  
Es válido.
 

  
Es no válido.
 
   
No es ni válido ni no válido.
 

  
Es sólido.
 
 
Pregunta 6
0.02 / 0.02 pts
Un argumento con premisas falsas y conclusión falsa es:

  
Necesariamente falso.
 

  
Necesariamente válido.
 

  
Necesariamente no válido.
 

  
Necesariamente sólido.
 

  
Ninguna de las respuestas anteriores es correcta.
 
 
Pregunta 7
0.02 / 0.02 pts
¿Cuáles de las siguientes expresiones son fbf del cálculo de deducción natural
presentado en este tema?

  
→p¬

  
(p→q)∧(r→s)

  
p¬p

  
p∨(p∨(p∨(p∨(p∨(p∨p)))))

 
Pregunta 8
0.02 / 0.02 pts
Relaciona los siguientes términos con sus definiciones:
Es verdadera en virtud de la forma lógica determinada por las conectivas.
 
Contingencia
             
Argumento deductivo válido con premisas verdaderas.
 
Contradicción
             
Es falsa en virtud de la forma lógica determinada por las conectivas.
 
Argumento deductivo sólido
             
Enunciado cuya verdad depende de su contenido.
 
Tautología
             
 
Pregunta 9
0.02 / 0.02 pts
Qué significa que tengamos una deducción de un argumento:

  
Que el argumento es válido.
 

  
Que el argumento es sólido.
 

  
Que el argumento es no válido.
 

  
Nada, no significa nada.
 

  
Resulta imposible tener una deducción para ningún argumento.
 
 
Pregunta 10
0.02 / 0.02 pts
Qué significa que tengamos un contraargumento de un argumento:

  
Que el argumento es válido.
 

  
Que el argumento es sólido.
 

  
Que el argumento es no válido.
 

  
Nada, no significa nada.
 

  
Resulta imposible tener una deducción para ningún argumento.
 

Test 3

Pregunta 1
0.02 / 0.02 pts
¿Cuáles de estas expresiones se podrían traducir como «--»?

  
Si...
 

  
Cuando...
 

  
Si…, entonces...
 

  
... si y solo si...
 
 
Pregunta 2
0.02 / 0.02 pts
¿Cuáles de estas expresiones son indicadoras de condición necesaria?

  
Si...
 

  
Cuando...
 

  
Entonces...
 

  
Solo si...
 
 
Pregunta 3
0.02 / 0.02 pts
¿Cuáles de estas expresiones son indicadoras de condición suficiente?

  
Si...
 

  
Cuando...
 

  
Entonces...
 

  
Solo si...
 
 
Pregunta 4
0.02 / 0.02 pts
¿Cuál sería la formalización correcta de «ni lo uno ni lo otro»?

  
p∨q

  
p∧q

  
¬p∧¬q

  
¬¬p∧¬¬q

 
Pregunta 5
0.02 / 0.02 pts
¿Cuál sería la formalización correcta de «ser o no ser»?

  
p∨¬q

  
p∨¬p

  
p∧¬p

  
¬¬p∧¬¬q

 
Pregunta 6
0.02 / 0.02 pts
¿Cuál sería la formalización correcta de «ni sube ni baja»?

  
p∨q
   
p∧q

  
¬p∧¬q

  
¬¬p∧¬¬q

 
Pregunta 7
0.02 / 0.02 pts
¿Cuál sería la formalización correcta de «cuando el rio suena, agua lleva»?

  
p→q

  
q→q

  
p∨q

  
p⟷q

 
Pregunta 8
0.02 / 0.02 pts
¿Qué es formalizar?

  
Traducir del lenguaje natural al lenguaje formal.
 

  
Convertir fórmulas bien formadas en texto.
 

  
Convertir texto en fórmulas bien formadas.
 

  
Traducir de un idioma a un dialecto de este.
 
 
Pregunta 9
0.02 / 0.02 pts
El antecedente es:

  
La condición necesaria de un condicional.
 

  
La condición suficiente de un condicional.
 

  
La condición necesaria y suficiente de un condicional.
 

  
La única parte relevante de un condicional.
 
 
Pregunta 10
0.02 / 0.02 pts
El consecuente es:

  
La condición necesaria de un condicional.
 

  
La condición suficiente de un condicional.
 

  
La condición necesaria y suficiente de un condicional.
 

  
La única parte relevante de un condicional.
 

Test 4
Pregunta 1
0.02 / 0.02 pts
¿Qué es una deducción?

  
Un método para demostrar la verdad de un argumento.
 

  
Un procedimiento para demostrar la verdad de las premisas de un argumento.
 

  
Un método para demostrar la validez de un argumento.
 

  
Un mecanismo para demostrar la verdad de la conclusión de un argumento.
 
 
Pregunta 2
0.02 / 0.02 pts
¿De qué partes consta una deducción?

  
Premisas y conclusión.
 

  
Premisas, conclusión y pasos intermedios establecidos arbitrariamente en función
de nuestro raciocinio.
 

  
Premisas, conclusión y pasos intermedios establecidos por aplicación de las reglas
del cálculo lógico.
 

  
Conclusión solo.
 
 
Pregunta 3
0.02 / 0.02 pts
¿Qué es la reducción al absurdo?

  
Una estrategia de deducción.
 

  
Un procedimiento para demostrar la validez de un razonamiento.
 

  
Un procedimiento para demostrar que la conclusión de un razonamiento se sigue
necesariamente de las premisas.
 

  
Una estrategia inductiva.
 
 
Pregunta 4
0.02 / 0.02 pts
Si pretendemos establecer una deducción de un razonamiento cuya conclusión
es p∨q debemos:

  
Suponer p y llegar a una contradicción.
 

  
Encontrar o bien p, o bien q (basta una de ellas).
 

  
Encontrar p y obligatoriamente también q.
 

  
Suponer la p y llegar a q.
 
 
Pregunta 5
0.02 / 0.02 pts
Si pretendemos establecer una deducción de un razonamiento cuya conclusión
es p∧q , debemos:

  
Suponer p y llegar a una contradicción.
 

  
Encontrar o bien p, o bien q (basta una de ellas).
 

  
Encontrar p y obligatoriamente también q.
 

  
Suponer la p y llegar a q.
 
 
Pregunta 6
0.02 / 0.02 pts
Si pretendemos establecer una deducción de un razonamiento cuya conclusión
es p→q , debemos:

  
Suponer p y llegar a una contradicción.
 

  
Encontrar o bien p, o bien q (basta una de ellas).
 

  
Encontrar p y obligatoriamente también q.
 

  
Suponer la p y llegar a q.
 
 
Pregunta 7
0.02 / 0.02 pts
Si pretendemos establecer una deducción de un razonamiento cuya conclusión
es ¬p , debemos:
   
Suponer p y llegar a una contradicción.
 

  
Encontrar o bien p, o bien q (basta una de ellas).
 

  
Encontrar p y obligatoriamente también q.
 

  
Suponer la p y llegar a q.
 
 
Pregunta 8
0.02 / 0.02 pts
Las reglas derivadas:

  
Son indemostrables.
 

  
Son esquemas de razonamientos válidos.
 

  
Sirven para facilitar las deducciones complejas.
 

  
Son como los axiomas de un sistema axiomático.
 
 
Pregunta 9
0.02 / 0.02 pts
El procedimiento de reducción al absurdo consiste en:

  
Introducir una negación y después eliminarla.
 
   
Llegar a cualquier conclusión.
 

  
No llegar a ninguna conclusión.
 

  
Suponer la negación de lo que buscamos y llegar a una contradicción.
 
 
Pregunta 10
0.02 / 0.02 pts
Si un razonamiento es no válido, ¿se puede obtener una deducción de este?

  
No, es imposible.
 

  
Sí, pero no serviría de nada.
 

  
Eso dependerá de nuestra destreza.
 

  
Las respuestas B y C son correctas.
 

Test 5

Pregunta 1
0.02 / 0.02 pts
¿Bajo qué condiciones la fórmula ¬p es falsa?

  
Cuando p es verdadero.
 

  
Cuando p es falso.
 

  
Una negación nunca es verdadera.
 

  
Una negación nunca es verdadera.
 
 
Pregunta 2
0.02 / 0.02 pts
¿Bajo qué condiciones la fórmula p∧q es verdadera?

  
Cuando p es verdadero y q es verdadero.
 

  
Cuando p es verdadero y q es falso.
 

  
Cuando p es falso y q es verdadero.
 

  
Cuando p es falso y q es verdadero.
 
 
Pregunta 3
0.02 / 0.02 pts
¿Bajo qué condiciones la fórmula p∨q es verdadera?

  
Cuando p es verdadero y q es verdadero.
 

  
Cuando p es verdadero y q es falso.
 

  
Cuando p es falso y q es verdadero.
 

  
Cuando p es falso y q es verdadero.
 
 
Pregunta 4
0.02 / 0.02 pts
¿Bajo qué condiciones la fórmula p→q es verdadera?

  
Cuando p es verdadero y q es verdadero.
 

  
Cuando p es verdadero y q es falso.
 

  
Cuando p es falso y q es verdadero.
 

  
Cuando p es falso y q es falso.
 
 
Pregunta 5
0.02 / 0.02 pts
¿Bajo qué condiciones la fórmula p∧q es falsa?

  
Cuando p es verdadero y q es verdadero.
 

  
Cuando p es verdadero y q es verdadero.
 

  
Cuando p es falso y q es verdadero.
 

  
Cuando p es falso y q es falso.
 
 
Pregunta 6
0.02 / 0.02 pts
¿Bajo qué condiciones la fórmula p∨q es falsa?

  
Cuando p es verdadero y q es verdadero.
 

  
Cuando p es verdadero y q es falso.
 

  
Cuando p es falso y q es verdadero.
 

  
Cuando p es falso y q es verdadero.
 
 
Pregunta 7
0.02 / 0.02 pts
¿Bajo qué condiciones la fórmula p→q es falsa?

  
Cuando p es verdadero y q es verdadero.
 

  
Cuando p es verdadero y q es falso.
 

  
Cuando p es verdadero y q es falso.
 

  
Cuando p es falso y q es falso.
 
 
Pregunta 8
0.02 / 0.02 pts
Dada la definición del bicondicional, ¿cuál sería su tabla de verdad?

 
Pregunta 9
0.02 / 0.02 pts
¿Bajo qué condiciones la fórmula p↔q es falsa?

  
Cuando el valor de verdad de p es distinto del valor de verdad de q.
 

  
Cuando el valor de verdad de q es distinto del valor de verdad de p. C. Cuando el
valor de verdad de p es igual al valor de verdad de q.
 

  
Cuando el valor de verdad de q es distinto del valor de verdad de p. C. Cuando el
valor de verdad de p es igual al valor de verdad de q.
 

  
Cuando el valor de verdad de q es distinto del valor de verdad de p. C. Cuando el
valor de verdad de p es igual al valor de verdad de q.
 
 
Pregunta 10
0.02 / 0.02 pts
¿Qué son las tablas de verdad?

  
Un método para evaluar las condiciones de verdad de una fórmula en función de las
subfórmulas que la componen.
 

  
Un sistema algorítmico para demostrar la validez o no validez de un argumento.
 

  
Un sistema para saber cuál es el valor de verdad de una fórmula para todas las
interpretaciones de la misma.
 

  
Todas las respuestas son correctas.
 

Test 6

Pregunta 1
0.02 / 0.02 pts
¿Cuáles de estas afirmaciones son correctas?

  
La puerta lógica correspondiente a una conjunción es una puerta Nand.
 

  
La puerta lógica correspondiente a una conjunción es una puerta And.
 

  
La puerta lógica correspondiente a una disyunción es una puerta Or.
 

  
La puerta lógica correspondiente a una negación es un inversor.
 
 
Pregunta 2
0.02 / 0.02 pts
¿Cuál es el álgebra que subyace a la teoría de circuitos?

  
Álgebra de Kleene.
 

  
Álgebra de Kleene.
 

  
Las respuestas A y B son correctas.
 

  
Ninguna de las anteriores es correcta.
 
 
Pregunta 3
0.02 / 0.02 pts
¿Cuál es el álgebra que subyace a la lógica proposicional bivalente?

  
Álgebra de Kleene.
 

  
Álgebra de Boole.
 

  
Las respuestas A y B son correctas.
 

  
Ninguna de las anteriores es correcta.
 
 
Pregunta 4
0.02 / 0.02 pts
Relaciona la expresión lógica con cada una de las puertas lógicas correspondiente:
Negación
 
Puerta Not o inversor
             
Conjunción
 
Puerta And
             
Disyunción
 
Puerta Or
             
Negación de una conjunción
 
Puerta Nand
             
Negación de una disyunción
 
Puerta Nor
             
 
Pregunta 5
0.02 / 0.02 pts
La primera forma canónica es:

  
Un producto de sumas.
 

  
Una conjunción de disyunciones.
 

  
Una suma de productos.
 
   
Una suma de productos.
 
 
Pregunta 6
0.02 / 0.02 pts
La segunda forma canónica es:

  
Un producto de sumas.
 

  
Una conjunción de disyunciones.
 

  
Una conjunción de disyunciones.
 

  
Una conjunción de disyunciones.
 
 
Pregunta 7
0.02 / 0.02 pts
La puerta Nand de dos entradas  y  devuelve 1 cuando:

  
p vale 0 y q vale 0.
 

  
p vale 1 y q vale 1.
 

  
p vale 0 o q vale 0.
 

  
p vale 0 o q vale 0.
 
 
Pregunta 8
0.02 / 0.02 pts
La puerta Nor de dos entradas  y  devuelve 1 cuando:

  
p vale 0 y q vale 0.
 

  
p vale 1 y q vale 1.
 

  
p vale 0 o q vale 0.
 

  
p vale 1 o q vale 1.
 
 
Pregunta 9
0.02 / 0.02 pts
El método de las tablas de Karnaugh es:

  
Un algoritmo para simplificar fórmulas lógicas.
 

  
Un procedimiento para convertir fórmulas lógicas en circuitos.
 

  
Un método de minimización de circuitos.
 

  
Todas las respuestas son correctas.
 
 
Pregunta 10
0.02 / 0.02 pts
Indica cuáles de estas afirmaciones son verdaderas:
   
Un circuito lógico no se puede representar mediante fórmulas de lógica
proposicional, pero al revés sí.
 

  
La primera forma canónica de una fórmula F se puede obtener de la tabla de verdad
de F.
 

  
Hay fórmulas de la lógica proposicional que no se pueden representar como
circuitos lógicos.
 

  
La segunda forma canónica de una fórmula F se puede obtener de la tabla de
verdad de la negación de F.
 

Test 7

Pregunta 1
0.02 / 0.02 pts
¿Cuáles son los nuevos símbolos lógicos que incorpora la lógica de predicados a
partir de la lógica de enunciados?

  
El deductor y el operador de necesidad.
 

  
El generalizador y el particularizador.
 

  
La lógica de predicados no incorpora nuevas expresiones lógicas.
 

  
El condicional y la implicación.
 
 
Pregunta 2
0.02 / 0.02 pts
¿Cuáles de las siguientes expresiones son fbf del sistema de deducción natural de
predicados presentado en este tema?

  
∀x.
 

  
∃xPx.
 

  
Px∀∃.
 

  
∀x(Px→Qx).
 
 
Pregunta 3
0.02 / 0.02 pts
Para introducir un generalizador:

  
La constante de individuo no debe ocurrir en las premisas ni en ningún supuesto
previo no cancelado.
 

  
La constante de individuo no debe ocurrir en la matriz de la fórmula que se
introduce.
 

  
La constante de individuo no debe ocurrir en la fórmula con la que se cierra el
supuesto abierto para aplicar la regla.
 

  
No hay restricciones.
 
 
Pregunta 4
0.02 / 0.02 pts
Para eliminar un generalizador:

  
La constante de individuo no debe ocurrir en las premisas ni en ningún supuesto
previo no cancelado.
 

  
La constante de individuo no debe ocurrir en la matriz de la fórmula que se elimina.
 

  
La constante de individuo no debe ocurrir en la fórmula con la que se cierra el
supuesto abierto para aplicar la regla.
 

  
No hay restricciones.
 
 
Pregunta 5
0.02 / 0.02 pts
Para introducir un particularizador:
 

  
La constante de individuo no debe ocurrir en las premisas ni en ningún supuesto
previo no cancelado.
 

  
La constante de individuo no debe ocurrir en la matriz de la fórmula que se
introduce.
 

  
La constante de individuo no debe ocurrir en la fórmula con la que se cierra el
supuesto abierto para aplicar la regla.
 

  
No hay restricciones.
 
 
Pregunta 6
0.02 / 0.02 pts
Para eliminar un particularizador:

  
La constante de individuo no debe ocurrir en las premisas ni en ningún supuesto
previo no cancelado.
 

  
La constante de individuo no debe ocurrir en la matriz de la fórmula que se elimina.
 

  
La constante de individuo no debe ocurrir en la fórmula con la que se cierra el
supuesto abierto para aplicar la regla.
 

  
No hay restricciones.
 
 
Pregunta 7
0.02 / 0.02 pts
¿Qué es un término de individuo?

  
Cualquier conectiva.
 

  
El generalizador o el particularizador.
 

  
Una constante de individuo o una variable de individuo.
 

  
Una fórmula bien formada.
 
 
Pregunta 8
0.02 / 0.02 pts
¿Qué es una sentencia?

  
Una fórmula bien formada donde no hay variables de individuo libres.
 

  
Una fórmula bien formada donde hay variables de individuo libres.
 

  
Una fórmula bien formada donde no hay constantes de individuo libres.
 

  
Una fórmula bien formada donde hay constantes de individuo libres.
 
 
Pregunta 9
0.02 / 0.02 pts
Indica cuáles de estas afirmaciones son correctas:

  
Una sentencia no es una fórmula bien formada.
 

  
Si una fórmula no es una sentencia, entonces no es una fórmula bien formada.
 

  
La lógica de predicados incorpora los operadores de la lógica proposicional.
 

  
La lógica de predicados es una extensión de la lógica proposicional debida a la falta
de expresividad de esta.
 
 
Pregunta 10
0.02 / 0.02 pts
Indica cuáles de las siguientes expresiones son sentencias:

  
∀x.
 

  
∃xPx.
 

  
Px∨Qx.
 

  
∀x(Px→Qy).
 

Test 8

Pregunta 1
0.02 / 0.02 pts
Indica cuáles de estas oraciones encajarían en la siguiente forma lógica ∀x[Px→Qx]:

  
Todos son mortales.
 

  
Todos los humanos son mortales.
 

  
Sócrates es mortal.
 

  
Algún humano es mortal.
 

  
Ningún humano es mortal.
 
 
Pregunta 2
0.02 / 0.02 pts
Indica cuáles de estas oraciones encajarían en la siguiente forma lógica ∀xPx:

  
Todos son mortales.
 

  
Todos los humanos son mortales.
 

  
Sócrates es mortal.
 

  
Algún humano es mortal.
 

  
Ningún humano es mortal.
 
 
Pregunta 3
0.02 / 0.02 pts
Indica cuáles de estas oraciones encajarían en la siguiente forma lógica Pa:

  
Todos son mortales.
 

  
Todos los humanos son mortales.
 

  
Sócrates es mortal.
 

  
Algún humano es mortal.
 

  
Ningún humano es mortal.
 
 
Pregunta 4
0.02 / 0.02 pts
Indica cuáles de estas oraciones encajarían en la siguiente forma lógica ¬∃x(Px∧Qx):

  
Todos son mortales.
 

  
Todos los humanos son mortales.
 

  
Sócrates es mortal.
 

  
Algún humano es mortal.
 

  
Ningún humano es mortal.
 
 
Pregunta 5
0.02 / 0.02 pts
Indica cuáles de estas oraciones encajarían en la siguiente forma lógica ∃x(Px∧Qx):

  
Todos son mortales.
 

  
Todos los humanos son mortales.
 

  
Sócrates es mortal.
 

  
Algún humano es mortal.
 

  
Ningún humano es mortal.
 
 
Pregunta 6
0.02 / 0.02 pts
¿Cuál sería la formalización de «Nadie me ama»?

  
∀xAax.
 

  
∀xAxa.
 

  
¬∃xAxa.
 

  
¬∃xAax.
 

  
Aaa.
 
 
Pregunta 7
0.02 / 0.02 pts
¿Cuál sería la formalización de «Me amo a mí mismo»?

  
∀xAax.
 

  
∀xAxa.
 

  
¬∃xAxa.
 

  
¬∃xAax.
 

  
Aaa.
 
 
Pregunta 8
0.02 / 0.02 pts
¿Cuál sería la formalización de «Me amo a nadie»?

  
∀xAax.
 

  
∀xAxa.
 

  
¬∃xAxa.
 

  
¬∃xAax.
 

  
Aaa.
 
 
Pregunta 9
0.02 / 0.02 pts
¿Cuál sería la formalización de «Todo el mundo me ama»?

  
∀xAax.
 

  
∀xAxa.
 

  
∀xAxa.
 

  
∀xAxa.
 

  
Aaa.
 
 
Pregunta 10
0.02 / 0.02 pts
¿Cuál sería la formalización de «Amo a todo el mundo»?

  
∀xAax.
 

  
∀xAxa.
 

  
¬∃xAxa.
 

  
¬∃xAax.
 

  
Aaa.
 

Test 9

Pregunta 1
0.02 / 0.02 pts
Cuáles de estas reglas requieren tener en cuenta una serie de restricciones:
   
Eliminación del generalizador.
 

  
Introducción del particularizador.
 

  
Introducción del generalizador.
 

  
Modus ponens.
 
 
Pregunta 2
0.02 / 0.02 pts
¿Para qué son necesarias las restricciones?

  
Para asegurar que la constante de individuo denota a un individuo concreto.
 

  
Para asegurar que la constante de individuo denota a un individuo concreto.
 

  
Para asegurar que la constante de individuo denota a un individuo concreto.
 

  
Para asegurar que la constante de individuo denota a un individuo concreto.
 
 
Pregunta 3
0.02 / 0.02 pts
Si pretendemos establecer una deducción de un razonamiento cuya conclusión es
∀xPx podemos:

  
Suponer Pa y llegar a una contradicción.
 
   
Encontrar Pa e introducir el cuantificador teniendo en cuenta las restricciones.
 

  
Encontrar Pa e introducir el cuantificador sin tener en cuenta las restricciones.
 

  
Negar la fórmula y tratar de llegar a una contradicción.
 
 
Pregunta 4
0.02 / 0.02 pts
Si pretendemos establecer una deducción de un razonamiento cuya conclusión es
∃xPx:

  
Si pretendemos establecer una deducción de un razonamiento cuya conclusión es
∃xPx:
 

  
Encontrar Pa e introducir el cuantificador teniendo en cuenta las restricciones.
 

  
Encontrar Pa e introducir el cuantificador sin tener en cuenta las restricciones.
 

  
Negar la fórmula y tratar de llegar a una contradicción.
 
 
Pregunta 5
0.02 / 0.02 pts
Si en una deducción tenemos que aplicar reglas de eliminación sobre una fórmula
que comienza con un generalizador seguido de un particularizador debemos:

  
Eliminar primero el particularizador y después el generalizador.
 

  
Eliminar primero el particularizador y después el generalizador.
 

  
Es imposible porque el primer generalizador no se puede eliminar.
 

  
Es imposible porque, aunque se puede eliminar el generalizador, el particularizador
no se puede eliminar nunca.
 
 
Pregunta 6
0.02 / 0.02 pts
Las reglas derivadas de la lógica de predicados:

  
Son indemostrables.
 

  
Son esquemas de razonamientos válidos.
 

  
No son sentencias.
 

  
Sirven para facilitar las deducciones complejas.
 
 
Pregunta 7
0.02 / 0.02 pts
El procedimiento de reducción al absurdo en lógica de predicados:

  
Consiste en introducir una negación y después eliminarla.
 

  
Consiste en suponer la negación de lo que buscamos y llegar a una contradicción.
 
   
No es aplicable en lógica de predicados.
 

  
No es aplicable en lógica de predicados.
 
 
Pregunta 8
0.02 / 0.02 pts
Si un razonamiento es no válido, ¿se puede obtener una deducción de este?

  
No, es imposible.
 

  
Sí, en lógica de predicados se puede obtener.
 

  
Eso dependerá de nuestra destreza en lógica de primer orden.
 

  
Sí, pero es muy difícil obtenerla.
 
 
Pregunta 9
0.02 / 0.02 pts
¿Cómo se elimina el particularizador ∃xPx?

  
Los particularizadores no se pueden eliminar.
 

  
Basta con llegar a Pa por la eliminación del particularizador.
 

  
Suponiendo Pa, llegando a una fórmula C y concluyendo con esa fórmula C.
 
   
Las respuestas B y C son correctas.
 
 
Pregunta 10
0.02 / 0.02 pts
¿Cómo se elimina el generalizador ∀xPx?

  
Los generalizadores no se pueden eliminar.
 

  
Basta con llegar a Pa por la eliminación del generalizador.
 

  
Suponiendo Pa, llegando a una fórmula C y concluyendo con esa fórmula C.
 

  
Las respuestas B y C son correctas.
 

Test 10

Pregunta 1
0.02 / 0.02 pts
¿Qué entidad le corresponde en la teoría de conjuntos a un predicado monádico?

  
Un conjunto.
 

  
Una relación.
 

  
Ninguna.
 

  
Un elemento de un conjunto.
 
 
Pregunta 2
0.02 / 0.02 pts
¿Qué entidad le corresponde en la teoría de conjuntos a un individuo?

  
Un conjunto.
 

  
Una relación.
 

  
Ninguna.
 

  
Un elemento de un conjunto.
 
 
Pregunta 3
0.02 / 0.02 pts
¿Qué entidad le corresponde en la teoría de conjuntos a un predicado poliádico?

  
Un conjunto.
 

  
Una relación.
 

  
Ninguna.
 

  
Un elemento de un conjunto.
 
 
Pregunta 4
0.02 / 0.02 pts
La unión de dos conjuntos A y B es:

  
El conjunto de todos los elementos del universo de discurso que pertenecen a A y a
B.
 

  
El conjunto de todos los elementos del universo de discurso que pertenecen a A o a
B.
 

  
El conjunto de todos los elementos del universo de discurso que pertenecen a A
pero no a B.
 

  
El conjunto de todos los elementos del universo de discurso que no pertenecen a A
ni a B.
 
 
Pregunta 5
0.02 / 0.02 pts
La intersección de dos conjuntos A y B es:

  
El conjunto de todos los elementos del universo de discurso que pertenecen a A y a
B.
 

  
El conjunto de todos los elementos del universo de discurso que pertenecen a A o a
B.
 

  
El conjunto de todos los elementos del universo de discurso que pertenecen a A
pero no a B.
 

  
El conjunto de todos los elementos del universo de discurso que no pertenecen a A
ni a B.
 
 
Pregunta 6
0.02 / 0.02 pts
La diferencia de dos conjuntos A y B es:

  
El conjunto de todos los elementos del universo de discurso que pertenecen a A y a
B.
 

  
El conjunto de todos los elementos del universo de discurso que pertenecen a A o a
B.
 

  
El conjunto de todos los elementos del universo de discurso que pertenecen a A
pero no a B.
 

  
El conjunto de todos los elementos del universo de discurso que no pertenecen a A
ni a B.
 
 
Pregunta 7
0.02 / 0.02 pts
El conjunto potencia de un conjunto A es:

  
El conjunto mayor que se puede formar con todos los elementos de A.
 

  
El conjunto de todos los subconjuntos de A.
 

  
El conjunto de todos los pares de elementos que se pueden formar con A.
 

  
Un subconjunto del producto cartesiano de n conjuntos.
 
 
Pregunta 8
0.02 / 0.02 pts
El producto cartesiano de A y B es:

  
El conjunto mayor que se puede formar con todos los elementos de A.
 

  
El conjunto de todos los subconjuntos de A.
 

  
El conjunto de todos los pares de elementos tales que el primer elemento del par
pertenece a A y el segundo elemento pertenece a B.
 

  
Un subconjunto del producto cartesiano de n conjuntos.
 
 
Pregunta 9
0.02 / 0.02 pts
Una relación n-aria es:

  
El conjunto mayor que se puede formar con todos los elementos de A.
 

  
El conjunto de todos los subconjuntos de A.
 

  
El conjunto de todos los pares de elementos que se pueden formar con A.
 

  
Un subconjunto del producto cartesiano de n conjuntos.
 
 
Pregunta 10
0.02 / 0.02 pts
Una función es:

  
Una relación unívoca por la derecha.
 

  
Un tipo especial de conjunto.
 

  
Una relación en la que el primer elemento del par no puede estar relacionado con
más de un elemento.
 

  
Todas las respuestas son correctas, aunque la B es muy incompleta.
 

Test 11

Pregunta 1
0.02 / 0.02 pts
¿Qué debe suceder para que ∀xPx sea verdadero?

  
Que todos los elementos del universo de discurso tengan la propiedad P.
 

  
Que el conjunto P sea igual al universo de discurso.
 

  
Basta con que un elemento del universo de discurso tenga la propiedad P.
 

  
Basta con que un elemento del universo de discurso esté en el conjunto P.
 
 
Pregunta 2
0.02 / 0.02 pts
¿Qué debe suceder para que ∃xPx sea verdadero?

  
Que todos los elementos del universo de discurso tengan la propiedad P.
 

  
Que el conjunto P sea igual al universo de discurso.
 

  
Basta con que un elemento del universo de discurso tenga la propiedad P.
 

  
Basta con que un elemento del universo de discurso esté en el conjunto P.
 
 
Pregunta 3
0.02 / 0.02 pts
¿Qué debe suceder para que ∀x(Px→Qx) sea verdadero?

  
Que P esté incluido en Q.
 

  
¿Qué debe suceder para que ∀x(Px→Qx) sea verdadero?
 

  
Que la intersección de P y Q no sea vacía.
 

  
Que la intersección de P y Q sea vacía.
 
 
Pregunta 4
0.02 / 0.02 pts
¿Qué debe suceder para que ¬∃x(Px∧Qx) sea verdadero?

  
Que P esté incluido en Q.
 

  
Que P no esté incluido en Q.
 

  
Que la intersección de P y Q no sea vacía.
 

  
Que la intersección de P y Q sea vacía.
 
 
Pregunta 5
0.02 / 0.02 pts
¿Qué debe suceder para que ¬∀x(Px→Qx) sea verdadero?

  
Que P esté incluido en Q.
 

  
Que P no esté incluido en Q.
 

  
Que la intersección de P y Q no sea vacía.
 

  
Que la intersección de P y Q sea vacía.
 
 
Pregunta 6
0.02 / 0.02 pts
¿Qué debe suceder para que ∃x(Px∧Qx) sea verdadero?

  
Que P esté incluido en Q.
 

  
Que P no esté incluido en Q.
 

  
Que la intersección de P y Q no sea vacía.
 

  
Que la intersección de P y Q sea vacía.
 
 
Pregunta 7
0.02 / 0.02 pts
¿Qué debe suceder para que ∀x(Px∧Qx) sea verdadero?

  
Que el conjunto P sea vacío.
 

  
Que el conjunto Q sea vacío.
 

  
Que el conjunto P sea igual al universo y el conjunto Q sea igual al universo.
 

  
Que o P no sea igual al universo o Q no sea igual al universo.
 
 
Pregunta 8
0.02 / 0.02 pts
¿Qué debe suceder para que ¬∀x(Px∧Qx) sea verdadero?

  
Que el conjunto P sea vacío.
 

  
Que el conjunto Q sea vacío.
 

  
Que el conjunto P sea igual al universo y el conjunto Q sea igual al universo.
 

  
Que o P no sea igual al universo o Q no sea igual al universo.
 
 
Pregunta 9
0.02 / 0.02 pts
¿Qué debe suceder para que ¬∃xQx sea verdadero?

  
Que el conjunto P sea vacío.
 

  
Que el conjunto Q sea vacío.
 

  
Que el conjunto P sea igual al universo y el conjunto Q sea igual al universo.
 

  
Que o P no sea igual al universo o Q no sea igual al universo.
 
 
Pregunta 10
0.02 / 0.02 pts
¿Para qué sirven las asignaciones?

  
Para calcular el valor semántico de los operadores lógicos.
 

  
Para que podamos obtener valor semántico de fórmulas que no son sentencias.
 

  
Para hacer que las variables tengan valor falso.
 

  
Todas las respuestas son correctas.
 

Test 12

Pregunta 1
0.02 / 0.02 pts
¿Cuáles son las dos partes fundamentales de un programa Prolog?

  
Premisas y conclusión.
 

  
Base de hechos y base de reglas.
 

  
Predicados y constantes.
 

  
Variables y reglas.
 
 
Pregunta 2
0.02 / 0.02 pts
¿Cómo se representan los predicados en Prolog?

  
Con las letras mayúsculas.
 

  
Con un functor seguido de sus términos entre paréntesis.
 

  
Con letras minúsculas sin tildes ni espacios en blanco.
 

  
Con números.
 
 
Pregunta 3
0.02 / 0.02 pts
¿Cómo se representan las variables en Prolog?

  
Con las letras mayúsculas.
 

  
Con un functor seguido de sus términos entre paréntesis.
 

  
Con letras minúsculas sin tildes ni espacios en blanco.
 

  
Con números.
 
 
Pregunta 4
0.02 / 0.02 pts
¿Cómo se representan las constantes en Prolog?

  
Con las letras mayúsculas.
 

  
Con un functor seguido de sus términos entre paréntesis.
 

  
Con letras minúsculas sin tildes ni espacios en blanco.
 

  
Con números.
 
 
Pregunta 5
0.02 / 0.02 pts
¿Para qué sirven las reglas en Prolog?
   
Permiten demostrar teoremas indemostrables.
 

  
Permiten obtener nuevo conocimiento a partir del que ya existe en la base de
hechos.
 

  
Permiten el uso de las constantes.
 

  
Permiten que Prolog se pueda ejecutar.
 
 
Pregunta 6
0.02 / 0.02 pts
Si hago una consulta con variables en Prolog, ¿cómo será la respuesta?

  
El sistema devolverá true o false.
 

  
El sistema no dará respuesta.
 

  
El sistema devolverá los posibles valores que puede tomar la variable.
 

  
El sistema hará que tengamos que reiniciar el equipo.
 
 
Pregunta 7
0.02 / 0.02 pts
Si hago una consulta con constantes en Prolog, ¿cómo será la respuesta?

  
El sistema devolverá true o false.
 
   
El sistema no dará respuesta.
 

  
El sistema devolverá los posibles valores que puede tomar la variable.
 

  
El sistema hará que tengamos que reiniciar el equipo.
 
 
Pregunta 8
0.02 / 0.02 pts
Tengo un programa Prolog con dos cláusulas: árbol (encina) y planta (camomila).
¿Cómo se definiría el concepto de vegetal?

  
vegetal(X):- árbol (encina).
 

  
vegetal(X):- árbol (X).
 

  
vegetal(X):- planta (X).
 

  
vegetal(X):- árbol (X). y vegetal(X):- planta(X).
 
 
Pregunta 9
0.02 / 0.02 pts
Tengo un programa Prolog con dos cláusulas árbol (encina) e inflamable (X):- árbol
(X). ¿Cuál sería la respuesta de inflamable (encina)?

  
X=encina.
 

  
True.
 

  
False.
 

  
No tendría respuesta.
 
 
Pregunta 10
0.02 / 0.02 pts
Tengo un programa Prolog con dos cláusulas árbol (encina) e inflamable(X):- árbol
(X) ¿Cuál sería la respuesta de inflamable(X)?

  
X=encina.
 

  
True.
 

  
False.
 

  
No tendría respuesta.