Calculo proposicional

La definimos como la ciencia que trata de los principios validos del razonamiento y la
argumentación, estudia las operaciones y la deducción proposicionales. Es la forma mas antigua y
simple de la lógica que nos permite representar y manipular afirmaciones sobre le mundo que nos
rodea.

Es diseñada para analizar ciertos tipos de argumentos entre ellas las formulas representan
proposiciones y las conectivas lógicas son operaciones sobre dichas formulas, capaces de formar
otras de mayor complejidad

Proposición

Es un ordenamiento de resultados de nuestra actividad pensante donde expresamos la posibilidad

de que ocurra un echo o la necesidad de una acción, orden, deber, interrogante, etc.

La proposición es una frase declarativa o juicio al que podemos asignarle un valor verdadero ya
sea esta cierta o falsa. Los operadores que permiten construir proposiciones mas complejas a
partir de proposiciones simples, para obtener el valor verdadero de un juicio compuesto a partir
de los valores de las proposiciones que lo forman y de los operadores que vinculan a estos así
como el modo de representar las proposiciones a través de fórmulas matemáticas.

Alfabeto del cálculo proposicional

Para poder estudiar las proposiciones como objetos matemáticos se definió un alfabeto el cual
está compuesto por símbolos de constantes, variables, operaciones y agrupación

Los símbolos constantes proposicionales son (0 y 1) pues estos son valores veritativos, el cero
representa el valor falso y el uno representa el valor verdadero.

Las variables proposicionales identifican proposiciones de valor desconocido para lo cual se

ocupan las ultimas letras del alfabeto latino (p, q, r, etc.) con subíndices en el caso que sea
necesario.

Los símbolos de operaciones del cálculo proposicional son:

1. Negación (¬). Representa el “no” del lenguaje natural

2. Conjunción (ᴧ) representa expresiones como “y, pero, aunque, sin embargo, etc.”
3. Disyunción (v) representa expresiones como “o, al menos uno, etc. “
4. Condicional (⇒) representa expresiones como “si A entonces B; cuando A, B; B siempre
que A; etc.”
5. Bicondicional (⇔) representa expresiones complejas, donde se expresa que dos
proposiciones tienen la misma veracidad
Formulas del calculo proposicional

Se definen formulas para el cálculo a partir del alfabeto.

1. Una constante proposicional es una formula

2. Una variable proposicional es una formula
3. Si A es una formula, entonces (A), {A} y [A] también son formulas
 4. Si A es una formula, entonces ¬A es una formula
5. Si A y B son formulas entonces A ᴧ B, A v B, A ⇒B, A ⇔ B también son formulas
6. Toda formula del calculo proposicional obedece a las reglas de formación antes expuestas

Interpretación de formulas del calculo proposicional

Las formulas mas simples son las que constan de solo un símbolo de variable o constante
proposicional (p, q, r, 1, 0, etc.) a estas se las llama atómicas. En el caso de las fórmulas 0 y 1
sus valores veritativos serán siempre falso (0) y cierto (1) respectivamente

Para determinar el valor veritativo de una formula no atónica, lo primero que se necesita es
asociar un valor a cada una de las variables: para esto se necesitan las reglas de interpretación
y de precedencia para las operaciones.

Para esto ocúpanos reglas de interpretación de la conjunción, que nos plantea que esta es
verdadera si solo si los dos operados involucrados los son

A: p ᴧ q

Sean A y B fórmulas del cálculo proposicional, se cumple que:

A B AᴧB A B AⅴB
0 0 0 0 0 0
0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1

A B A⇒B A B A⇔B
0 0 1 0 0 1
0 1 1 0 1 0
1 0 0 1 0 0
1 1 1 1 1 1

A ¬A
0 1
1 0

A: p ⅴ q ᴧ r

Para poder aplicar esta regla se debe tener claro un orden para poder determinar el valor
verdadero, el orden es el siguiente:

1. Operaciones entre signos de agrupación

2. Negaciones
3. Conjunciones
4. Disyunciones
5. Condicionales
6. Bicondicionales
Entonces la fórmula A cuando p = 1, q = 1 y r = 0, tiene valor 1.

Se hace evidente que el valor veritativo de una fórmula, depende de los valores de las variables
involucradas, a cada asignación de valores a las variables de una fórmula, se le llama
interpretación, de esta manera, la fórmula p ⅴ ¬q tiene 4 interpretaciones:

1. p = 0 q = 0 p ⅴ ¬q = 1

2. p = 0 q = 1 p ⅴ ¬q = 0

3. p = 1 q = 0 p ⅴ ¬q = 1

4. p = 1 q = 1 p ⅴ ¬q = 1

El conjunto de interpretaciones de una fórmula puede representarse mediante una “tabla

veritativa” o “tabla de la verdad” como la siguiente:

p q p ⅴ¬q
0 0 1
0 1 0
1 0 1
1 1 1

Como cada variable proposicional puede tener dos valores, el número de interpretaciones de una
fórmula con i variables será 2ⁱ.

Cuando una fórmula es verdadera para al menos una de sus interpretaciones, se dice que es
cumplible.

Cuando una fórmula tiene es verdadera para todas sus interpretaciones se dice que es una
tautología.

Cuando una fórmula es falsa para todas sus interpretaciones se dice que es una contradicción.

Equivalencia e implicación lógica. Leyes de equivalencia.

Existen fórmulas que, aunque diferentes en su composición, son iguales en sus interpretaciones,
es decir, toman iguales valores para iguales valores de sus variables. Obsérvese el siguiente
ejemplo:

A- (p ⅴ q) ᴧ q B- q ⅴ (p ᴧ q)
p q A p q B
0 0 0 0 0 0
0 1 1 0 1 1
1 0 0 1 0 0
1 1 1 1 1 1
Cuando esto ocurre, se dice que son fórmulas equivalentes. Con respecto a la equivalencia entre
fórmulas, se cumple que:

Siendo A y B fórmulas del cálculo proposicional, A es equivalente a B, si y solo si A ⇔ B es una

tautología.

De lo analizado se desprende que para demostrar que dos fórmulas son equivalentes, basta con
construir sus respectivas tablas de la verdad, si son iguales queda demostrada la equivalencia.

Hay fórmulas que sin llegar a ser equivalentes, cumplen cierta dependencia, tal como ocurre en el
siguiente ejemplo:

A- p ᴧ q B- q ⅴ p
p q A p q B
0 0 0 0 0 0
0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1

Puede apreciarse que cuando A es 1, entonces B también lo es, en estos casos se dice que A
implica lógicamente a B, la implicación lógica cumple que:

Siendo A y B fórmulas del cálculo proposicional, A implica logicamente a B, si y solo si A ⇒ B es una

tautología.

Una equivalencia o implicación lógica, constituye de hecho una ley, a continuación aparecen
algunas de las leyes lógicas más comunes (A, B, C son fórmulas cualesquiera):

L1. A ⅴ A equivalente a A Leyes de idempotencia

L2. A ᴧ A equivalente a A Leyes de idempotencia
L3. (A ⅴ B) ⅴ C equivalente a A ⅴ (B ⅴ C) Leyes asociativas
L4. (A ᴧ B) ᴧ C equivalente a A ᴧ (B ᴧ C) Leyes asociativas
L5. A ⅴ B equivalente a B ⅴ A Leyes conmutativas
L6. A ᴧ B equivalente a B ᴧ A Leyes conmutativas
L7. A ⅴ (B ᴧ C) equivalente a (A ⅴ B) ᴧ (A ⅴ C) Leyes distributivas
L8. A ᴧ (B ⅴ C) equivalente a (A ᴧ B) ⅴ (A ᴧ C) Leyes distributivas
L9. A ⅴ 0 equivalente a A Leyes de identidad
L10. A ᴧ 1 equivalente a A Leyes de identidad
L11. A ⅴ 1 equivalente a 1 Leyes de identidad
L12. A ᴧ 0 equivalente a 0 Leyes de identidad
L13. A ⅴ ¬A equivalente a 1 Ley del tercero excluido
L14. A ᴧ ¬A equivalente a 0 Ley de contradicción
L15. ¬(¬A) equivalente a A Ley de la doble negación
L16. ¬1 equivalente a 0 Ley de negación de una tautología
L17. ¬0 equivalente a 1 Ley de negación de una contradicción
L18. ¬(A ⅴ B) equivalente a ¬A ᴧ ¬B Leyes de D’Morgan
L19. ¬(A ᴧ B) equivalente a ¬A ⅴ ¬B Leyes de D’Morgan
L20. A ⇒ B equivalente a ¬A ⅴ B Definición de ⇒
L21. A ⇔ B equivalente a (A ⇒ B) ᴧ (B ⇒ A) Definición de ⇔

Las leyes constituyen poderosas herramientas para demostrar la equivalencia entre fórmulas sin
tener que recurrir a las tablas de la verdad, basta con transformar una fórmula en otra por medio
de leyes para demostrar su equivalencia.

Bibliografía:

https://www.ecured.cu/C%C3%A1lculo_Proposicional#Alfabeto_del_c.C3.A1lculo_proposicional

http://www.filosofia.org/enc/ros/calc3.htm

https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional

http://aprendeenlinea.udea.edu.co/boa/contenidos.php/8b077438024e1bddfbc83706da8049f2/1
38/1/contenido/contenido/calculo_proposicional.html

http://aprendeenlinea.udea.edu.co/boa/contenidos.php/8b077438024e1bddfbc83706da8049f2/1
38/1/contenido/contenido/calculo_proposicional.html