Créer jeu
Jouer Test
1. 
¿Qué es la formalización de argumentos?
A.
El uso de metáforas en el razonamiento
B.
La manipulación de datos falsos
C.
Un proceso para traducir razonamientos naturales a un lenguaje lógico
D.
La aplicación de falacias en un argumento
2. 
¿Cuál de los siguientes es un cuantificador universal?
A.
∃ (Existe)
B.
¬ (Negación)
C.
∀ (Para todo)
D.
∧ (Conjunción)
E.
↔ (Bicondicional)
3. 
¿Qué indica el cuantificador existencial?
A.
Que al menos un elemento cumple con una propiedad
B.
La negación de un argumento
C.
La implicación de una premisa
D.
La conjunción de dos proposiciones
4. 
¿Cuál es el conector lógico que se utiliza para la disyunción?
A.
B.
C.
¬
D.
5. 
Si un argumento tiene premisas verdaderas y una conclusión falsa, entonces el argumento es:
A.
Válido
B.
Verdadero
C.
Contradictorio
D.
Inválido
6. 
¿Cuál es el símbolo de la implicación lógica?
A.
B.
C.
¬
D.
7. 
En deducción natural, ¿cuál es el proceso básico?
A.
Llegar a conclusiones a partir de datos inciertos
B.
Derivar conclusiones válidas de premisas a través de reglas claras
C.
Traducir conclusiones erróneas
D.
Manipular las proposiciones para obtener resultados aleatorios
8. 
El teorema de la deducción establece que:
A.
Si una premisa es verdadera, la conclusión es falsa
B.
Un argumento siempre es falso
C.
Si {p → q, p} ⊢ q, entonces la implicación es válida
D.
Las proposiciones no son válidas si son complejas
E.
No se puede deducir nada a partir de premisas
9. 
La conjunción lógica se representa mediante:
A.
¬
B.
C.
D.
E.
10. 
¿Qué permite verificar una tabla de verdad?
A.
La simplicidad de las inferencias
B.
La cantidad de cuantificadores
C.
Si un argumento es válido o inválido
D.
La falsedad de todas las proposiciones
11. 
¿Qué es una proposición en lógica?
A.
Una falacia lógica
B.
Un argumento basado en suposiciones
C.
Una oración que puede ser verdadera o falsa
D.
Un conector sin significado
12. 
Si un conjunto de proposiciones no puede ser verdadero al mismo tiempo, esto implica que:
A.
Es consistente
B.
Es válido
C.
Es inductivo
D.
Es inconsistente
13. 
¿Cuál es el propósito de las reglas de inferencia?
A.
Crear premisas falsas
B.
Eliminar la validez de un argumento
C.
Derivar conclusiones válidas a partir de premisas
D.
Confundir a los lectores con premisas ambiguas
14. 
¿Qué significa la consistencia lógica?
A.
Que todas las proposiciones en un conjunto pueden ser verdaderas juntas
B.
Que algunas proposiciones deben ser falsas
C.
Que carecen de validez
D.
Que las proposiciones son contradictorias
15. 
En el teorema de la deducción, ¿qué indica Γ,A⊢B?
A.
Se puede deducir A implica B
B.
Γ no es relevante para la deducción
C.
A y B son siempre falsas
D.
No existe relación entre A y B
16. 
¿Qué simboliza el conector lógico ↔?
A.
Negación
B.
Conjunción
C.
Implicación
D.
Bicondicional
17. 
¿Qué operación lógica elimina el conector de conjunción?
A.
∧E
B.
¬E
C.
→E
D.
∨E
18. 
¿Qué es la contradicción en un sistema proposicional?
A.
La existencia de proposiciones válidas
B.
La simplicidad en las proposiciones
C.
La falta de inferencias
D.
La coexistencia de proposiciones que no pueden ser verdaderas al mismo tiempo
19. 
En una deducción natural, ¬E indica:
A.
Eliminación de una negación
B.
Eliminación de un bicondicional
C.
Eliminación de una disyunción
D.
Eliminación de una conjunción
20. 
¿Cómo se construye una deducción natural?
A.
Utilizando cuantificadores de manera indiscriminada
B.
Traduciendo proposiciones ambiguas
C.
Eliminando los conectores lógicos
D.
Siguiendo reglas para derivar conclusiones válidas a partir de premisas