Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apuntes de Logica
Apuntes de Logica
INTRODUCCION
La matemtica estudia las propiedades de ciertos objetos, tales como nmeros, operaciones, conjuntos, etc.
Es necesario por lo tanto contar con un lenguaje apropiado para expresar estas
propiedades de manera precisa. Desarrollaremos aqu un lenguaje que cumpla estos
requisitos, al cul llamaremos lenguaje matemtico.
Aunque algunas de estas propiedades son evidentes, la mayora de ellas no lo son y
necesitan de una cierta argumentacin que permita establecer su validez. Es
fundamental por lo tanto conocer las principales leyes de la lgica que regulan la
correccin de estos argumentos. Desarrollaremos aqu los conceptos de verdad,
equivalencia y consecuencia lgica y algunas de sus aplicaciones al razonamiento
matemtico.
1.2
LENGUAJE MATEMATICO
El lenguaje matemtico est formado por una parte del lenguaje natural, al cul se le
agregan variables y smbolos lgicos que permiten una interpretacin precisa de cada
frase.
1.21
Proposiciones.
Llamaremos proposiciones a aquellas frases del lenguaje natural sobre las cuales podamos afirmar que son verdaderas o falsas.
Ejemplos de proposiciones son:
"Dos es par".
"Tres es mayor que siete".
"Tres ms cuatro es nueve
"Si dos es mayor que cinco entonces dos es par".
"Dos no es par"
En cambio las siguientes frases no son proposiciones:
"Es dos nmero par?".
"Dos ms tres".
"Smale cinco!".
Se acostumbra habitualmente usar las letras p, q, r, s..... etc. para designar
proposiciones.
Es verdadero.
Es Falso.
Es Verdadero.
1.2.2 Conectivos
Se mencion que una proposicin puede estar compuesta a su vez por una o varias
proposiciones simples, conectadas por una palabra o frase que se llama conectivo.
Los conectivos ms usados son:
(1)
Consideremos la proposicin
"dos no es par".
La proposicin est compuesta por la proposicin simple "dos es par" y por la palabra
"no", que forma la negacin.
Si p es una proposicin, p denotar la proposicin no es verdad que p".
Valores de verdad de la negacin:
p
F
V
p
V
F
(2)
q
V
F
V
F
pq
V
F
F
F
(3)
q
V
F
V
F
pq
V
V
V
F
DISYUNCIN EXCLUYENTE:
Su notacin es
p q
(4)
Implicacin o Condicional: Es aqul conectivo en el que se establece una
condicin para que se cumpla la otra proposicin. Esta normalmente se establece
como:
Si se cumple p, entonces se cumple q
Consideremos la proposicin
"si dos es par entonces tres es impar".
La proposicin est compuesta por las dos proposiciones simples "dos es par" y "tres
es impar", conectadas por las palabras "si..., entonces...", que constituyen el conectivo
implicacin.
La implicancia o condicin se representa por el smbolo (p q) que representa "si p
entonces q".
Valores de verdad de la implicancia:
P
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
Observacin
q
V
F
V
F
pq
V
F
F
V
1.2.3 Ejemplos.
q: "3 es impar,"
s: "5> 7"
podemos expresar:
(a)
(b)
(c)
"Si no es verdad que cinco es menor que siete entonces cinco es mayor que
siete o cinco es igual que siete".
(r (s t))
Ejercicio:
Si p = Hace fro y q = Est lloviendo, escribir en un enunciado verbal tradicional, las
siguientes proposiciones:
a) p
b) p q
c) p q
d) q p
e) p q
f) q p
g) p q
h) p q
i) q
j) (p q) p
Respuestas:
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
No hace fro.
Hace fro y est lloviendo.
Hace fro o est lloviendo.
Est lloviendo si, y slo si, hace fro.
Si hace fro, entonces no est lloviendo.
Est lloviendo o no hace fro.
No hace fro y no est lloviendo.
Hace fro si, y slo si, no est lloviendo.
No es verdad que no est lloviendo Est lloviendo.
Si hace fro y no est lloviendo, entonces hace fro.
Ejercicio:
Sean las proposiciones: p = Es grande y q = Est maduro
Escribir los siguientes enunciados verbales en forma simblica, usando p, q y los
correspondientes conectivos.
1)
2)
3)
4)
5)
6)
Respuestas:
1) p q
2) p q
3) (p q)
7
4) p q
5) p (p q)
6) (p q)
1.2.4 Verdad lgica o Tautologa. Son aquellas proposiciones que siempre son
verdad, sin importar los valores de verdad de las proposiciones que la componen.
q
V
F
V
F
pq
V
F
F
F
(pq)p
V
V
V
V
p
V
V
F
F
q
V
F
V
F
pq
V
V
V
F
(p q)p
V
V
F
V
observamos que sta es verdadera slo para algunos valores de verdad de p y q. Esta
proposicin no es una verdad lgica, y se le designa como contingencia.
1.2.5. Contingencia: Son aquellas proposiciones que pueden ser verdad o falso,
dependiendo de los valores de verdad de las proposiciones que le componen.
El mtodo de las tablas de verdad para verificar una verdad lgica sirve solamente
cuando se trata de proposiciones sin variables ni cuantificadores.
1.2.6. Contradicciones. Son aquellas proposiciones que siempre son falsas, sin
importar los valores de verdad de las proposiciones que la componen.
Si consideramos la proposicin
(p p),
vemos que sta es siempre falsa, cualquiera que sea el valor de verdad de p como
podemos observar al hacer la tabla de verdad de la proposicin:
p
V
F
p
F
V
p p
F
F
1.3.
Predicados.
(1)
Usando smbolos matemticos conocidos y smbolos para los conectivos, podemos expresar los siguientes predicados:
(a)
(b)
(2)
podemos expresar:
(a)
(b) "x es mayor que y si y slo si no es verdad que x es menor que y o que x es
igual a y.
(r (x, y) (s(x, y) t(x, y))).
1.3.2. Cuatificadores.
(1)
Cuantificador universal.
Consideremos el predicado:
x es positivo",
y antepongmosle la frase
Obtenemos la proposicin
para todo nmero x se tiene que x es positivo",
cuyo significado es equivalente al de la proposicin
10
Cuantificador existencial.
Si al mismo predicado
x es positivo",
le anteponemos la frase
obtenemos la proposicin
"existe un nmero x tal que x es positivo",
cuyo significado es equivalente al de la proposicin
existen nmeros positivos".
La frase " existe un x constituye el cuantificador existencial.
(3)
x es positivo",
obtenemos la proposicin
La frase
"existe un nico x
11
1.3.3. Ejemplo.
2.
3.
1.3.4. Ejemplo.
Sea N el conjunto de los nmeros naturales. Usando los smbolos matemticos usuales
y los smbolos lgicos, podemos expresar las siguientes proposiciones:
(1)
(4)
x N (x es par).
(5)
(2 es par x N (x es par)).
(4)
(1 es par (3 es par)).
(5)
(6)
(7)
(8)
! x N(x2 = 4).
(9)
No hay un nmero natural que sea mayor que todo nmero natural:
1.4
1.4.1 Verdad.
(2)
13
(3)
(4)
(5)
(6)
(7)
(8)
1.4.2 Ejemplos.
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
14
(12)
a + 3 > 7.
(13)
(14)
(15)
Notemos que para ver que una proposicin de la forma x A p(x) es falsa, basta
encontrar un objeto a de A que no cumpla con p(a). Este objeto se llama contraejemplo
de la proposicin dada.
Por ejemplo, en (8) del ejemplo anterior, x = 1 es un contraejemplo para la proposicin
x N (x > 2).
1.4.3 Verdad lgica. Son aquellas proposiciones que siempre son verdad, sin
importar los valores de verdad de las proposiciones que la componen.
q
V
F
V
F
pq
V
F
F
F
(pq)p
V
V
V
V
15
p
V
V
F
F
q
V
F
V
F
pq
V
V
V
F
(p q)p
V
V
F
V
vemos que sta es verdadera slo para algunos valores de verdad de p y q. Esta
proposicin no es una verdad lgica, y se le designa como contingencia.
Contingencia: Son aquellas proposiciones que pueden ser verdad o falso,
dependiendo de los valores de verdad de las proposiciones que le componen.
El mtodo de las tablas de verdad para verificar una verdad lgica sirve solamente
cuando se trata de proposiciones sin variables ni cuantificadores. Por ejemplo, la
proposicin
x A(p(x) p(x)
es lgicamente verdadera pues si a es un objeto de la coleccin A, o bien se cumple
p(a) o bien su negacin p(a), y por lo tanto (p(a) p(a)) es siempre verdadera.
En este caso no se puede usar tablas de verdad porque la verdad de sta depende del
universo A y de si para cada objeto a de A se cumple p(a) o no.
1.4.4 Contradicciones. Son aquellas proposiciones que siempre son falsas, sin
importar los valores de verdad de las proposiciones que la componen.
Si consideramos la proposicin
(p p),
vemos que sta es siempre falsa, cualquiera que sea el valor de verdad de p como
podemos observar al hacer la tabla de verdad de la proposicin:
p
V
F
p
F
V
p p
F
F
16
que es siempre falsa pues si para todo a A se cumple p(a), entonces no existe a A
tal que p(a).
1.4.5 Verdades lgicas usuales.
Ley de Idempotencia
ppp
ppp
Ley Asociativa
(p q ) r p (q r)
(p q) r p (q r)
Ley Conmutativa
pqqp
p q q p
Ley Distributiva
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Ley de Identidad
pFp
pVV
pVp
pFF
Leyes de DeMorgan
(p q) p q
(p q) p q
Ley de Absorcin
p (p q) p
p (p q) p
17
p p V
p p F
p p
V F
F V
pqpq
(p q) (p q)
p q ((p q) (q p)
(p (q q)) p
1.4.6 Otras proposiciones lgicamente verdaderas
((p q) p) q
((p q) (q r)) (p r)
((p q) (q r)) (p r)
(p q) ( p q)
(p q) (p q) (q p)
((p q) (q r) (r p)) ((p q) (q r))
((p q) ( p q)) q
((p q) (r q)) ((p q) q)
((p (q r)) ((p q) (p r))
((p (q r)) ((p q) (p r))
((p r) q)) (p (r q))
Ejercicio:
Simplificar las siguientes proposiciones:
1)
2)
3)
4)
5)
6)
(p q)
(p q)
(p q)
(p q)
(p q)
(p q)
Respuestas:
1) (p q) p q p q
2) (p q) p q
18
3)
4)
5)
6)
1.5.
(p q) p q p q
(p q) p q p q
(p q) p q p q
(p q) p q p q
APLICACIONES
x A y A (x y = y x)
Esta se interpreta por:
"dado dos objetos cualesquiera a y b de A se tiene que a b = b a".
Su negacin , que afirma que la operacin no es conmutativa en A es:
x A y A (x y = y x)
La que se interpreta por:
"no es cierto que dados dos objetos cualesquiera a y b de A se tiene que a b = b a",
19
la cual es equivalente a:
"existen objetos a y b de A tales que no cumplen con a b = b a"
y por lo tanto equivalente con
"existen objetos a y b de A tales que a b b a".
Por ejemplo:
Negar la proposicin x y (x + y = 5 x = y)
x y( x + y = 5 x = y) x y( x + y = 5 x = y) x y( x + y = 5 x = y)
x y( x + y = 5 x y)
20
REGLAS DE INFERENCIAS
MODUS PONENDO PONENS (PP)
pq
Si llueve, entonces las calles se mojan
p
Llueve
__________________________________________________
q
(premisa)
(premisa)
(conclusin)
El condicional o implicacin es aquella operacin que establece entre dos enunciados una
relacin de causa-efecto. La regla ponendo ponens significa, afirmando afirmo y en un
condicional establece, que si el antecedente (primer trmino, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo trmino, en este caso q).
Luego, no llueve
Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos
conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha
podido darse.
Esto nos permite formular una regla combinada de las ambas anteriores, consecuencia
ambas de una misma propiedad de la implicacin; la regla ponendo ponens slo nos permite
afirmar si est afirmado el antecedente (el primer trmino de la implicacin), y la regla tollendo
tollens slo nos permite negar a partir del consecuente (segundo trmino de la implicacin);
ambas consecuencias se derivan de que la implicacin es una flecha que apunta en un nico
sentido, lo que hace que slo se pueda afirmar a partir del antecedente y negar slo a partir del
consecuente.
21
Juan es cocinero
Pedro es polica
___________________________________
____________________________________________
p
22
q
No he ido de compras
__________________________________________________________
p
23
pq
qr
Si la bola blanca golpea a la bola negra, la bola negra se mueve
_______________________________________________________________
pr
r s
pV r
Llueve o la tierra tiembla
____________________________________________________
qV s
pr
qr
____________________________________________________
r
Luego, repites
24
LEY CONMUTATIVA
Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la disyuncin.
Una conjuncin es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos
no cambia este hecho. Igualmente, una disyuncin es presentar una eleccin entre dos cosas, sin
importar en qu orden se presente esta eleccin. As pues,
pqqp
p y q equivale a q y p
pVqqVp
p q equivale a q p
pVq
____________
(p q)
25