El Clculo Proposicional

El clculo proposicional se presentar como un sistema formal, vamos ahora a dar

un detalle
de los elementos sealados arriba que sern los que conformen el sistema formal
con el que
Trabajaremos:
Alfabeto: El alfabeto con el que construiremos las expresiones o palabras estar
constituido
por los siguientes smbolos:
constantes: las constantes true y false se usarn para los valores verdadero y falso
respectivamente.
variables: las variables proposicionales o booleanas que representarn los valores
true o false. Se usarn generalmente las letras p, q, y r para
nombrar a estas variables.
operador unario: negacin .
3.7. La implicacin
Ahora definimos los dos ltimos operadores, la implicacin y la consecuencia .
(3.59) Axioma. Definicin de implicacin: p q p q q
(3.60) Axioma. Definicin de consecuencia: p q p q p
Debido a la similitud entre estos dos operadores, daremos solamente teoremas que
involucren
al operador implicacin, los correspondientes a la consecuencia siguen
inmediatamente del
Axioma 3.60.
Lo primero que podemos observar sobre la implicacin es que puede reescribirse de
distintas
formas. Los siguientes teoremas describen esta situacin:
En la mayora de los sistemas de clculo proposicional, la equivalencia se define
como
ltimo operador, y se hace a travs de la mutua implicacin, con lo cual el teorema
que sigue,
resulta un axioma en estos sistemas.
Teorema. Implicacin mutua: (p q) (q p) p q
Antes de establecer el siguiente teorema diremos que una operacin binaria , es
antisimtrica si x y y x x = y es cierta para cualquier par x, y. Por ejemplo y son
operadores
antisimtricos.
Teorema. Antisimetra: (p q) (q p) (p q)
Los siguientes teoremas estn relacionados con la transitividad y se usarn en el
prximo
captulo para abreviar el formato de demostracin:

Frmulas: Las expresiones bien formadas o frmulas del clculo proposicional sern
las que
se obtienen a partir de las siguientes reglas:
i) Las variables proposicionales y las constantes son frmulas.
ii) Si E es una frmula, entonces (E) es tambin una frmula.
iii) Si E y F son frmulas y es un operador binario, entonces (E F) es una
frmula.
iv) Slo son frmulas las construdas con las reglas precedentes.
Ya vimos en los captulos anteriores la definicin de expresin booleana, y tambin
mencionamos
el rol fundamental que stas cumplen en la definicin de un lenguaje artificial libre
de las
ambigedades y contradicciones usuales del lenguaje corriente. Observemos que el
conjunto de
frmulas o expresiones bien formadas que tenemos en cuenta en este sistema
formal, coincide
con el concepto de expresin booleana que hemos estado manejando. Podemos
afirmar entonces
que las expresiones booleanas o frmulas se construirn usando los smbolos y las
reglas
anteriores y formarn la sintaxis de nuestro clculo proposicional.
Reglas de
Inferencia:
Las reglas de inferencia usadas sern las que ya presentamos para la relacin de
igualdad en el Captulo 1. Adems, la equivalencia entre expresiones booleanas
satisfacer las siguientes propiedades:
Transitividad Si P, Q, y R son expresiones booleanas, entonces
P = Q, Q = R
P=R
Regla de
Leibniz
Si P y Q son expresiones booleanas, y E es una expresin que
involucra a la variable proposicional r, entonces:
P=Q
E [r := P] = E [r := Q]
Sustitucin Si P y R son expresiones booleanas, y P involucra a la variable
proposicional r, entonces:
P
P [r := R]

Calculo proposicional
El clculo proposicional es denominado tambin lgica proposicional es
definidacomo la ciencia que trata de los principios vlidos del razonamiento y la
argumentacin.El estudio de lgica es el esfuerzo por determinar las condiciones
que justifican a unapersona para pasar de una proposicin dada, llamadas
premisas, a una conclusin quese deriva de aquellas. Segn L.Garca, 1990, la
Lgica proposicional estudia lasoperaciones proposicionales y la deduccin
proposicional. Una proposicin es un ordenamiento resultado de nuestra actividad
pensantedonde expresamos, bien la posibilidad de la ocurrencia de un hecho, o la
necesidad deuna accin, o una orden, un deber, una interrogante, entre otras cosas.
Puede decirseque una proposicin es una frase declarativa o juicio al que, podemos
asignarle unvalor verdadero ya sea cierto o falso. Por ejemplo la frase El programa
es de Soft, esuna proposicin, a priori no puede decirse si esta proposicin tiene un
valor cierto ofalso, pero si se parte de un contexto en que se establece
unvocamente de quprograma se est hablando y adems se conoce que
efectivamente este es de Soft,puede afirmarse que la proposicin es cierta. Toda
proposicin, puede ser representada por una frmula del clculoproposicional, por
lo que, si a las primeras se les puede asignar un valor veritativo, esde esperar que a
las segundas tambin.

Las frmulas ms simples son las que constande solo un smbolo de variable o
constante proposicional (p, q, r, 1, 0, etc.), a estas seles llama atmicas. En el caso
de las frmulas 0 y 1 sus valores veritativos sernsiempre falso (0) y cierto (1)
respectivamente. Las variables por su parte, como sunombre lo indica, pueden
tomar cualquier valor (0 o 1). A manera de ejemplo,supngase que la variable p
representa a la proposicin est lloviendo, entonces ptomar valor 1 cuando
efectivamente est lloviendo, mientras tomar valor 0 cuandoesto no sea as. Para
determinar el valor veritativo de una frmula no atmica, lo primero que senecesita
es asociar un valor a cada una de las variables que la forman. Pero con estono
basta, se necesita de reglas de interpretacin y de precedencia para
lasoperaciones.

Prueba de teoremas en donde participa la implicacin

Haremos aqu una serie de consideraciones generales sobre los teoremas en donde
aparece la

implicacin. En estos casos, la tcnica de prueba 3.26 ser de gran utilidad, para
esto es necesario
recordar no slo la definicin de implicacin (Axioma 3.59) sino tambin los
teoremas 3.61,
3.62 y 3.63 de acuerdo a la estructura de la expresin que debemos manipular. Para
ilustrar esto
ltimo, probaremos (3.64), p (q r) p q p r. Como esta expresin
contiene conjunciones,
la definicin alternativa de implicacin (3.62) parecera la ms apropiada para
utilizar,
ya que muestra como reemplazar una implicacin introduciendo una conjuncin:
p (q r)
=

(3.62) Definicin de implicacin

p (q r) p
= h(3.52), p (q r) p q p r pi
pqpr
Veamos ahora cmo probar la implicacin mutua (3.84), (p q) (q p)
pq

Ejemplo.
p = f alse ((p (q p)) p
Tcnica de prueba: comenzamos desde el lado izquierdo (LI) ms estructurado
para alcanzar el lado derecho (LD) de la expresin.

p = f alse (p (q p))
= h Sustitucin i
p = f alse (z (q z))[z := p]
= h Teo. 3.89a) con e, f, E := p, f alse,z (q z)i
p = f alse (z (q z))[z := f alse]
= h Sustitucin i
p = f alse (f alse (q f alse))
=

Teo. Elem. absorbente a izq. de la con p := q f alse

p = f alse true
= h Teo. Elem. Neutro del i
p = f alse
=

Reemplazo = por

(p f alse)
= h Teo. p p f alsei

ANTIGUA GUATEMALA
ESTABLESIMIENTO: I.T
NOMBRE: PABLO ANTONIO YUPE RAMOS
CATEDRATICO: BIRON CULAJAY
TRABAJO DE INVESTIGACION

CURSO:LOGICA
FECHA:13/02/2016

Ejercicios
Los teoremas que siguen establecen propiedades cuando se reemplazan
variables por constantes
booleanas.
(3.91) Teorema. Reemplazo por true :
a) p E
z := p
p E [z := true]
b) q p E
z := p
q p E [z := true]
(3.92) Teorema. Reemplazo por f alse
a) E
z := p
pE
z := f alse p
b) E
z := p
qpE
z := f alse q p
(3.93) Teorema. Reemplazo por true : p E
z := p

 p E [z := true]
(3.94) Teorema. Reemplazo por f alse : p E
z := p
pE
z := f alse
(3.95) Teorema. Shannon: E
z := p
(p E [z := true])
p E
z := f alse

Ejemplo.
Vamos a ilustrar el uso de estos ltimos teoremas demostrando

p q (p q)

usando el reemplazo por true 3.91b.

p q (p q)
=
(3.91b) Reemplazo por true con p:=p

p q (true q)
=
(3.91b) Reemplazo por true con p:=q

p q (true true)
= h(3.3) Neutro de i
p q true
= hteorema 3.75 con p := p qi
true
3.9. Ejercicios
Ejer