La teoría general de la lógica

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.
Es importante mencionar que en las demostraciones no hay un solo camino para
llegar al resultado. El camino puede ser más largo o corto dependiendo de las
reglas de inferencia y tautologías que el alumno seleccione, pero definitivamente
deberá llegar al resultado. Puede haber tantas soluciones como alumnos se tenga
en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la
aplicación de reglas y fórmulas. De tal manera que cuando llegue a poner en
práctica esto, él sea capaz de inventar su propia solución, porque en la vida cada
uno resuelve sus problemas aplicando las reglas de inferencia para relacionar los
conocimientos y obtener el resultado.
La lógica matemática es la disciplina que trata de métodos de razonamiento. En
un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o
no valido un argumento dado. El razonamiento lógico se emplea en matemáticas
para demostrar teoremas; en ciencias de la computación para verificar si son o no
correctos los programas; en las ciencias física y naturales, para sacar conclusiones
de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver
una multitud de problemas. Ciertamente se usa en forma constante el
razonamiento lógico para realizar cualquier actividad.

Verdad y Validez de un enunciado

Definición:  
Verdad

Un enunciado (o una proposición) es verdadero, cuando hay una

correspondencia entre la realidad y el enunciado. También cabe recuerda que
los enunciados o proposiciones se definen como el significado de oraciones
declarativas que pueden ser verdaderas o falsas.
Lo que debemos recordar en lo sucesivo es que sólo los enunciados son
verdaderos o falsos. Nunca diremos que un argumento es verdadero o falso,
sino diremos que es válido o inválido.
Verdad: Adecuación entre una proposición y el estado de cosas que expresa.
“la proposición ‘la nieve es blanca’ es verdad si la nieve es blanca”
2- Conformidad entre lo que una persona manifiesta y lo que ha experimentado,
piensa o siente.
"efectivamente era verdad todo lo que me comentó"
Validez:
La lógica se ocupa principalmente de establecer una clara distinción entre
razonamientos válidos y razonamientos inválidos. Los razonamientos válidos
son aquellos en los que la inferencia entre las premisas y la conclusión es
perfecta. Por tanto, lo esencial para determinar si un argumento es o no válido
es analizar su forma o estructura (independientemente de su contenido
material). A continuación proporcionamos tres formas equivalentes de
establecer este criterio de validez:

 Si las premisas de un argumento válido son verdaderas, entonces su

conclusión también es verdadera.
  Es imposible que la conclusión de un argumento válido sea falsa siendo
sus premisas verdaderas.
 En un argumento válido, la verdad de las premisas es incompatible con la
falsedad de la conclusión.
En este contexto también consideraremos que las premisas, en tanto que
conjuntos de proposiciones, son verdaderas sólo cuando todas y cada una de
ellas sean verdaderas, y que son falsas cuando al menos una de ellas sea
falsa.
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.
2- En el terreno de la lógica, la validez de un argumento es la propiedad que se
evidencia cuando la conclusión está implícita en las premisas. Es importante tener
en cuenta que un argumento puede ser deductivamente válido, aunque su
conclusión no sea verdadera.

El siguiente argumento tiene validez desde el punto de vista lógico pero su

conclusión no resulta necesariamente verdadera:
1. Si no estamos en abril, entonces estamos en mayo.
2. Hoy no estamos en abril.
3. Por lo tanto, estamos en mayo.

Si bien el argumento es deductivamente válido, su conclusión puede no ser

verdadera (es posible que “no estemos en abril” y que tampoco “estemos en
mayo”).
Silogismo disyuntivo
El esquema usado para determinar si un argumento es válido se denomina
silogismo disyuntivo, ya que presenta dos opciones (que podemos llamar p y q),
elimina una y, por lo tanto, permite deducir que nos encontramos frente a la otra.
Veamos un ejemplo a continuación, que puede resultar similar al anterior, aunque
no es igual:
1. El documento se encuentra en el cajón de la derecha o en el de la izquierda.
2. No se encuentra en el cajón de la izquierda.
3. Por lo tanto, se encuentra en el cajón de la derecha.
En un caso como éste, basta con determinar la validez del esquema para saber si
sus argumentos son válidos también, y esto es posible por medio de la semántica
(si no es posible que la conclusión sea falsa y las premisas, verdaderas) o
sintáctica (el esquema es válido si hay una deducción de la conclusión partiendo
de las premisas y los axiomas, usando solamente las reglas de inferencia
permitidas).

Reglas de Inferencia
Cuando usamos la lógica proposicional para analizar un problema no solo
queremos describirlo en términos de afirmaciones y conectivas lógicas. También
queremos obtener información nueva. Esta información puede incluir el
determinar si una afirmación es una conclusión válida a partir de los datos
proporcionados en la especificación del problema o saber qué información
podemos deducir a partir de las premisas que nos proporcionan. Para lograr esto
los sistemas lógicos necesitan al menos una regla de inferencia. Las reglas de
inferencia son construcciones de un sistema que permiten determinar
información nueva a partir de la información ya existente y tienen la forma
general: «Si p y q entonces r}».
Las reglas de inferencia se modelan como implicaciones, donde el antecedente de
la implicación está compuesto de una conjunción de proposiciones llamadas
premisas y el consecuente se llama conclusión. Su aplicación a un conjunto de
premisas para llegar a una conclusión se llama argumento y consideramos que es
válido si la conclusión es necesariamente verdadera cuando las premisas son
verdaderas. Esta condición se cumple cuando la implicación es una tautología. Por
ejemplo, si tenemos una premisa p podemos llegar a la conclusión p ∨ q mediante
un argumento válido o regla de inferencia porque la implicación p ⇒(p∨ q) es una
tautología, tal y como lo podemos ver en la siguiente tabla.

p q pVq p⇒ (p V q)
V V V V
V F V V
F V V V
F F F V

Como podemos ver en la tabla, si las premisas son falsas, el valor de la conclusión
carece de importancia porque la implicación siempre será verdadera. Pero
cuando las premisas son verdaderas, la conclusión también debe ser verdadera
para que la implicación sea una tautología.

Tautología: es una proposición compuesta en la que para cualquier combinación

de valores de verdad de las proposiciones simples siempre se obtiene como valor
de verdad: verdadero (V).