Quiz de Lógica Proposicional

¿Qué es la lógica proposicional?

• Una forma de arte

• Un sistema de programación

• Un tipo de lógica que solo utiliza números

• Un lenguaje formal para decidir sobre la validez de razonamientos deductivos

¿Cuál de los siguientes es un símbolo de conectivo lógico?

• p

• ¬

• q

• r

¿Qué representa el símbolo 'V' en lógica proposicional?

• Disyunción

• Condicional

• Conjunción

• Negación

¿Qué es una proposición simple?

• Una proposición que siempre es verdadera

• Una proposición que no puede descomponerse en partes más simples

• Una proposición que es siempre falsa

• Una proposición que contiene conectivos

¿Qué valor de verdad tiene una proposición falsa?

• F o 0

• V o 1

• Ambos

• Ninguno

¿Qué es una tautología?

• Una fórmula que no tiene valor de verdad

• Una fórmula que es siempre verdadera

• Una fórmula que es siempre falsa

• Una fórmula que depende de la experiencia

¿Qué significa el cuantificador universal '∀'?

• Ninguno

• Para todos

• Al menos uno

• Para algunos

¿Qué es un predicado en lógica de predicados?

• Una relación entre objetos

• Un número

• Una constante

• Un símbolo

¿Qué representa el cuantificador existencial 'Ǝ'?

• Todos los x son iguales

• Para todos los x

• Hay al menos un x tal que P(x)

• Ningún x

¿Cuál es la función de los operadores lógicos?

• Crear gráficos

• Descomponer números

• Resolver ecuaciones

• Conectar proposiciones