Conectivas extensionales 1
CONECTIVAS EXTENSIONALES.
Las conectivas extensionales son el núcleo de la lógica proposicional clásica. Para su
comprensión el alumno tiene que tener claras:
-la diferencia entre castellano usual y castellano extensional.
-la diferencia entre lengua natural y formalismo.
-las nociones de formalización o abstracción lógica y de interpretación.
-la idea básica del formalismo de la lógica proposicional clásica.
Esta lista es una herramienta para la formalización y la paráfrasis lógica (ver material
anexo). Recordamos que las conectivas extensionales son cinco y que no hay una
convención única sobre los símbolos que se emplean, pudiéndose encontrar unos u otros
de esta lista:
Negación: - o ¬ o ~
Conjunción: o . o &
Disyunción:
Condicional: o (excepcionalmente )
Bi-condicional: o (excepcionalmente )
NEGACIÓN
Las palabras que expresan la negación pueden adjetivos o adverbios negativos o partes de
palabras. Por ejemplo en castellano:
no...
no es cierto que...
no es verdad que...
nunca...
carece de...
sin...
Pero existen varios prefijos negativos: a-, des-, in-, i-.
Así la oración “Juan es inadaptado” deberá formalizarse tomando al prefijo in- como una
negación y quedará No-(Juan es adaptado).
Condición de verdad: una proposición negativa afirmada, niega el valor de verdad de la
proposición afirmativa que le corresponda.
CONJUNCIÓN:
Conectivas extensionales 2
Una proposición compuesta conjuntiva supone la mutua afirmación de ambos conjuntos, y
su condición de verdad es -correspondientemente- que ambas proposiciones componentes
sean verdaderas, en castellano usual las palabras para la conjunción son:
...también...
...además...
...ante todo...
...adicionalmente...
...en adición...
...ahora...
...pero...
...mas...
...también...
...sin embargo...
...incluso...
...inclusive...
...así mismo...
...de igual forma...
...del mismo modo...
...igualmente...
...sin embargo...
...no obstante...
...pero...
...pese...
...empero...
...aunque...
...aun así...
...a pesar de que...
...tanto como...
...al igual que...
...por otra parte...
...más...
...no... ni..." (el "ni" también es una negación)
Conectivas extensionales 3
...aparte...
...así mismo...
...dicho esto...
...por otro lado...
DISYUNCIÓN INCLUSIVA
Es una afirmación alternativa que puede incluyente: ser una, otra o ambas a la vez.
(la disyunción débil o y/o), o excluyente: una u otra pero nunca ambas. Dado que
todo lo que se afirma con la disyunción excluyente se puede formalizar con la
disyunción formal débil, nuestro formalismo sólo considerará a esta última; en
castellano usual las expresiones de la disyunción son:
...a menos que...
...o...
tal vez... tal vez...
...de pronto...
...de pronto también....
...aunque de pronto...
puede... puede...
sea...sea...
Condición de verdad. : la des F cuando las dos son F.
CONDICIONAL.
Dado el rol de las fórmulas condicionales en el método de prueba del condicional asociado,
y las pruebas derivadas o condicionales en la deducción natural es la conectiva que más
debe atenderse. Su estructura es Antecedente (p) + conectiva condicional + consecuente
(q)
Conectivas extensionales 4
Una afirmación condicional, lo que hace es afirmar un enlace de dependencia entre algo
dado -la condición o antecedente- y algo que depende de ella -lo condicionado o el
consecuente. La clave para reconocer cual es el antecedente, es que si la proposición
condicional está afirmada, el antecedente no puede ocurrir sólo, sino que cuando ocurre,
simultáneamente ocurre el consecuente y no puede ser de otra manera. Ahora el
consecuente si puede ocurrir solo, dado que una proposición condicional no afirma que el
consecuente no pueda ocurrir sin la condición, sino que afirma que dada la condición,
entonces sí, el consecuente tiene que ocurrir en forma inexorable.
Palabras conectivas que introducen la condición o el antecedente de la proposición
condicional (usaremos la notación: S para la condición suficiente o antecedente, y
N para la condición necesaria o consecuente):
Si S entonces N
Si S, .N
Cuando S, N
Siempre que S, se da N
S es condición suficiente para que N.
N sólo si S
N es condición necesaria para S
Dado que S, N
Bajo la condición que S, N
En el caso que S. N
N, previsto que S
N si S
N solo bajo la condición que S
S, por ende N
S en consecuencia N
N porque S
N, ya que S
P implica Q
N es necesaria para S
Conectivas extensionales 5
N siempre que S
N se desprende de S
Condición: es falsa sólo si el antecedente (p) es V y el consecuente (q) es F.
BICONDICIONAL
Una proposición bicondicional puede entenderse como la conjunción de dos
condicionales: así “P si y solo si Q” puede entenderse como “Si P entonces Q” y “Si
Q entonces P”. El bicondicional será verdadero cuando ambos componentes
tengan el mismo valor de verdad, sean ambos verdaderos o falsos.
Palabras conectivas que introducen el bicondicional:
...si y sólo si...
...cuando y sólo cuando...
...es equivalente a...
...es condición suficiente y necesaria para...
...es lo mismo que...
...significa que...
...es igual a que...
Condición: son verdaderas si ambas proposiciones tienen el mismo "valor de
verdad"
