Conectores lógicos

Lenguaje Valor de verdad(Tabla de

Nombre Conectivo Símbolo Símbolo
natural verdad)

No ~ No p ~𝒑 Solo es verdad si la proposición es

Negación
falsa

Y ∧ pyq 𝒑∧𝒒 Solo es verdad cuando ambas

Conjunción
proposiciones son verdaderas

Disyunción O ∨ poq 𝒑∨𝒒 Solo es falso cuando ambas son

inclusiva falsas

Disyunción o…o △ Opoq 𝒑△𝒒 Solo es verdad cuando unas de las

exclusiva dos proposiciones son verdaderas

Si… → Si p 𝒑 →q Solo es falso cuando su p es

entonces, entonces verdadera y q es falsa

Condicional
q

Si y solo si ↔ p Si, solo 𝒑↔𝒒 Solo es verdad cuando ambas son

Bicondicion
si q verdaderas o ambas son falsas
al