CONECTIVOS LOGICOS

CONECTIVO SIMBOLO ESCRITURA LECTURA DEFINICION TABLA

La conjunción es verdadera si las 𝑝 𝑞 𝑝 ∧ 𝑞
proposiciones dadas son verdaderas, en V V V
Conjunción ∧ 𝑝 ∧ 𝑞 𝑝 𝑦 𝑞 otro caso es falsa V F F
F V F
F F F
La disyunción es verdadera si una de las 𝑝 𝑞 𝑝 ∨ 𝑞
proposiciones dadas es verdadera en V V V
Disyunción ∨ 𝑝 ∨ 𝑞 𝑝 𝑜 𝑞 otro caso es falsa V F V
(Incluyente) F V V
F F F
La implicación es falsa si se tiene 𝑝 𝑞 𝑝 ⟹ 𝑞
Implicación o antecedente verdadero y consecuente V V V
condicional ⟹ 𝑝 ⟹ 𝑞 𝑆𝑖 𝑝 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑞 falso, en otro caso es siempre verdadero V F F
F V V
F F V
La doble implicación es verdadera 𝑝 𝑞 𝑝 ⟺ 𝑞
Doble Implicación cuando las proposiciones dadas tiene el V V V
o Bicondicional ⟺ 𝑝 ⟺ 𝑞 𝑝 𝑆𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑞 mismo valor de verdad, en otro caso es V F F
falsa F V F
F F V
La disyunción excluyente es verdadera 𝑝 𝑞 𝑝 ⊻ 𝑞
Disyunción 𝑝 𝑜 𝑞 cuando las proposiciones dadas tienen V V F
Excluyente ∨ 𝑝 ⊻ 𝑞 𝑝𝑒𝑟𝑜 𝑛𝑜 𝑎𝑚𝑏𝑜𝑠 diferente valor de verdad, en otro caso V F V
es falsa F V V
F F F
La negación de una proposición , es 𝑝 ∼𝑝
Negación ∼ ∼𝑝 𝑁𝑜 𝑝 simplemente el valor de verdad V F
contrario a la inicial F V