Tema 1 Clculo proposicional.

Apartado 1.1. Argumentos y proposiciones lgicas.

1.1.2 Algunos argumentos lgicos importantes.
Silogismo hipottico:
p q
q r
p r

Silogismo disyuntivo:

p q
q
p

Modus ponens:

p q
p
q

Modus Tollens:
p q
q
p

1.1.3 Proposiciones.
Cualquier afirmacin que es o bien verdadera o bien falsa se denomina proposicin.
Variables proposicionales: p q r!
Constantes proposicionales: V ".
# cualquier variable proposicional se le puede asignar el valor V o ".
$na proposicin es la m%nima unidad del lengua&e con contenido de informacin sobre
la que es posible pronunciarse con un verdadero o con un falso. Cuando es cierta se le
atribuye el valor lgico 1 V y si es falsa 0 F.
'as proposiciones m(s sencillas posibles se denominan atmicas y no se pueden
dividir y se representan habitualmente con letras min)sculas a partir de la p.
'as proposiciones constituidas por proposiciones atmicas y otras part%culas que sirven
de ne*o se llaman compuestas y se representan habitualmente con letras may)sculas
a partir de la +.
$na tabla de verdad de una proposicin da los valores verdaderos de la proposicin
para todas las asignaciones posibles.
Apartado 1.2. Conexiones lgicas.
$n conector lgico es una part%cula que se utili,a para formar las proposiciones
compuestas.
'as cone*iones lgicas son:
1. -egacin

2. Con&uncin

3. .isyuncin

4. Condicional

5. /icondicional

0st(n ordenadas por orden de preferencia.
1esumen de las cone*iones.
p q p pq pq pq pq pq
V V " V V " V V
V " " " V V " "
" V V " V V V "
" " V " " " V V
1
#claracin del condicional:
P Q
PQ
V V V Si estudias entonces apruebas
V " " Si estudias pero No apruebas
" V V Si No estudias pero apruebas
" " V Si No estudias entonces No apruebas
1.3 Proposiciones compuestas.
'as e*presiones lgicas pueden ser atmicas o compuestas.
#tmicas: tienen una sola variable o constante proposicin atmica.
Compuestas: al menos una cone*in proposicin compuesta.
Todas las e*presiones que contienen identificadores que representan e*presiones se
denominan esquemas.
"rmulas bien formadas son aquellas que est(n completamente patenti,adas.
1. Cualquier e*presin de la forma ( ) A
se denomina una negacin.
2. Cualquier e*presin de la forma ( ) A B
se denomina una con&uncin.
3. Cualquier e*presin de la forma ( ) A B
se denomina una disyuncin.
4. Cualquier e*presin de la forma ( ) A B
se denomina una condicional.
5. Cualquier e*presin de la forma ( ) A B
se denomina una equivalencia.
'as e*presiones completamente entre parntesis son un mtodo para representar las
proposiciones compuestas.
2tra forma es la representacin gr(fica.
$na proposicin se denomina literal si es de la forma 3 o 43 donde 3 es una variable
proposicional. 'as dos e*presiones 3 y 43 se denominan literales complementarias.
$n operador binario se denomina asociativo por la i,quierda si el operador por la i,quierda
tiene prioridad sobre el operador por la derecha.
$n operador binario se denomina asociativo por la derecha si el operador por la derecha
tiene prioridad sobre el operador por la i,quierda.
Todas las cone*iones lgicas binarias son asociativas por la i,quierda.
Sea

el operador principal de una e*presin se dice que est( en posicin prefi&a si

precede a su operando infi&a si est( entre los dos operandos y postfi&a si sigue a los
operandos.
5nfi&a
P Q
+refi&a
, P Q
+ostfi&a
, P Q
$na tabla de verdad da los valores de verdad de una e*presin para todas las
asignaciones posibles e*isten
2
n
asignaciones en total.
1.4 Tautologas y contradicciones.
2
$na e*presin lgica es una tautologa si es verdadera para todas las asignaciones
posibles.
$na e*presin lgica es una contradiccin si es falsa para todas las asignaciones
posibles.
$na e*presin lgica que no sea una tautolog%a ni una contradiccin se denomina
contingencia 6casualidad7eventualidad8.
$tili,amos el s%mbolo 9 para decir que una e*presin es una tautolog%a.
0l s%mbolo 9 no forma parte del c(lculo proposicional sino del metalengua&e para describir
proposicional.
$n metalengua&e es un lengua&e para describir otro lengua&e.
$n argumento lgico es v(lido si la conclusin se deduce lgicamente de las premisas.
0*isten dos tipos importantes de tautolog%as:
o 5mplicaciones lgicas: si # y / son dos e*presiones lgicas y si A B es una
tautolog%a decimos que # implica lgicamente a / y escribimos A B >
o 0quivalencias lgicas: si # y / son dos e*presiones lgicas y si # y / tienen
siempre el mismo valor de verdad entonces se dice que # y / son lgicamente
equivalentes y escribimos A B si y solo si A B es una tautolog%a.
Apartado 1.5. !ui"alencias lgicas y su utili#acin.
1.5.1 $ntroduccin.
'as afirmaciones que son lgicamente equivalentes pueden sustituirse una por la otra sin
afectar sus valores de verdad.
'as equivalencias lgicas son tautolog%as y pueden transformarse en esquemas y
utili,arse como tales.
1.5.2 %emostracin de e!ui"alencias lgicas mediante ta&las de "erdad.
Mediante tablas de verdad podemos demostrar las equivalencias lgicas.
1.5.3 'lge&ra declarati"a.
0n el (lgebra declarativa se manipulan e*presiones lgicas en donde las variables y las
constantes representan valores de verdad.
1.5.4 liminacin de condicionales y &icondicionales.
P Q P Q
( ) ( ) P Q P Q P Q
( ) ( ) P Q P Q Q P
( ) ( ) P Q P Q P Q
1.5.5 (eyes esenciales para el lge&ra declarati"a.
3
0*isten una serie de equivalencias para simplificar y manipular e*presiones lgicas.
'eyes -ombre
P P V
P P F
'ey del medio e*cluido
'ey de contradiccin
P F P
P V P
'eyes de identidad
P V V
P F F
'eyes de dominacin
P P P
P P P
'eyes de idempotencia
( ) P P
'ey de doble negacin
P Q Q P
P Q Q P
'eyes conmutativas
( ) ( ) P Q R P Q R
( ) P Q R P Q R
'eyes asociativas
( ) ( ) ( ) P Q P R P Q R
( ) ( ) ( ) P Q P R P Q R
'eyes distributivas
( ) P Q P Q
( ) P Q P Q
'eyes de .e Morgan
1.5.) *+todos a&re"iados para manipular expresiones.
0*isten mtodos abreviados para propsitos pr(cticos que resultan menos dificultosos.
+ara simplificar con&unciones que contienen solo literales se dispone de las siguientes
reglas antes de aplicarlas es me&or clasificar los literales le*icogr(ficamente de acuerdo
con el nombre de las variables:
o Si una con&uncin contiene literales complementarios o si contiene la constante
lgica " siempre produce ": por lo tanto se trata de una contradiccin.
o Todas las apariciones de la constante lgica V y todas las copias duplicadas de
cualquier literal pueden omitirse.
+ara tratar las disyunciones se puede utili,ar las duales de estas dos reglas.
o Si una disyuncin contiene literales complementarios o si contiene la constante
lgica V siempre produce V: por lo tanto se trata de una tautolog%a.
o Todas las apariciones de la constante lgica " y todas las copias duplicadas de
cualquier literal pueden omitirse.
1.5., -ormas normales.
'as formas normales son formas est(ndar lgicas.
0*isten dos tipos:
o "ormas normales disyuntivas.
o "ormas normales con&untivas.
4
$na forma normal disyuntiva es aquella que est( escrita como una disyuncin de
con&uncin de literales.
$na forma normal con&untiva es aquella que est( escrita como una con&uncin de
disyunciones de literales.
+ara obtener una forma normal con&untiva a travs de manipulaciones algebraicas hay que
hacer lo siguiente:
o 0liminar todas las
y
.
o Si la e*presin contiene sube*presiones compuestas negadas hay que eliminar la
negacin utili,ando la ley de la doble negacin o las leyes de .e Morgan.
o $na ve, encontrada una e*presin sin ninguna sube*presin compuesta negada
hay que usar las siguientes leyes para reducir el alcance de V:
o ( ) ( ) ( ) A B C A B A C
o ( ) ( ) ( ) A B C A C B C
1.5.. Ta&las de "erdad y /ormas normales disyunti"as.
Mediante tablas de verdad es la forma m(s f(cil para encontrar la forma normal de una
e*presin.
+ara convertir una funcin dada por su tabla de verdad en una e*presin lgica se utili,an
los trminos m%nimos o minterms.
Si una funcin de verdad est( e*presada como una disyuncin de trminos m%nimos se
dice que es una forma normal disyuntiva completa.
1.5.0 -ormas normales con1unti"as y complementacin.
Se utili,a la complementacin para obtener formas normales con&untivas a partir de las
tablas de verdad.
0l complementario de la e*presin # es su negacin.
Apartado 1.). $mplicaciones y deri"aciones lgicas.
1.).1 $ntroduccin.
'os patrones de ra,onamiento v(lido pueden e*presarse de varias maneras.
+rimero ponemos las premisas y lo )ltimo la conclusin.
Si el ra,onamiento es v(lido utili,amos el s%mbolo 9.
$n argumento es v(lido si la conclusin se deduce lgicamente siempre que se cumplan
todas las premisas.
5
'a con&uncin de todas las premisas implica lgicamente la conclusin.
o # es la con&uncin de todas las premisas.
o / es la conclusin.
o ;ay que demostrar A B o # 9 /.
1.).2 $mplicaciones lgicas.
Cualquier tautolog%a de la forma A B se denomina implicacin lgica.
'as implicaciones lgicas son tautolog%as.
1.).3 %emostraciones de "alide# mediante ta&las de "erdad.
'o primero encontrar los valores de verdad de todas las premisas.
Si para una asignacin dada todos ellos producen V entonces escriba una V deba&o de la
columna +remisas.
Se reserva otra columna para el valor de verdad de la conclusin.
< por )ltimo en la columna V(lido se indica si las premisas implican o no la conclusin.
ACLARACI LI!R" I#R"$%CCI A LA& 'A#(')#ICA&*
Forma de pro+ar la ,alide- de un ra-onamiento*
+ara probar la valide, de un ra,onamiento se forma la tabla de verdad de las premisas y de la
conclusin y se comprueba que siempre que las premisas toman el valor de verdad V tambin la
conclusin toma el valor V.
+ara anali,ar la valide, del ra,onamiento del Modus ponens:

p q
p
q

"ormamos la tabla de verdad y se observa que siempre que las premisas p y pq son
verdaderas tambin lo es la conclusin q. +or lo tanto el ra,onamiento es lgicamente v(lido.
+remisas Conclusin
q p pq q
V V V V
V " V V
" V " "
" " V "
2tro e&emplo

p q
q
p

+remisas Conclusin
p q pq q
V V V V
V " " V
" V V "
" " V "
Se observa que en el caso en que las premisas son ciertas la conclusin es falsa por lo tanto el
ra,onamiento es una falacia.
6
2tro e&emplo Silogismo hipottico:
p q
q r
p r

+remisas Conclusin
p q r pq qr pr
V V V V V V
V V " V " "
V " V " V V
V " " " V "
" V V V V V
" V " V " V
" " V V V V
" " " V V V
1.).4 %emostraciones.
Muchos argumentos lgicos son argumentos compuestos en el sentido de que la
conclusin de un argumento es la premisa para el pr*imo.
Toda demostracin es una secuencia de tales argumentos.
1.).5 2istemas para deri"aciones.
0*iste una lista dada de argumentos lgicos admisibles llamados reglas de inferencia
esta lista se conoce con el nombre '.
'a derivacin por s% misma es una lista de e*presiones lgicas.
Si e*iste una derivacin para la conclusin C dado que
1 2
, ,...,
n
A A A
= C.
Tabla 1.25 Principales reglas de inferencia utilizadas en el texto
, A B A B
A B B
A B A
A A B
B A B
, A A B B
, B A B A
, A B B C A C
, A B A B
, A B B A
, A B A B B
A B A B
A B B A
, A B B A A B
, A A B
Ley de cobinaci!n
Ley de siplificaci!n
"ariante de la ley de siplificaci!n
Ley de adici!n
"ariante de la ley de adici!n
#odus ponens
#odus tollens
$ilogiso %ipot&tico
$ilogiso disyunti'o
"ariante del $ilogiso disyunti'o
Ley de casos
(liinaci!n de la e)ui'alencia
"ariante de la (liinaci!n de la e)ui'alencia
*ntroducci!n de la e)ui'alencia
Ley de inconsistencia
+
'as reglas de inferencia deben ser elegidas de forma que solo se deriven resultados
v(lidos.
' no debe de contener ninguna falacia.
$n sistema adem(s de v(lido debe de ser completo.
Sistemas para hacer derivaciones:
o Sistemas de ;ilbert.
$tili,an slo dos cone*iones

.
Slo tienen una regla de inferencia el modus ponens.
$tili,an esquemas que son tautolgicamente verdaderos son los esquemas
de a*iomas.
o Sistemas de derivacin natural.
-o utili,an esquemas de a*iomas.
$tili,an el con&unto completo de cone*iones.
+ara cada cone*in se proporcionan dos reglas una para la introduccin de
la misma y otra para su eliminacin.
$na teora est( dada por un con&unto de premisas &unto con todas las conclusiones que
de ellas se derivan.
'as premisas de una teor%a se denominan con frecuencia axiomas.
'as conclusiones que pueden derivarse a partir de los a*iomas se llaman teoremas.
1.).) Teorema de la deduccin.
+ara demostrar A B en matem(ticas se utili,an con frecuencia el siguiente argumento:
1. Se supone # y se a>ade # a las premisas.
?. Se demuestra / utili,ando # si es necesario.
3. Se prescinde de # lo que significa que # no es necesariamente verdadera y se escribe
A B
$emostrar.
, P Q Q R P R
.erivacin formal 1egla Comentario
@.
P Q
?.
Q R
A. +
B. 3
C. 1
D. P R
+remisa
+remisa
;iptesis
@A M+
?B M+
T.
Se supone +.
1 es demostrado ahora
Se prescinde de + + de&a de suponerse cierto y se
concluye que P R .
,