Evaluación de Lógica Proposicional

Si p es verdadero y q es falso, ¿cuál es el valor de p ∧ q?

• a) Verdadero

• b) Falso

• c ) No se puede determinar

• d) Indeterminado

¿Qué significa la disyunción en lógica proposicional?

• a) La disyunción es un tipo de proposición que no tiene relación con la verdad.

• b) La disyunción es una afirmación que siempre es falsa.

• c) La disyunción es una operación que requiere que ambas proposiciones sean verdaderas.

• d) La disyunción es una operación lógica que indica que al menos una de las proposiciones es verdadera.

Si p es verdadero, ¿cuál es el valor de ∼ p?

• a) Nulo

• b) Verdadero

• c) Indeterminado

• d) Falso

Si p es verdadero y q es verdadero, ¿cuál es el valor de p ↔ q?

• a) Verdadero

• b) No aplicable

• c) Indeterminado

• d) Falso

¿Qué es una Tautología en lógica proposicional?

• a) Una tautología es una proposición que depende de la interpretación del contexto.

• b) Una tautología es una proposición que puede ser verdadera o falsa.

• c) Una tautología es una proposición que siempre es verdadera.

• d) Una tautología es una proposición que siempre es falsa.

Completa la tabla de la Verdad para la Proposición ( p ∧ ∽q ) ∨ ( r → p ). Considera p (v,v,v,v);

q (v,v,f,f) y r (v,f,v,f)

• a) v

  v

  v

  f

• b) v

  f

  v

  f

• a) v

  v

  v

  v

• d) f

  v

  v

  v

Identifica la proposición lógicamente equivalente a ∼( p ∨ q) utilizando las Leyes de De Morgan.

• a) ∼ p v q

• b) ∼ p v ∼q

• c) p ∧ ∼q

• d) ∼p ∧ ∼q

Aplica la regla de Modus Ponens para deducir una conclusión válida a partir de las premisas:

 

Premisa 1: ( p → ∼ q)

 

Premisa 2: p

 

• a) ∼ q

• b) p

• c) q

• d) ∼ p

  La ley de la lógica proposicional que permite simplificar la siguiente proposición:

( p → q ) ∧ ( q → r ) → ( p →r)

• a) Silogismo Disyuntivo

• a) Silogismo Hipotético

• a) Modus Ponendo Ponens

• d) Modus Tollendo Tollens

La Expresión [ ( p ∨ q ) → r ] ≅ ( p → r ) ∧ ( q → r ) se logra aplicando las Leyes del Algebra Proposicional de la siguiente manera:

• a) Condicional, Distributiva,

  De Morgan, Condicional

• b) Condicional, Asociativa,

  De Morgan, Condicional

• c) Condicional,

  De Morgan,

  Distributiva,

  Condicional

• d) Condicional,

  Asociativa,

  Distributiva,

  Condicional