Conectivas Lógicas
Negación
Es una operación sobre proposiciones. La negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa.
Tabla de la verdad
Lenguaje natural
no, negativo, jamás, nada, nunca, ningún
Símbolos: ~p, -p, p y NA, ¬p
q= El Shoemaker-Levy 9 colisionó contra Júpiter en 1994.
~q= El Shoemaker-Levy 9 no colisionó contra Júpiter en 1994
r= Edgar Allan Poe descifró el Universo.
~r= Edgar Allan Poe no descifró el universo.
Conjunción
Es una proposición compuesta que resulta de combinar dos proposiciones simples con la conjunción "y".
Tabla de la verdad
Lenguaje natural
y, e, pero, luego, no obstante, sino
Símbolos: ∧, •
p∧q= La banda Nightwish estrenó una canción sobre Eugene Shoemaker y este fue un astrónomo.
r^~s= René Descartes escribió el Discurso del Método, pero su obra no fue escrita en latín.
r= René Descartes escribió el Discurso del Método.
s= Su obra fue escrita en latín.
~s= Su obra no fue escrita en latín.
~a^b= The Rime of the Ancient Mariner no es un poema corto, y un grupo musical compuso una canción inspirada en esa obra.
~a= The Rime of the Ancient Mariner no es un poema corto.
a= The Rime of the Ancient Mariner es un poema corto.
b= Un grupo musical compuso una canción inspirada en esa obra.
Elaborado por Lucía Chu. 12°A
Disyunción
Lenguaje natural
o
Combina dos proposiciones y la expresión resultante es verdadera si al menos alguna de ellas es verdadera.
Tabla de la verdad
Símbolos: ∨
p v q= Marie Curie descubrió el radio o el polonio.
p= Marie Curie descubrió el radio.
q= Marie Curie descubrió el polonio.
r v s= Bruce Dickinson es vocalista de Iron Maiden o es piloto de avión.
r= Bruce Dickinson es vocalista de Iron Maiden.
s= Bruce Dickinson es piloto de avión.
Condicional
Lenguaje natural
si p entonces q; si p es verdad, entonces q es verdad
Es una conectiva lógica que enlaza dos enunciados, y dice que uno de ellos, el antecedente, es una condición suficiente para el otro, el consecuente.
Tabla de la verdad
Símbolos: ⇒ → ⊃
p→q= Si quieres empezar a leer sobre filosofía, entonces te recomendaré El Mundo de Sofía de Jostein Gaarder.
p= Quieres empezar a leer sobre filosofía.
q=Te recomendaré El Mundo de Sofía de Jostein Gaarder.
~r→~s= Si El Principito no es un libro muy recomendado, entonces no lo compraré.
r= El Principito es un libro muy recomendado.
~r= El Principito no es un libro muy recomendado.
s= Lo compraré.
~s= No lo compraré.