Proposiciones son aquellas a las cuales se les puede asignar un atributo (valor o función ) de verdad ( Valor de Verdad o Falsedad ). La lógica estudia la combinación de estas proposiciones a los efectos de relacionar o inferir unas de otras.
Pueden existir muchas lógicas, según las reglas de combinación de proposiciones o axiomas de inferencia que se establezcan.
Una es una oración declarativa de la cual podemos asegurar que es verdadera o que es falsa, pero no ambas situaciones a la vez.
En sentido epistemológico “válido” es el conocimiento expresado en una proposición que es aceptada y reconocida como verdadera. Supone distinguir el hecho en sí del conocimiento y su aceptación como verdadero.
En sentido lógico, “valido” se refiere a una verdad formal. Se aplica a los argumentos cuando cumplen con una forma lógica. Cuando el producto de las premisas y su implicación con la conclusión muestran en su tabla de verdad que es una tautología.
La lógica es una ciencia formal, sin contenido material alguno. La verdad formal no depende del conocimiento verdadero en su sentido epistemológico, sino que manifiesta su validez por la forma, no por su materia.
Un argumento válido, “lógicamente verdadero”, puede ser falso en su sentido epistemológico. De la misma forma que un argumento verdadero en sentido epistemológico puede ser formalmente inválido.
La Lógica trata de fundamentar las inferencias válidas sin conocimiento material alguno. Suele definirse por eso como “la ciencia que estudia las formas válidas de inferencia”, o bien, subrayando un sentido de utilidad, la ciencia que estudia las “las formas válidas de razonamiento”.
Las formas válidas de inferencia, leyes lógicas o tautologías, aplicadas como razonamientos lógicamente válidos, garantizan la verdad de la conclusión cuando el contenido de conocimiento material de las premisas sea epistemológicamente válido.
Ejemplo de razonamiento lógicamente verdadero, válido, pero falso en su contenido material.
Si todos los mamíferos tienen alas, y los seres alados vuelan, entonces si los perros son mamíferos, los perros vuelan.
Ejemplo de razonamiento lógicamente inválido, que puede ser verdadero en su contenido material.
Si sólo los que miden más de 1.80 juegan al baloncesto, y Antonio mide más de 1.80, entonces Antonio juega al baloncesto.
(Antonio puede o no jugar al baloncesto, porque su verdad o falsedad depende de la experiencia, no de la forma argumentativa, puesto que es un argumento inválido).
Ejemplo de razonamiento lógicamente válido, cuya validez epistemológica depende de un contexto cultural determinado.
Entre todas las religiones del mundo, una será la verdadera y todas las demás serán falsas. Es así que la única religión verdadera es......"La Nuestra". Luego todas las demás son falsas.
Validez lógica, se dice que un razonamiento es lógicamente válido cuando tiene la forma de una ley lógica, lo que equivale a decir que la relación entre las premisas y la conclusión es tautológica.
Expresado en lenguaje formalizado: Dadas las proposiciones A, B, y C….. N, un argumento válido es aquel que tiene la forma:
(A /\ B /\ C…….. /\ N) ? Z
que recibe el nombre de esquema de inferencia , donde se da el caso que el valor de verdad lógica del antecedente V, como producto (conjunción ) de todas las premisas, implica que la conclusión también tiene valor de verdad lógica V.
De este modo si las premisas son verdaderas en sentido epistemológico, entonces la conclusión también lo es, en sentido epistemológico. Lo que permite considerar C como verdad propia, independiente y desligada, es decir una conclusión obtenida a partir de las verdades afirmadas en las premisas como verdaderas.
Por lo que definimos la validez como: No puede ser el caso que siendo las premisas verdaderas la conclusión sea falsa. Línea 1 y 2 de la tabla.
|
A |
B |
C |
(A /\ B) ? C |
1 |
V |
V |
V |
V |
2 |
V |
V |
F |
F |
3 |
F |
F |
V |
V |
4 |
F |
V |
F |
V |
5 |
F |
V |
V |
V |
6 |
F |
V |
F |
V |
7 |
F |
F |
V |
V |
8 |
F |
F |
F |
V |
CLASIFICACION DE LAS PROPOSICIONES
Proposiciones simples o atómicas: son aquellas que constan de un solo enunciado.
Proposiciones compuestas o moleculares: son las que constan de dos o más proposiciones simples entrelazadas por ciertas particularidades lógicas llamadas conectivos lógicos.
CLASIFICACION DE PROPOSICIONES COMPUESTAS
Consiste en cambiar el valor de verdad de una variable proposicional. la conectiva no es la que se antepone a una proposición para cambiar su valor de verdad y se representa por el siguiente símbolo ¬.
- Disyunción

Es una proposición compuesta de dos proposiciones simples unidas por el conectivo lógica o, que se representa de la manera siguiente V. La proposición molecular será verdadera cuando una o ambas variables proposicionales sean verdaderas.(Columna 2 de la tabla de funciones posibles)
p |
q |
p V q |
V |
V |
V |
V |
F |
V |
F |
V |
V |
F |
F |
F |
- Conjunción

Es una proposición compuesta que se obtiene al unir dos proposiciones simples unidas o entrelazadas mediante el conectivo y, y se representa con el siguiente símbolo
. Se puede definirse como la composición:
p
q = ¬(¬p
¬q)
La proposición molecular será verdadera sólo cuando ambas variables proposicionales sean verdaderas.(Columna 8 de la tabla de funciones posibles)
p |
q |
p /\ q |
V |
V |
V |
V |
F |
F |
F |
V |
F |
F |
F |
F |
Es la combinación de dos proposiciones unidas por la conectiva “si entonces”, que se representa de la forma siguiente: à . La proposición que aparece entre las palabras “Si y Entonces”, se denomina antecedente o hipótesis y la que aparece después de la palabra Entonces , se le llama consecuente o conclusión. Es una conectiva definida por:
p ? q = ¬p ? q
La proposición molecular será verdadera cuando se cumpla si es verdadero p entonces lo es q. (Columna 5 de la tabla de funciones posibles)
p |
q |
p ? q |
V |
V |
V |
V |
F |
F |
F |
V |
V |
F |
F |
V |
- Bicondicional ( ? , si y sólo si)
Es una proposición que se obtiene al unir dos proposiciones simples mediante el conectivo si y solo si y se representa así <->. Es una conectiva definida por:
p ? q = ((p ? q)
(q ? p))
La proposición molecular será verdadera cuando ambas variables proposicionales tengan a la vez el mismo valor de verdad. (Columna 7 de la tabla de funciones posibles)
p |
q |
p ? q |
V |
V |
V |
V |
F |
F |
F |
V |
F |
F |
F |
V |
- Disyunción exclusiva

Esta solo será verdadera cuando las dos proposiciones que la componen tienen diferentes valores de verdad, en caso contrario es falsa.
Es una conectiva definida por:
p
q = ¬(p ? q)
La proposición molecular será verdadera sólo cuando una de las dos variables proposicionales sea verdadera, pero no las dos. (Columna 10 de la tabla de posibles valores)
p |
q |
p q |
V |
V |
F |
V |
F |
V |
F |
V |
V |
F |
F |
F |
• Tautología : si todas las interpretaciones de un enunciado dan como verdadera la conclusión.

• Contradicción : si todas las interpretaciones de un enunciado dan como falsa la conclusión.

• Contingente : cuando la conclusión da interpretaciones verdaderas y falsas.
Ejemplo de tautología:

• Enunciados equivalentes: Dos enunciados son equivalentes (A ?? B) si a partir del primero se puede demostrar el segundo (A ? B) y a partir del segundo se puede demostrar el primero (B ? A). Si A ? B, todas las interpretaciones que hacen cierto a A también hacen cierto a B. Si B ? A, todas las interpretaciones que hacen cierto a B también hacen cierto a A. Las dos cosas sólo es posible si A y B tienen exactamente la misma tabla de la verdad.
Ejemplo:
P -> (Q -> S) y (Q -> S) -> P
Enunciados equivalentes

Importancia en la vida profesional
La Lógica es preferida en Ciencia Computacional, ya que a diferencia de los lenguajes informales, como los lenguajes naturales (español, francés, inglés, etc), la lógica no permite ambigüedades. La Lógica Formal proporciona un medio para representar argumentos de una manera formal y rigurosa, estudia los fundamentos relacionados con su validez y los métodos para inferir proposiciones a partir de otras consideradas válidas. las técnicas de deducción automática o asistida por computadora, los fundamentos relacionados con validez y completez (completeness ) de sistemas de proposiciones y, las aplicaciones de esas técnicas a las diferentes áreas de las Ciencias Computacionales en todas las etapas del desarrollo del software , es decir, especificación, diseño, construcción y verificación formal de programas, es una de las mayores importancia que tiene la lógica preposicional de alli que se derive a todos el entorno tecnológico actual.