Test: Exposiciones Jornada #6 - Lógica - 2do. Parcial - 1er. Semestre - 1ro. A (1º - Bachillerato - lógica - lógica formal

Creada por

Lucio IJM

México

Este juego es una version de

Exposiciones Jornada #6 - Lógica - 2do. Parcial - 1er. Semestre - 1ro. B


Exposiciones Jornada #6 - Lógica - 2do. Parcial - 1er. Semestre - 1ro. AVersión en línea Pon a prueba tus conocimientos sobre lógica y argumentos en este juego de preguntas. por Lucio IJM 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

Exposiciones Jornada #6 - Lógica - 2do. Parcial - 1er. Semestre - 1ro. AVersión en línea

Pon a prueba tus conocimientos sobre lógica y argumentos en este juego de preguntas.

por Lucio IJM

¿Qué es la formalización de argumentos?

El uso de metáforas en el razonamiento

La manipulación de datos falsos

Un proceso para traducir razonamientos naturales a un lenguaje lógico

La aplicación de falacias en un argumento

¿Cuál de los siguientes es un cuantificador universal?

∃ (Existe)

¬ (Negación)

∀ (Para todo)

∧ (Conjunción)

↔ (Bicondicional)

¿Qué indica el cuantificador existencial?

Que al menos un elemento cumple con una propiedad

La negación de un argumento

La implicación de una premisa

La conjunción de dos proposiciones

¿Cuál es el conector lógico que se utiliza para la disyunción?

→

∧

∨

Si un argumento tiene premisas verdaderas y una conclusión falsa, entonces el argumento es:

Válido

Verdadero

Contradictorio

Inválido

¿Cuál es el símbolo de la implicación lógica?

∨

→

∧

En deducción natural, ¿cuál es el proceso básico?

Llegar a conclusiones a partir de datos inciertos

Derivar conclusiones válidas de premisas a través de reglas claras

Traducir conclusiones erróneas

Manipular las proposiciones para obtener resultados aleatorios

El teorema de la deducción establece que:

Si una premisa es verdadera, la conclusión es falsa

Un argumento siempre es falso

Si {p → q, p} ⊢ q, entonces la implicación es válida

Las proposiciones no son válidas si son complejas

No se puede deducir nada a partir de premisas

La conjunción lógica se representa mediante:

∧

∨

→

↔

¿Qué permite verificar una tabla de verdad?

La simplicidad de las inferencias

La cantidad de cuantificadores

Si un argumento es válido o inválido

La falsedad de todas las proposiciones

¿Qué es una proposición en lógica?

Una falacia lógica

Un argumento basado en suposiciones

Una oración que puede ser verdadera o falsa

Un conector sin significado

Si un conjunto de proposiciones no puede ser verdadero al mismo tiempo, esto implica que:

Es consistente

Es válido

Es inductivo

Es inconsistente

¿Cuál es el propósito de las reglas de inferencia?

Crear premisas falsas

Eliminar la validez de un argumento

Derivar conclusiones válidas a partir de premisas

Confundir a los lectores con premisas ambiguas

¿Qué significa la consistencia lógica?

Que todas las proposiciones en un conjunto pueden ser verdaderas juntas

Que algunas proposiciones deben ser falsas

Que carecen de validez

Que las proposiciones son contradictorias

En el teorema de la deducción, ¿qué indica Γ,A⊢B?

Se puede deducir A implica B

Γ no es relevante para la deducción

A y B son siempre falsas

No existe relación entre A y B

¿Qué simboliza el conector lógico ↔?

Negación

Conjunción

Implicación

Bicondicional

¿Qué operación lógica elimina el conector de conjunción?

∧E

¬E

→E

∨E

¿Qué es la contradicción en un sistema proposicional?

La existencia de proposiciones válidas

La simplicidad en las proposiciones

La falta de inferencias

La coexistencia de proposiciones que no pueden ser verdaderas al mismo tiempo

En una deducción natural, ¬E indica:

Eliminación de una negación

Eliminación de un bicondicional

Eliminación de una disyunción

Eliminación de una conjunción

¿Cómo se construye una deducción natural?

Utilizando cuantificadores de manera indiscriminada

Traduciendo proposiciones ambiguas

Eliminando los conectores lógicos

Siguiendo reglas para derivar conclusiones válidas a partir de premisas

Exposiciones Jornada #6 - Lógica - 2do. Parcial - 1er. Semestre - 1ro. A

Test

Descarga la versión para jugar en papel

Creada por

Top 10 resultados

Top juegos

Test

cuanto sabes de Futbol

Test

Cultura general española

Test

Verbos irregulares en Inglés

Test

Brawl stars preguntas

Test

Tipos de sintagmas (II)

Exposiciones Jornada #6 - Lógica - 2do. Parcial - 1er. Semestre - 1ro. AVersión en línea

por Lucio IJM

¿Qué es la formalización de argumentos?

¿Cuál de los siguientes es un cuantificador universal?

¿Qué indica el cuantificador existencial?

¿Cuál es el conector lógico que se utiliza para la disyunción?

Si un argumento tiene premisas verdaderas y una conclusión falsa, entonces el argumento es:

¿Cuál es el símbolo de la implicación lógica?

En deducción natural, ¿cuál es el proceso básico?

El teorema de la deducción establece que:

La conjunción lógica se representa mediante:

¿Qué permite verificar una tabla de verdad?

¿Qué es una proposición en lógica?

Si un conjunto de proposiciones no puede ser verdadero al mismo tiempo, esto implica que:

¿Cuál es el propósito de las reglas de inferencia?

¿Qué significa la consistencia lógica?

En el teorema de la deducción, ¿qué indica Γ,A⊢B?

¿Qué simboliza el conector lógico ↔?

¿Qué operación lógica elimina el conector de conjunción?

¿Qué es la contradicción en un sistema proposicional?

En una deducción natural, ¬E indica:

¿Cómo se construye una deducción natural?