Cuadro b1sico de los conectivos l2gicos

Apuntes

• Subtema: Cuadro básico de los conectivos lógicos CONECTIVO (A) LECTURA SÍMBOLO EJEMPLO SIMBOLIZACIÓN Conjunción • y • aunque • pero ● El sol es una estrella y la luna es un satélite (p • q) Disyunción • o • o bien ν El sol es una estrella o la luna es un satélite (p ∨ q) Condicional • Si, entonces ⊃ Si el sol es una estrella, entonces la luna es un satélite (p ⊃ q) Bicondicional • Si y sólo si • es equivalente a ≡ El sol es una estrella si y sólo si la luna es un satélite (p ≡ q) Negación • No • No es el caso • No es cierto que ∼ No es cierto que el sol es una estrella ...