Documentos de Académico
Documentos de Profesional
Documentos de Cultura
De Wikillerato
Una de las razones que motivó la aparición de la lógica matemática, fue evitar la
ambigüedad del lenguaje natural y transformar el pensamiento en un cálculo, según el
modo de operar de las matemáticas. Simplificar o simbolizar las oraciones o juicios para
poder operar con ellas, así surge el lenguaje formal.
Tabla de contenidos
[ocultar]
1 Lenguaje formal
2 Valores de verdad
o 2.1 Proposición conjuntiva
o 2.2 Proposición disyuntiva inclusiva
o 2.3 Proposición disyuntiva exclusiva
o 2.4 Proposición condicional
o 2.5 Proposición bicondicional
o 2.6 Proposición negativa
3 Proposiciones atómicas y moleculares. Las tablas de verdad ó tablas veritativas
4 Leyes lógicas
o 4.1 Idempotencia
o 4.2 Asociativa
o 4.3 Conmutativa
o 4.4 Identidad
o 4.5 Absorción
o 4.6 Distributiva
o 4.7 De Morgan
o 4.8 Doble negación
o 4.9 Regla de sustitución
5 Ejercicios
o 5.1 Ejercicio 1
o 5.2 Ejercicio 2
o 5.3 Ejercicio 3
o 5.4 Ejercicio 4
6 El razonamiento o inferencia
o 6.1 Modus ponendo ponens o modus ponens
o 6.2 Modus tollendo ponens
o 6.3 Modus tollendo tollens
o 6.4 Ley conjuntiva
o 6.5 Ley simplificativa
o 6.6 Ley aditiva
o 6.7 Silogismo condicional o ley transitiva
o 6.8 Ley de transposición
o 6.9 Ley de traslación
o 6.10 Dilema constructivo
o 6.11 Dilema destructivo
7 Prueba formal de invalidez
8 Prueba formal de validez
o 8.1 Ejemplo 1
o 8.2 Ejemplo 2
o 8.3 Ejemplo 3
o 8.4 Ejemplo 4
o 8.5 Ejemplo 5
o 8.6 Ejemplo 6
Lenguaje formal
Consiste en abreviar o simbolizar las oraciones o juicios, que en la lógica matemática se
llaman proposiciones. Estas proposiciones se reducen en el lenguaje formal a una sola letra,
que llamamos variable, y la simbolizamos con las letras minúsculas del alfabeto que van de
la hasta el final del abecedario.
Si digo por ejemplo: «Antonio ama a Piedad», esta proposición queda simbolizada en el
lenguaje formal mediante la variable o , o , o .
Cuando el funtor afecta a una sola variable, se llama monádico, como por ejemplo el
negador ( ) que se lee en el lenguaje natural «no», y se sitúa encima de la letra variable, ,
«no ». Cuando afectan a más de una variable, son poliádicos. Los funtores más
importantes son:
Hay que tener siempre en cuenta, que las variables simbolizan oraciones enteras y no sólo
palabras o nombres:
1 1 0 0
1 0 1 0
1 1 1 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0
1 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0
0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0
0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0
Las dos primeras columnas indican los cuatro valores posibles que pueden tener dos
proposiciones simples, si se consideran sus valores a la vez: las dos verdaderas, la primera
verdadera y la segunda falsa, la primera falsa y la segunda verdadera y las dos falsas.
Las restantes dieciséis columnas representan los valores de verdad o falsedad, de cada una
de las dieciséis proposiciones de orden dos.
Entre estas proposiciones, hay algunas que tienen especial interés en lógica, según los
valores que adoptan las variables cuando están afectadas por funtores:
1 1 1
1 0 0
0 0 1
0 0 0
La conjunción es verdadera sólo cuando ambas variables lo son y es falsa en los demás
casos.
Se lee y .
1 1 1
1 1 0
0 1 1
0 0 0
1 0 1
1 1 0
0 1 1
0 0 0
Se lee excluye a .
1 1 1
1 0 0
0 1 1
0 1 0
Se lee condiciona a .
1 1 1
1 0 0
0 0 1
0 1 0
El bicondicional es verdadero cuando ambos son verdaderos o cuando ambos son falsos, y
es falso en los demás casos.
Se lee bicondiciona a .
1 0
0 1
Para hallar el valor de verdad de una proposición molecular, hay que descubrir el funtor
capital, aquel que liga más, es decir que une o liga toda la expresión.
Un mecanismo sencillo para conocer el valor del funtor capital en una proposición
molecular es el llamado método de las tablas de verdad.
En esta expresión se ve con claridad que el funtor capital es el condicional, que une todo el
corchete con .
El modus operandi es ir encontrando el valor de verdad primero de los funtores que ligan
menos, hasta llegar en último lugar al funtor capital.
1 1 1 1 1 1 1
1 0 0 0 1 1 0
0 1 1 0 0 1 1
0 1 0 0 0 1 0
Cuando en la tabla aparece en todos los lugares de funtor capital el valor 1, la expresión es
una tautología o identidad. Si en todos los lugares el valor es 0, es una contradicción.
Finalmente cuando en el funtor capital encontramos valores de 1 y de 0, la proposición es
indeterminada.
Dos proposiciones son equivalentes si tienen la misma tabla veritativa:
1 1 1 0 1 1
1 0 0 0 0 0
0 1 1 1 1 1
0 1 1 1 1 0
Dada cualquier expresión, se puede sustituir por otra equivalente, esta afirmación se conoce
con el nombre de principio o regla de sustitución.
11 0
01 1
Es una ley lógica que ya conoció Aristóteles con el nombre de tercero excluido o tertio
excluso.
Las leyes lógicas son muy numerosas, pero hay algunas muy importantes que se refieren a
la conjunción, disyunción y negador (La significa tautología y la contradicción):
[editar] Idempotencia
[editar] Asociativa
[editar] Conmutativa
[editar] Identidad
[editar] Absorción
[editar] Distributiva
[editar] De Morgan
1.
2.
[editar] Ejercicios
Hallar la tabla veritativa de las siguientes expresiones:
En primer lugar hallamos los valores del primer paréntesis, después los valores del otro
paréntesis; finalmente hallamos los valores del condicional relacionando los resultados de
ambos paréntesis. La expresión es una tautología.
[editar] Ejercicio 1
1 0 0 1 1 1 1
1 1 1 1 0 1 1
0 0 0 1 1 0 0
0 0 1 1 0 1 0
Es una tautología.
[editar] Ejercicio 2
1 1 1 1 1 0 0
1 0 0 1 1 1 1
0 0 1 0 0 0 0
0 0 0 0 0 0 1
[editar] Ejercicio 3
1 1 1 1 1 0 0
1 0 0 1 1 1 1
0 0 1 1 0 1 0
0 1 0 1 0 1 0
Es una tautología.
[editar] Ejercicio 4
1 1 1 1 0 0 0
1 0 0 0 0 0 1
0 0 1 0 1 0 0
0 0 0 1 1 1 1
1. ( primera premisa )
2. ( segunda premisa )
(conclusión)
Un razonamiento bien construido puede ser falso en su contenido material, por ejemplo si
digo:
"Platero es un burro".
Puede darse el caso, sin embargo, de razonamientos que sean verdaderos materialmente y
válidos formalmente, por ejemplo:
"Pepa no se ha presentado".
En resumen, en lógica no interesa tanto la verdad o falsedad de las proposiciones, sino las
relaciones lógicas que existen entre ellas.
Ejemplos de razonamiento:
Modus operandi:
1. ( primera premisa )
2. ( segunda premisa )
(conclusión)
1 0 1
1 0 1
1 1 1
0 1 0
Vemos que no hay ningún caso en que siendo verdaderas ambas premisas, la conclusión sea
falsa. Luego el razonamiento es válido.
Si razonamos así:
1. ( primera premisa )
2. ( segunda premisa )
(conclusión)
1 1 0 1 1 1 1
1 0 1 1 1 0 0
0 1 0 0 1 1 0
0 0 1 1 0 1 0
En la tercera fila se observa que, siendo verdaderas las dos premisas, la conclusión es falsa,
luego el razonamiento es inválido. De este modo podemos comprobar la validez de muchos
razonamientos.
Algunos razonamientos válidos, son leyes lógicas como las que anteriormente hemos
expuesto, y sirven también para calcular la validez de otros razonamientos.
Se da valor 0 a la conclusión y se intenta que todas las premisas adquieran valor de verdad -
operando como hacíamos en las tablas veritativas -. Si las premisas son verdaderas y la
conclusión falsa, el razonamiento es inválido.
Por ejemplo:
1.
2.
3.
Operamos así:
1.
1/0 1 1
2.
1 1 0
3.
1 1 0
0
El razonamiento es inválido, ya que hemos podido dar valor 1 a las premisas, siendo falsa
la conclusión.
1.
011 1 0
2.
1 0 0
1 0 0
Como la segunda premisa no puede tener valor 1, no se puede probar la invalidez del
razonamiento.
Modus operandi:
Se numeran las premisas, y también cada uno de los pasos que se van dando, indicando a la
derecha - en lenguaje natural - la ley lógica que se aplica, hasta alcanzar la conclusión.
[editar] Ejemplo 1
1.
2.
Solución:
4. Ley de Morgan en 3.
5. Ley simplificativa en 4.
[editar] Ejemplo 2
1.
2.
Solución:
3. Ley de Morgan en 1.
4. Sustitución condicional en 3.
5. Ley de transposición en 2.
6. Silogismo condicional o ley de transitividad entre 4 y 5.
[editar] Ejemplo 3
1.
2.
3.
Solución:
1.
2.
Solución:
4. Transposición en 2.
5. Ley de transitividad en 3 y 4.
[editar] Ejemplo 5
1.
2.
Solución:
3. Ley de Morgan en 1.
4. Sustitución del condicional en 3.
5. Transposición en 2.
[editar] Ejemplo 6
1.
2.
Solución:
4. Ley de transposición en 2.
5. Ley transitiva en 3 y 4.
NOTA: cuando se está resolviendo un ejercicio por reducción, no tiene que llegar a la
conclusión, solamente buscar una contradicción en el ejercicio.
Señores, sé que muchos no están familiarizados con la consola de comandos, y es por eso
que más tarde cuando regrese de la Universidad haré un script que automatice el proceso.
Escribo este post de manera rápida para que los que me pidieron ayuda sobre este tema
sepan que tomé en cuenta sus peticiones, tal vez no tan rápido pero siempre trato de
ayudarlos a todos. :DBueno, debo salir a almorzar a casita.