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.
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)
=
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))
=
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)
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