Las conectivas logícas
Negación
La negación es una proposición simple, que resulta de contradecir el sentido de verdad de dicha proposición.
Símbolo:¨¬¨
Ejemplo:
P:Hoy está lloviendo. Su negación ~P: Hoy no está lloviendo
Subtopic
Conjunción
La conjunción es una proposición compuesta que resulta de unir las proposiciones simples con el enlace “y”
Símbolo:¨∧¨
Ejemplo:
El automóvil enciende cuando tiene gasolina y tiene corriente la batería
P: El automóvil enciende cuando tiene gasolina.
q: El automóvil enciende cuando tiene corriente.
Se representa: p ^ q
Disyunción
La disyunción es una proposición compuesta que resulta de unir las proposiciones simples con el enlace “o”. Se clasifica en: disyunción inclusiva y disyunción exclusiva.
Símbolo:¨∨¨
Ejemplo:
Subtopic
“Una persona puede entrar al teatro si compra el boleto u obtiene una invitación gratuita”
P:Una persona entra al teatro si compra el boleto.
Q:Una persona entra al teatro si tiene obtiene una invitación gratuita.
Se representa P v q
Condicional
Una condicional es una proposición de la forma “Si p entonces q”, donde “p es una condición suficiente para que q se cumpla”.
Símbolo:¨⇒ → ⊃¨
Ejemplo:
Subtopic
Un candidato a la alcaldía dice: si salgo elegido alcalde, los niños recibirán alimentación gratuita.
P: salió elegido alcalde.
Q: los niños recibirán alimentación gratuita.
se representa: p —> q