Test 2: Evaluación y simplificación de esquemas lógicos

¿Cuándo se dice que un esquema es una contradicción?

• Cuando los valores de verdad de la matriz principal

  resultan ser todos falsos.

• Cuando los valores de verdad de la matriz principal

  resultan ser todos verdaderos

• Cuando en los valores de verdad de la matriz principal se

  obtiene al menos un valor verdadero y al menos un valor falso.

• Ninguna alternativa

¿Cuándo se dice que un esquema es contingente?

• Cuando los valores de verdad de la matriz principal

  resultan ser todos falsos.

• Cuando los valores de verdad de la matriz principal

  resultan ser todos verdaderos

• Cuando en los valores de verdad de la matriz principal se

  obtiene al menos un valor verdadero y al menos un valor falso.

• Ninguna alternativa

¿Cuándo se dice que un esquema es una tautología?

• Cuando los valores de verdad de la matriz principal

  resultan ser todos falsos.

• Cuando los valores de verdad de la matriz principal

  resultan ser todos verdaderos

• Cuando en los valores de verdad de la matriz principal se

  obtiene al menos un valor verdadero y al menos un valor falso.

• Ninguna alternativa

Dado el esquema molecular: [ (p ∨ q) ∨   ̴ q ]

Evalúelo y determine de que tipo es:

• Tautología

• Contingencia

• Contradicción

• Ninguna

Dado el esquema molecular: [ (p Δ q) ∧  ̴ p ]

Evalúelo y determine de que tipo es:

• Tautología

• Contingencia

• Contradicción

• Ninguna

Dado el esquema molecular: [ (p ∧ q) ↔ ( p →   ̴ q) ]

Evalúelo y determine de que tipo es:

• Tautología

• Contingencia

• Contradicción

• Ninguna

Marque la respuesta que exprese las equivalencias correctas, según las leyes de lógica proposicional.

• 1:  ̴ q

  2:   (  ̴ p ∨ q )

  3:   ( ̴ p ∨  ̴ q )

  4:   F

• 1: q

  2:   ( p ∨  ̴ q )

  3:   ( p ∨ q )

  4:   F

• 1:  q

  2:   (  ̴ p ∨ q )

  3:   ( ̴ p ∨  ̴ q )

  4:   ∨

• 1:  ̴ q

  2:   (  ̴ p ∨  ̴ q )

  3:   ( ̴ p ∨  ̴ q )

  4:   V

Marque la respuesta que exprese las equivalencias correctas, según las leyes de lógica proposicional.

• 1:  ( p ∧  q )

  2:  q

  3:  ( ̴ p ∧ q )

  4:  ( p ∧ q ) ∨ ( ̴ p ∧  ̴ q)

• 1:  ( ̴ p ∧   ̴ q )

  2:   ̴ p

  3:  ( p ∧ q )

  4:  ( p ∧ q ) ∨ ( ̴ p ∧  ̴ q)

• 1:  ( ̴ p ∧   ̴ q )

  2:  p

  3:  ( p ∨ q )

  4:  ( p ∧ q ) ∨ ( ̴ p ∧  ̴ q)

• 1:  ( ̴ p ∧   ̴ q )

  2:  p

  3:  ( p ∧ q )

  4:  ( p ∧ q ) ∨ ( ̴ p ∧  ̴ q)

Simplifique la proposición compuesta o expresión molecular: [  ̴ ( p ∧ q ) ] ∨   ̴ q

•  ̴ p ∧  ̴ q

• p ∨ q

•  ̴ p ∨ q

• p ∧ q

Simplifique la proposición compuesta o expresión molecular: ( p → q ) ∨ p

•  ̴ p ∨ q

• p ∨ q

• V

• F