Proposicional y conectivas

Las proposiciones tienen función

• Informativa

• Imperativa

• Exclamativa

• Interrogativa

Una proposición es:

• Una pregunta atómica con un valor de verdad

• La expresión más importante que estudia la lógica proposicional con un valor de verdad

• La unidad de expresión mínima que estudia la lógica proposicional con un valor de verdad

¿A que conectiva corresponde esta tabla de verdad?

• Conjunción

• Implicación

• Disyunción

• Bicondicional

¿A qué conectiva corresponde esta tabla de verdad?

• Implicación

• Conjunción

• Bicondicional

• Negación

• Conjunción

¿A qué conectiva corresponde esta tabla?

• Bicondicional

• Disyunción

• Implicación

• Conjunción

(p → q) es lo mismo que (q → p)

• Correcto

• Incorrecto

En la expresión (p v q) → (r v s) ¿quién es el consecuente?

• (p v q)

• (r v s)

En la frase, "Es condición necesaria ser latinoamericana para ser argentina"

¿Quien es el consecuente?

• ser latinoamericana

• ser argentina

p ↔ q es equivalente a decir.....

• p → q

• (p → q) v (q → p)

• (p → q) ∧ (q → p)

¿Cómo pruebo que dos expresiones son equivalentes lógicamente?

• con que sean iguales visualmente alcanza para demostrarlo

• no puede probarse de forma lógica

• si me dá una contingencia al hacer: Expresión 1 <-> Expresión 2

• si me dá una tautología al hacer: Expresión 1 -> Expresión 2

• si me dá una tautología al hacer: Expresión 1 <=> Expresión 2