Leccion #2 - Logica Matemática

¿Cuál de las siguientes es una forma proposicional compuesta?

• p

• q

• p ∧ q

• Todas las anteriores

La tabla de verdad de una tautología tiene:

• Solo valores de verdad F (falso)

• Solo valores de verdad V (verdadero)

• Una mezcla de V y F

• Ninguna de las anteriores

Una contradicción es una proposición compuesta que siempre es:

• Verdadera

• Falsa

• A veces verdadera, a veces falsa

• Indeterminada

¿Cuál de las siguientes es una equivalencia lógica?

• p → q ≡ q → p

• p ∨ q ≡ p ∧ q

• p → q ≡ ¬p ∨ q

• Ninguna de las anteriores

La implicación lógica p → q se lee como:

• p y q

• p o q

• si p, entonces q

• ni p ni q

Un razonamiento es válido si:

• Las premisas son verdaderas.

• La conclusión es verdadera.

• La conclusión se sigue lógicamente de las premisas.

• Ninguna de las anteriores.

¿Cuál es el método de demostración que consiste en suponer lo contrario de lo que se quiere probar y llegar a una contradicción?

• Demostración directa

• Demostración por casos

• Demostración por inducción

• Demostración por reducción al absurdo

Dada la proposición q: "Llueve" y p: "El suelo está mojado", ¿cuál es la traducción simbólica de "Si llueve, entonces el suelo está mojado"?

• p ∧ q

• p → q

• q → p

• ¬p ∨ q

¿Cuál de las siguientes leyes de De Morgan es correcta? (Puede seleccionar mas de 1)

• ¬(p ∧ q) ≡ ¬p ∧ ¬q

• ¬(p ∨ q) ≡ ¬p ∨ ¬q

• ¬(p ∧ q) ≡ ¬p ∨ ¬q

• ¬(p ∨ q) ≡ ¬p ∧ ¬q

Si la proposición [(p → q) ∧ (¬r ∨ s)] → t es falsa y sabemos que p, q, y r son verdaderas, entonces el valor de verdad de t es:

• Verdadero

• Falso

• Indeterminado

• Ninguna de las anteriores