CONECTIVOS LOGICOS
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y
técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía,
matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o
no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite
saber el significado correcto. En las matemáticos para demostrar teoremas e inferir resultados
matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar
programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se
realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una
ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si
una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no
puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes
no pintó la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es
zurdo o derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el
caso, todo esto es la aplicación de la lógica.
Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos
diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También
es común considerar a la negación como un conectivo monádico.
En lógica, una conectiva lógica, o simplemente conectiva, (también llamado operador lógico o
conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien
formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula
compuesta depende del valor de verdad de las fórmulas componentes.
Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de
muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.
Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos
valores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectiva
lógica puede ser definida mediante una tabla de valores de verdad que indique qué valor
devuelve la conectiva para cada combinación de valores de verdad. A continuación hay una
tabla con las conectivas más usuales y su definición mediante tablas de verdad:
Ejemp Análo
Ejemplo de uso
lo go Tabla de
Conectiva Notación en
de natura verdad
el lenguaje natural
uso l
Negación no No está lloviendo.
Está lloviendo y es
Conjunción y
de noche.
Está lloviendo o es
Disyunción o
de noche.
si... Si está
Condicional
entonc lloviendo,entonces
material
es es de noche.
Está lloviendo si y
Bicondicion si y
sólo si es de
al sólo si
noche.
Negación Ni está lloviendo ni
ni... ni
conjunta es de noche.
o O bien está
Disyunción
bien... lloviendo,o bien es
excluyente]
o bien de noche.
]Otras conectivas
Dado que las conectivas son funciones de verdad, existirán tantas conectivas como
funciones de verdad. Sin embargo, no todas las funciones de verdad tienen análogos
en el lenguaje natural, y en consecuencia, no todas son estudiadas con el mismo
interés. A continuación se incluye una tabla que lista las 18 conectivas binarias
posibles.
Donde:
es una tautología.
es la disyunción.
es el condicional material inverso.
es el condicional material.
es el bicondicional.
es la conjunción.
es la negación alternativa, incompatibilidad, o "NAND".
es la disyunción exclusiva, contravalencia o "XOR".
es la negación del condicional material.
es la negación del condicional inverso.
es la negación conjunta, o "NOR".
es una contradicción.
TRADUCCION DE LENGUAJE ORDINARIO AL LENGUAJE LOGICO
Formalizar supone una labor de traducción del lenguaje natural al lenguaje de la lógica
proposicional. Esta tarea tiene dos partes, la de crear un esquema de traducción y la de traducir
las distintas conjunciones del lenguaje natural al lenguaje lógico. p V q
A continuación examinaremos cada una de ellas, finalizando con el uso de los paréntesis en la
traducción.
La primera tarea supone aparear oraciones del lenguaje natural con oraciones del lenguaje
formal y hacerlo de modo uniforme a lo largo de la traducción. Esto no es otra cosa que asignar
a cada oración del lenguaje natural una letra proposicional (p,q,r,s…).
p V s
r conjunción s
t disyunción r
10 proposiciones compuesta
La tarea principal consiste en delimitar bien las oraciones que encontramos en el fragmento del
lenguaje natural que estamos definiendo para después poder identificar cada una de sus
apariciones a lo largo del fragmento para poder así cambiar uniformemente todas sus
apariciones. La dificultad de esto estriba en que algunas veces es difícil identificar las
oraciones que participan activamente en el argumento, pues éstas pueden ir acompañadas de
oraciones que no tienen ningún papel en la argumentación. En casos como éste es importante
captar de forma previa la estructura del argumento y rescribirlo en el lenguaje natural despojado
de todos los elementos accesorios para posteriormente emprender la traducción al lenguaje de
la lógica.
Otro problema que puede surgir en la identificación de los enunciados del lenguaje natural es
que un mismo enunciado pueda aparecer expresado por varias oraciones distintas, o bien se
haga referencia al mismo mediante algún tipo de expresión del tipo si esto sucede…., dado lo
anterior…etc. En este caso se trata sólo de llevar a cabo con cierto cuidado la labor que
tenemos encomendada.
La segunda tarea es la de traducir las diferentes conjunciones o nexos del lenguaje natural al
lenguaje formal. En este caso sí que contamos con un amplio repertorio de convenciones que
facilitan esta tarea. He aquí una lista de esos ejemplos por conectivas.
Asi, por ejemplo, si alguien dice:
Ningún emperador es odontólogo
Estudiada la Introducción a la Lógica de Predicados no sería dificil traducir la expresión
anterior en lenguaje formal de Lógica de Predicados, asi:
TABLAS DE VERDAD
Definimos una tabla de verdad como un arreglo que nos permite tener los posibles
valores de verdad de una proposición compuesta a partir de los valores de verdad de
las proposiciones simples.
Las tablas de verdad para los conectivos lógicos listados arriba son las siguientes:
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de
verdad de una proposición compuesta, para cada combinación de verdad que se pueda
asignar.1
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más
popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus,
publicado en 1921.
La tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de
verdad de una proposición
Compuesta, para cada combinación de valores de verdad que se pueda asignar a sus
componentes.
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más
popular es el que introdujo
Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
En realidad toda la lógica está contenida en las tablas de verdad, en ellas se nos
manifesta todo lo que implican las relaciones sintácticas entre las diversas
proposiciones.
No obstante la sencillez del algoritmo, aparecen dos dificultades.
La gran cantidad de operaciones que hay que hacer para una proposición con más de 4
variables.
Esta dificultad ha sido magníficamente superada por la rapidez de los ordenadores, y
no presenta dificultad alguna.
Que únicamente será aplicable a un esquema de inferencia, o argumento cuando la
proposición condicionada, como conclusión, sea previamente conocida, al menos como
hipótesis, hasta comprobar que su tabla de verdad manifiesta una tautología.
Por ello se construye un cálculo mediante cadenas deductivas:
Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman
como premisas de un argumento.
Se establecen como reglas de cálculo algunas tautologías como tales leyes lógicas,
(pues garantizan, por su carácter tautológico, el valor V).
Se permite la aplicación de dichas reglas como reglas de sustitución de fórmulas bien
formadas en las relaciones que puedan establecerse entre dichas premisas.
Deduciendo mediante su aplicación, como teoremas, todas las conclusiones posibles
que haya contenidas en las premisas.
Cuando en un cálculo se establecen algunas leyes como principios o axiomas, el
cálculo se dice que es axiomático.
El cálculo lógico así puede utilizarse como demostración argumentativa.
TABLAS DE VERDAD PARA PROPOSICIONES COMPLEJAS
Se tiene el siguiente enunciado lógico (p v ~q) ^ r, encuentre su tabla de verdad:
Obsérvese que en este caso aparecen involucrados en la proposición compleja tres
proposiciones simples, p, q, y r. Para poder determinar la cantidad de criterios de
verdad a considerar al construir la tabla, se aplica la siguiente fórmula:
No. de líneas = 2n, donde n= número de variables distintas.
Ejemplos:
1.
F
2. Se tiene una sola variable p, entonces n=1 y 21=2, luego:
p q
VV
VF
F V
F F
3. Se tienen dos variables p y q, entonces n=2 y 22=4, luego:
4. 3- Se tienen tres variables p, q y r, entonces n=3 y 23=8, luego:
p q r
VVV
VVF
VF V
VF F
F VV
F VF
F F V
F F F
En el caso en consideración tenemos tres variable (p,q,r) y aplican las reglas algebraicas de
solución de los paréntesis (de adentro hacia afuera) por tanto se resuelve de la siguiente manera
(p v ~ q) ^ r
V V F V V V
V V F V F F
V V V F V V
V V V F F F
F F F V F V
F F F V F F
F V V F V V
F V V F F F
1 3 2 1 4 1
Pasos utilizados al construir la tabla de verdad resultante:
1. Se anotaron los criterio de verdad elementales de cada variable
2. Se resolvió la negación de q (~q).
3. Se resolvió el paréntesis ( p v ~q)
4. Se resolvió la conectiva final "y" (^)
Negación
La negación de una proposición es una nueva proposición que tiene un valor de verdad
opuesto a la proposición original. Es decir, si el valor de verdad de una proposición p es
verdadero, entonces el valor de verdad de ~p es falso.
La tabla de verdad para el conectivo ~ está dada por
p ~p
VF
FV
Disyunción
La disyunción es la proposición compuesta que resulta de conectar dos proposiciones,
p y q, mediante el conectivo .
Esta proposición compuesta de denota por y se lee p o q.
La tabla de verdad para el conectivo está dada por
p q
V VV
V FV
F VV
F FF
Se puede ver que para que una proposición compuesta tenga valor de verdad
verdadero, basta con una de las proposiciones simples tenga valor de verdad
verdadero.
Conjunción
La conjunción es la proposición compuesta que resulta de conectar dos proposiciones,
p y q, mediante el conectivo .
Esta proposición compuesta de denota por y se lee p y q.
La tabla de verdad para el conectivo está dada por
p q
V VV
V FF
F VF
F FF
Se puede ver que para que una proposición compuesta tenga valor de verdad
verdadero, ambas proposiciones simples deben tener valor de verdad verdadero.
Condicionante
La condicional es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo .
Esta proposición compuesta de denota por y se lee p implica q.
En esta proposición compuesta, la proposición simple p se llama antecedente,
mientras que la proposición simple q se llama consecuente.
La tabla de verdad para el conectivo está dada por
p q
V VV
V FF
F VV
F FV
REGLAS Y VALIDEZ DE RAZONAMIENTOS
En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas,
extraer conclusiones y aprender de manera consciente de los hechos, estableciendo
conexiones causales y lógicas necesarias entre ellos. En sentido más restringido se puede
hablar de diferentes tipos de razonamiento:
El razonamiento consiste en una operación lógica por lo cual inferimos un juicio nuevo a partir
de los ya establecidos; consta de materia y forma, la materia son los juicios que forma el
razonamiento, mismos que a su vez están compuestos por conceptos o ideas. La forma, por su
parte es la manera como ordenamos dichos juicios. Es una caracteristica que hace diferente al
hombre del animal.
La validez de un razonamiento depende de que su conclusión siga a las premisas presentadas,
de lo contrario su conclusión será falsa y a esto se le denomina invalidez.
Un raciocinio es valido solamente si las premisas que presenta son verdaderas y su conclusión
falsa, no depende de la materia sino de la forma de un razonamiento.
Razonamiento lógico
En un sentido restringido, se llama razonamiento lógico al proceso mental de realizar una
inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser
una consecuencia lógica de las premisas y aun así dar lugar a un razonamiento, ya que un mal
razonamiento aún es un razonamiento en sentido amplio, no en el sentido de la lógica. Los
razonamientos pueden ser válidos correctos o no válidos incorrectos dando por todo.
En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte
suficiente a su conclusión. Puede discutirse el significado de "soporte suficiente", aunque
cuando se trata de un razonamiento no deductivo no podemos hablar de validez sino de
"fortaleza" o "debilidad" del razonamiento dependiendo de la solidez de las premisas, la
conclusión podrá ser más o menos probable pero jamás necesaria, solo es aplicable el término
"válido" a razonamientos del tipo deductivo. En el caso del razonamiento deductivo, el
razonamiento es válido cuando la verdad de las premisas implica necesariamente la verdad de
la conclusión.
Los razonamientos no válidos que, sin embargo, parecen serlo, se denominan falacias.
El razonamiento nos permite ampliar nuestros conocimientos sin tener que apelar a la
experiencia. También sirve para justificar o aportar razones en favor de lo que conocemos o
creemos conocer. En algunos casos, como en las matemáticas, el razonamiento nos permite
demostrar lo que sabemos.
El término razonamiento es el punto de separación entre el instinto y el pensamiento, el instinto
es la reacción de cualquier ser vivo. Por otro lado el razonar nos hace analizar,y desarrollar un
criterio propio, el razonar es a su vez la separación entre un ser vivo y el hombre.
En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican
la conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que el
argumento es deductivamente válido. Algunos consideran estas dos nociones idénticas y usan
ambos términos indistintamente. Otros, sin embargo, consideran que puede haber argumentos
válidos que no sean deductivamente válidos, como las inducciones. En cualquier caso, de las
inducciones a veces se dice que son buenas o malas, en vez de válidas o inválidas.