Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
CURSO INTRODUCTORIO
Asignatura: RAZONAMIENTO LGICO
Autor: Jos Manuel Daz Fumero
GUIA No 2
Lgica de Proposiciones
CONTENIDO
1.Proposiciones......................................................................................................................2
1.1. Definicin....................................................................................................................2
1.2. Proposicin atmica y molecular..............................................................................2
1.3. Forma Proposicional..................................................................................................3
1.4. Notaciones y Conectivos............................................................................................3
1.5. Operadores lgicos.....................................................................................................6
1.6. Tabla de Verdad..........................................................................................................7
1.7. Leyes de la lgica........................................................................................................9
2.Enunciado de una Proposicin y Deducciones..............................................................10
2.1. Definicin de Tautologa..........................................................................................10
2.2. Definicin de Contradiccin....................................................................................10
2.3. Definicin de Contingencia......................................................................................11
2.4. Implicacin Lgica...................................................................................................11
2.5. Equivalencia lgica...................................................................................................11
2.6. Condicin Suficiente y necesaria............................................................................12
2.7. Reglas de Inferencias...............................................................................................14
2.8. Principio de Induccin Completa...........................................................................17
3. Ejercicios.....................................................................................................................18
1.Proposiciones
1.1. Definicin
Proposicin lgica: es todo enunciado con sentido, respecto del cual se disponga de un
criterio que nos permita decir que es verdadero o falso
Ejemplos de proposiciones:
3
q: Hay un premio Nbel de ciencias de la computacin
r: La Tierra es plana
Se denominan Proposiciones moleculares o formulas, a las que se obtienen combinando
proposiciones atmicas, mediante ciertas partculas, llamadas conectivas.
De est forma podemos obtener proposiciones moleculares combinando las
proposiciones atmicas anteriores:
Ejemplo:
Una dcada tiene diez aos y La Tierra es plana
Como las proposiciones atmicas usadas las habamos representado con las letras p y r
respectivamente, la proposicin molecular vendr representada con la siguiente notacin:
pyr
Las proposiciones moleculares deben ser representadas con letras maysculas en
carcter normal, P, Q, R, ..., a las que se les dar el nombre de letras proposicionales.
4
En la siguiente tabla los conectivos ms usados en la lgica proposicional:
Nombre
Smbolo
Notacin
Lectura
Conjuncin
pq
pyq
Disyuncin
pq
poq
Disyuncin Exclusiva
pq
O p o q pero no ambos
Implicacin
pq
p implica q
Equivalencia
pq
p si y solo si q
Negacin
~p
No p; es falso p
Valor de Verdad: se usa este termino para referirse indistintamente al hecho de que una
proposicin es verdadera o falsa. Decimos que una proposicin verdadera tiene el valor de
verdad verdadero y una proposicin falsa tiene valor de verdad falso.
Representamos los valores de verdad verdadero con la letra V y el de falso con la letra
F.
Ejemplos:
1.- La suma de los dos lados de un tringulo es mayor que la longitud de cualquier
lado, es una proposicin a la cual se asocia el valor verdadero en Geometra.
2.- 6 es un nmero impar se le asocia el valor falso en matemticas.
Los conectivos relacionan las proposiciones y nos permiten analizar el valor de verdad
de una proposicin compuesta a partir de los valores de verdad de sus proposiciones
componentes.
A continuacin relacionaremos cada uno de los conectores nombrados con su valores de
verdad.
Conjuncin:
proposiciones que la componen son verdaderas, y es falso si al menos una de las dos
proposiciones que la componen es falsa.
5
Ejemplo:
2 es un nmero la vaca es un animal : tiene valor de verdad V
2 es un nmero la vaca es un ave : tiene valor de verdad F
2 es impar la vaca es un animal : tiene valor de verdad F
2 es un impar la vaca es un ave : tiene valor de verdad F
Disyuncin: corresponde a <<o>> o . p o q (p q) significa: la proposicin p o la q
o ambas. En la proposicin: El prximo profesor ser ingeniero o matemtico, la
disyuncin o tiene el significado que se indica. En efecto, se significa con dicha
expresin que el prximo profesor ser ingeniero, ser matemtico o tendr ambos ttulos .
El valor de verdad de pq es: verdadero (V) si al menos una de las proposiciones es,
verdadera y falso, si ambas proposiciones son falsas.
Ejemplo:
Estudio por libros o estudio por apuntes, tendr el valor de verdad si estudio por uno
o por los dos y falso si no estudio por ninguno de las dos formas.
Disyuncin exclusiva: corresponde a <<o....o..>>
o p o q (pq) significa la
6
La conectiva si y solo si p si y solo si q (pq).
El valor de verdad de pq es: verdadero V, si el antecedente p y consecuente q tienen
igual valor de verdad o V o F, y falso F cuando tienen valores diferentes.
Negacin: <<no..>> ~ negacin de p o no p (~p).
Los valores de verdad para el conectivo ~ son : la negacin de una proposicin
verdadera es falsa F y la de una proposicin falsa es verdadera V.
7
A continuacin presentamos las tablas de verdad de los diferentes conectivos, con estas
tablas se pueden construir las tabas de verdad de cualquier combinacin de proposiciones
con los diferentes conectores.
1.- Tabla de Verdad de la conectiva conjuncin <<y>> con dos proposiciones p y q.
P
pq
pq
pq
8
F
pq
pq
~p
En resumen tenemos la siguiente tabla de la verdad para todos los conectores lgicos:
p
pq
pq
p
q
pq
pq
~p
a. (p(pq))p
b. (p (pq))p
a. ((pq)r)(p(qr))
b. ((pq)r)(p(qr))
pq~q~p
10
Por tanto es inmediato que la tabla de verdad de una TAUTOLOGA contendr solo V
en la ltima columna.
Ejemplo: (pr)(pq)
P
11
12
si a estas proposiciones las llamamos directa, recproca, contraria de la directa y
contrarecproca, respectivamente, y formamos sus tablas de verdad como a continuacin se
indica, tendremos:
P
~P
~Q
PQ
QP
~P~Q
~Q~P
Ahora bien, como las columnas 5 y 8 son iguales, los encabezamientos de estas
columnas sern equivalentes es decir:
PQ ~Q~P
Anlogamente:
Q P ~P ~Q
o sea:
1.- La proposicin condicional es equivalente a su contrarecproca.
teoremas
directo,
recproco,
contrario
del
directo
contrarecproco,
13
4.- Los teoremas recproco y contraro de la directa son equivalentes.
Resumiendo: Los teoremas recprocos son equivalentes.
Relaciones entre un teorema y sus formas derivadas. Las relaciones existentes entre un
teorema
PQ
y sus formas derivadas puede ser esquematizado en la forma siguiente:
RECIPROCOS
QP,
CONTRARIOS
CONTRARIOS
PQ,
CONTRARECIPROCO
~P~Q,
RECIPROCOS
~Q~P;
14
o sea, al teorema recproco.
3.- Que P es la condicin suficiente para Q expresa lo mismo que si P entonces Q, o
sea que el directo, y, por tanto:
P es la condicin suficiente para Q equivale a si P entonces Q
o sea, al teorema directo
4.- Finalmente, decir que: P es la condicin necesaria y suficiente para Q
equivale a si P entonces Q y si Q entonces P
o sea, a los teoremas directos y recprocos.
Por tanto, para demostrar que P es la condicin necesaria y suficiente para Q
Habr que demostrar los teoremas directos y recprocos.
15
P1: pq
P2: p
C: q
Ejemplo:
P1: Jos gana la Loterasu novia se alegra
P2: Jos gana la Lotera
C: su novia se alegra
2a. Regla de Unin. Si dos proposiciones son tomadas como premisas, su conjuncin
puede ser inferida como conclusin.
Procediendo como el caso anterior, la segunda regla puede ser escrita en la forma
simblica siguiente:
P1: p
P2: q
C: pq
Ejemplo:
P1: Jos se grada
P2: Jos le gusta el cine
C: Jos se grada y a Jos le gusta el cine
3a. Regla de Insercin. Cualquier tautologas puede ser tomada como premisa para el
desarrollo de cualquier inferencia.
La tercera regla puede escribirse de la siguiente forma:
P1: p1
P2: p2
16
..
Pn: pn
Pn+1: Cualquier Tautologa
C: La inferida de las premisas anteriores
4a. Regla de intercambio: Si dadas dos premisas, una de ellas es bicondicional y uno de
sus miembros figura en la otra, podemos inferir, como conclusin, el resultado de
intercambiar el miembro comn de la premisa no bicondicional, por el correspondiente de
la bicondicional.
Esta cuarta regla puede ser escrita de la forma simblica siguiente:
P1: pq
P2: qr
C: pr
Ejemplo:
P1: Hace mal tiempoJos no viaja
P2: Jos no viajaAlicia se alegra
C: Hace mal tiempo Alicia se alegra
(II)
17
Entonces p(n) es cierta para todo nN*
Ejemplo:
Demostrar por el mtodo de Induccin completa que:
1 + 2 + 3 + ..............n=(1+n)n/2
Para demostrar la frmula anterior bastar con probar que son verdaderas las
proposiciones:
(1) P1, P2,P3,Pn,
Siendo Pn la proposicin
1 + 2 + 3 + ..............n=(1+n)n/2
Ahora bien
a) P1 es verdadero puesto que:
1=(1+1)1/2
b) Si suponemos ahora que Pn es verdadera, esto es que se verifica la igualdad
(2) 1 + 2 + 3 + ..............n=(1+n)n/2
Vamos a demostrar que la proposicin Pn+1 tambin tiene que ser verdadera.
Sustituyendo n+1 en la relacin anterior:
1 +2 + 3 +............(n+1)=(1+(n+1))(n+1)/2
Como antes del termino n+1 tengo el termino n y asum que era cierto en (2) sustituyo
el valor de n en la relacin anterior:
1 + 2 + 3 ........(1+n)n/2 +(n+1) = (1 + (n+1))(n+1)/2
1 + 2 + 3 .........((1+n)n + 2(n+1))/2 = (n+2)(n+1)/2
Sacando factor comn n+1 en el lado izquierdo
(n+1)(n+2)/2 = (n+2)(n+1)/2
18
Queda demostrado que Pn+1 es cierto por tanto queda demostrado para todo Pn
3. Ejercicios
1.- Suponga que a, b y c, son nmeros reales. En los siguientes ejercicios(a al d) represente
en forma simblica los enunciados dados. Usando las siguientes proposiciones.
p:a<b; q:b<c; r:a<c
a.- a<b y b<c
b.- No es cierto (a<b y b<c)
c.- Si a<b, entonces bc
d.- Si (ab y b<c) entonces ac
2.- Sean p, q, r las proposiciones siguientes
p: est lloviendo
q: el sol est brillando
r : hay nubes en el cielo
Traduzca las siguientes proposiciones usando notacin lgica, usando p, q, r y conectivos
lgicos.
a.- El sol est brillando si y solo si no est lloviendo
b.- Esta lloviendo y el sol est brillando
c.- Si est lloviendo, entonces hay nubes en el cielo
3.- Formule en forma verbal (lenguaje cotidiano) las expresiones simblicas que se tienen
en los ejercicios siguientes (a a la d). Usando:
p: Hoy es Lunes
q: Est lloviendo
r: Hace calor
a.- pq
b.- (p(qr))(r(qp)
c.- ~p(qr)
d.- pq
4.- En los siguientes ejercicios evaluar cada proposicin segn los siguientes valores de
verdad:
p=F; q=V; r=F ; s=V
a.- pq
b.- p~(qr)
c.- pq
d.- (pq)r
e.- (s(p~r)((p(rq))s)
19
5.- Construya las tabla de verdad de las siguientes expresiones:
a.- ~ (pq)
b.- ~ p~q
c.- (pq)((p~q)(pq))
d.- ((pq)r)(p~q)
6.- Considere la tautologa p(q(pq)). Muestre que si la primera p se sustituye por la
proposicin pq, entonces la nueva proposicin no es una tautologa.
7.- Sean p y q contradicciones y r es una tautologa. Qu ser la proposicin (~p~q)r?
8.- Dada la siguiente expresin : si me gano el KINO, entonces me compro un
apartamento hallar la expresin reciproca, contrario y contrareciproco.
9.- Dado el Teorema: Si un tringulo tiene dos lados iguales, entonces los ngulos
opuestos a dichos lados deben ser tambin iguales.Se pide hallar sus formas derivadas
( reciproca, contrario y contrareciproco)
10.- Verifique por induccin:
a.- 1 + 3 + 5 + .......+2n-1= n2
b.- 1x2 + 2x3 +3x4 + . n(n+1) =(n(n+1)(n+2))/3
c.- 12 + 22 + 32 + ........ + n2 = (n(n+1)(2n+1))/6
d.- 1 + 1 + 1 +..........+
1______ = n___
1.3 3.5 5.7
(2n-1)(2n+1)
2n+1
e.- 11n 6 es divisible entre 5 para n=1,2,......
f..- 3n + 7n 2. es divisible entre 8 para n=1,2,......
g.- cos x + cos 2x +........ + cos nx = (cos ((x/2)(n+1)) sen (nx/2) ) /sen (x/2)