Conectores Lógicos de la Lógica Formal

La lógica formal es una ciencia acerca de los esquemas válidos de razonamiento. Esta analiza
a partir de dos enunciados o premisas si la inferencia que se saca de ellas tiene validez o no,
es decir si es verdadera o falsa.
Para elaborar una proposición compuesta por otras simples se usan los conectores lógicos,
estos pueden ser de negación, conjunción, disyunción, implicación o biimplicación.
En la lógica formal los enunciados pueden ser representados por las letras p,q,r,etc., pues se
examina su validez sin importar el contenido de estos.

Negación (~)
Los enunciados se pueden negar, esto será, no-p (~p). “Ahora bien: “~p” es también un
enunciado. Tendrá, pues, un valor de verdad. Pero su valor de verdad no será evidentemente,
el mismo que el de p” (Deaño,1999, p. 58).

p ~p
V F
F V

Así, si “p” es verdadero, “~p” será falso. Y cuando “p” es falso, su negación será verdadera.

Ejemplo: P: El parque está sucio.

~P: El parque no está sucio.

Conjunción (^)
Una forma de relacionar dos enunciados cualquieras p y q es por medio de la conjunción “y” (^).
La unión de p y q será a su vez un enunciado, siendo este formado por dos enunciados simples.
De esta manera “p^q” poseerá su propio valor de verdad. Se puede inferir que la conjunción de
p y q sólo será verdadera cuando ambas proposiciones lo sean, en los otros casos será falsa.

p q p^q
V V V
V F F
F V F
F F F

Ejemplo: P: El número 8 es par.

Q: El número 8 es divisible por 2.
P^Q: El número 8 es par y es divisible por 2.
Así, si 8 no es par tampoco es divisible por 2 por lo que “p^q” será falso.

Disyunción (v)
Consiste en unir dos proposiciones mediante la conjunción “o”. La disyunción puede ser
excluyente o no excluyente. Cuando es no excluyente es falsa sólo si ambas proposiciones son
falsas. Si es excluyente será verdadera cuando ambos enunciados tengan valores diferentes
de verdad, de lo contrario es falsa. Por lo general, en la lógica es más importante la disyunción
no excluyente, por lo que sólo se mostrará la tabla de verdad de ésta.
 p q pvq
V V V
V F V
F V V
F F F

Ejemplo:
Supongamos que Juan dice: “Llevaré a mi novia flores o dulces”. Si tan sólo le lleva
flores, Juan ha dicho la verdad; si solamente le lleva dulces, también ha dicho la verdad;
si le lleva flores y dulces, Juan queda espléndidamente, es decir, una vez más ha dicho
la verdad; pero si no le llevara flores y tampoco le llevara dulces, Juan sería un mentiroso,
habría dicho una falsedad. (Chaparro, 2017, p. 30)

Implicación ( )
“La partícula “si…, entonces…” es también una partícula de unión entre enunciados. Podemos
establecer entre un enunciado p y un enunciado q una relación que consistiría en decir: si p,
entonces q (p q)” (Deaño,1999, p. 68). La implicación es falsa solo cuando el antecedente
(p) es verdadero y el consecuente (q) es falso, en el resto de casos será verdadera.

p q p q
V V V
V F F
F V V
F F V

Ejemplo: “Si Colombia posee 1‟138.338 Km2 y Brasil 8‟511.965 de superficie, entonces
Colombia posee más superficie que Brasil es una proposición falsa; aquí la primera proposición
componente es verdadera y la segunda es falsa” (Chaparro, 2017, p. 31).
Biimplicación ( )
“Es la equivalencia de dos términos entre sí, cuya tabla de verdad dice, que sólo es verdadera
cuando coinciden los valores de verdad, en los demás casos es falsa” (Chaparro, 2017, p. 32).
p q p q
V V V
V F F
F V F
F F V

Ejemplo: P: Z es par.
Q: Z es divisible por 2.
P Q: Z es par si y sólo si es divisible por 2.
Referencias

Chaparro, M. (2017). Pensamiento salvaje de Lévi-Strauss para principiantes. Tunja, Colombia.

Deaño, A. (1999). Introducción a la lógica formal. Recuperado de

https://librosfilosofia.files.wordpress.com/2014/09/deac3b1o-alfredo-2009-introduccic3b3n-a-
la-lc3b3gica-formal-alianza-espac3b1a.pdf