Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Curso Basico de Logica
Curso Basico de Logica
Lgica
1.
Introduccin
2.
3.
Proposiciones
Conjuncin
Disyuncin
Negacin
Condicional
Bicondicional
Ejercicios
Tablas de verdad
4.
Tautologa y Contradiccin
5.
Equivalencia lgica
6.
Equivalencia lgica
Implicacin lgica
Algebra de proposiciones
Algebra de proposiciones
Leyes del lgebra de proposiciones
Ejercicios
7.
Cuantificadores
8.
Razonamiento lgico
9.
Introduccin
Esto no es un curso completo de lgica, ni mucho menos una
ctedra maestra, eh??, que quede claro..:-). Tan slo son un
pequeos apuntes para todos aquellos que tengan inters en
las matemticas, puedan as conocer las tcnicas de la lgica.
Si se desconocen stas tcnicas, no es posible dominar con
propiedad los cursos superiores de matemticas, ni conocer las
muchas aplicaciones de las matemticas a todas las ramas de
la ciencia y tecnologa.
Se ver aqu con detalle una exposicin de las nociones
clsicas de lgica y lo que es una demostracion matemtica .
Tambin se incluye una descripicin elemental de las reglas y
smbolos que se emplean en el razonamiento lgico.
Una de las mayores dificultades al analizar el rigor matemtico
de una demostracin se halla en el hecho de que debemos
comunicar nuestras ideas empleando el lenguaje ordinario, que
est lleno de ambigedades. En ocasiones es difcil decidir si
determinada lnea de razonamiento es correcta o no. La lgica
elimina estas ambigedades aclarando cmo se construyen las
proposiciones, hallando su valor de verdad y estableciendo
reglas especficas de inferencia por medio de las cuales se
puede determinar si un razonamiento es vlido o no.
En resumen sta seccin tiene por objeto dar una descripcin
elemental de las reglas y smbolos que se emplean en el
razonamiento lgico. No ser una exposicin de tipo filosfico
ni formal de la lgica.
Al final se vern los mtodos de demostracin matemtica, que
Anterior
Siguiente
Nociones de Lgica
elemental
Proposiciones
q: 2 + 2 = 4;
r: 2 es un nmero impar.
Anterior
Siguiente
Nociones de Lgica
elemental
Conjuncin
Anterior
Siguiente
Nociones de Lgica
elemental
Disyuncin
Anterior
Siguiente
Nociones de Lgica
elemental
Negacin
Anterior
Siguiente
Nociones de Lgica
elemental
Condicional
a.
b.
c.
d.
p
p
p
q
implica q
solamente si q
es suficiente para q
es necesario para p
proposicion falsa.
2.- Si a y b son nmeros pares, entonces la suma (a+b)
tambien es un nmero par.
Para este caso, si se tienen que dos nmeros son pares
entonces su suma son otro nmero par, es decir, no afirma que
para cualesquiera dos nmeros la suma de estos es un nmero
par.
Otra observacin interesante que hay que notar, es como ya
dijimos anteriormente de que el valor de verdad de la
proposicin condicional p --> q es falso, si p es verdadero y q
es falso. Ahora puede puede ser que te sorprenda de que el
valor de verdad de la condicional p --> q es verdadero, dado
que q es falsa y q verdadera, o ms an, es verdadero, dado
que p es falsa y tambin q es falsa.
Veamos otro ejemplo para aclarar esto:
Sea la proposicin condicional: Si 4 es un nmero primo,
entonces 6 es un nmero primo. Es una proposicin
verdadera a pesar de que 4 es un nmero primo es una
proposicin falsa. El que la proposicin 6 es un nmero
primo sea falsa, no tiene importancia. Nada se afirma con
respecto al valor de verdad de q en este caso, solamente el
valor de verdad de p --> q, y ste queda completamente
determinado por las tablas de verdad que veremos mas
adelante.
Anterior
Siguiente
Nociones de Lgica
elemental
Bicondicional
Anterior
Siguiente
Tablas de Verdad
~p
pvq
p^q
p --> q
p <--> q
V V
V F
F V
F F
~p
~p v q
Nota:
De la tabla anterior podemos observar lo siguiente:Si
comparamos las columnas primera y segunda con los de la
cuarta columna, es decir los valores de verdad de p y q con los
valores de verdad de ~p v q, observamos que ~p v q es falsa
solamente cuando p es verdadera y q es falsa. Esto nos hace
recordar los valores de la proposicin condicional p <--> q,
veremos mas tarde la relacin que existe entre stas dos
proposiciones.
columna: V,F,V,F,V,F,V,F.
Se observa que la proposicin compuesta [(p v q) ^ r] --> ~q ^
p a fn de cuentas es una condicional p --> q, donde digamoslo
as p = [(p v q ^ r)] y q = ~q ^ p. Por tanto lo que nos interesa al
final son los valores de verdad de la condicional -->.
Debemos encontrar los valores para la proposicin [(pvq) ^ r ],
donde observamos que esta proposicin es una conjuncin p ^
q, donde p = p v q y q = r, (conste que hago estas igualdades
para que se te haga mas claro). Para esto encontraremos el
valor de verdad de la disyuncin p v q ,donde los valores de
sta se deducen de las columnas primera y segunda, los
valores de esta disyuncin las colocaremos en la cuarta
columna. Ahora encontraremos los valores de verdad de la
conjuncin [(p v q) ^ r] de la cual los valores los podemos
deducir de las columnas tercera y cuarta, dichos valores los
colocamos en la quinta columna.
Ahora nos hace falta encontrar los valores de verdad de la
proposicin ~q ^ p, la cual evidentemente se trata de una
conjuncin, para esto se necesita encontrar los valores de ~q
los cuales se deducen de la columna dos aplicando la ley de la
negacin: si q es V entonces ~q es F, si q es F entonces ~q es
V..etc., a estos valores los colocamos en la columna nmero
seis, y ahora hayamos los valores de la conjuncin ~q ^ p,
estos se deducen de las columnas primera y sexta, valores que
colocamos en la sptima columna. Finalmente encontramos los
valores de la implicacin [(p v q) ^ r] --> ~q ^ p de donde ahora
se pueden deducir con claridad de las columnas quinta y
sptima, a estos valores los colocamos en la octava y ltima
columna.
La tabla de dicha proposicin es la siguiente:
VVF
VFV
VF F
FVV
FVF
F FV
F F F
Anterior
Siguiente
Tautologa
~p
p v ~p
--> q) ^ (q -->
r)]
--> (p --> r)
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Observacion:
Si P(q,r,s...) es una tautologa, entonces ~P(q,r,s...) es una
contradiccin y viceversa
Anterior
Siguiente
Contradiccin
p ^ ~p
p
~p
p ^ ~p
~p.
Anterior
Siguiente
Equivalencia lgica
P(q,r,...)
(p --> q) ^ (q --> p)
pqp
VV
VF
FV
FF
--> q q
V
F
V
V
p < -- > q
p
V
V
F
F
q
V
F
V
F
p <--> q
V
F
F
V
Luego
(p --> q) ^ (q --> p) < -- > p <--> q, es decir,
las proposiciones son lgicamente equivalentes
< -- > ~p v q
p --> q
p
V
V
F
F
q
V
F
V
F
p --> q
V
F
V
V
p <--> q
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
~p v q
V
F
V
V
p --> q <--> ~p v q
p
V
V
F
F
q ~p
V F
F F
V V
F V
p --> q
V
F
V
V
~p v q
V
F
V
V
p --> q <--> ~p v q
V
V
V
V
Anterior
Siguiente
Implicacin lgica
P(p,q,...)
--> Q(p,q,...)
--> (q -->r)
(p ^ q) ^ ~(p v q)
p
V
V
F
F
q (p
V V
F V
V F
F F
^
V
F
F
F
q)
V
F
V
F
^ ~
F F
F F
F F
F V
(p v q)
V V V
V V F
F V V
F F F
p^q
-->
pvq
Anterior
Siguiente
Algebra de proposicines
(3a) p v q
< -- >
qvp
p v p < -- > p
p
V
F
pvp
V
F
p v p < -- > p
V
V
p v f < -- > p
p v f < -- > p
p f
V F
F F
pvf
V
F
p v f < -- > p
V
V
Anterior
Siguiente
Si P(p,q,...) < -- > Q(p,q,...), entonces P(P1, P2,...) < -- > Q(P1,
P2,...) para cualesquiera proposiciones P1, P2,...
1b. P ^ P
< -- >
Leyes asociativas
2a. (P v Q) v R < -- > P v (Q v R)
3a. P v Q < -- > Q v P
Anterior
Siguiente
Razonamientos
vlidos.
premisas.
Si un razonamiento es correcto, entonces la conjuncin de
todas las premisas implica la conclusin. Si las premisas son
verdaderas, la conclusin es verdadera. Sin embargo, si una o
mas de las premisas es falsa, la conjuncin de todas las
premisas es falsa; por tanto, la conclusin puede ser verdadera
o falsa.
1) p -- > q
2) p -- > q
~q
______
______
~p
p
V
V
F
F
q
V
F
V
F
p -- > q
V
F
V
V
p
V
V
F
F
q
V
F
V
F
razonamiento es verdadero
p
V
V
F
F
q
V
F
V
F
p -- > q
V
F
V
V
~q
F
V
F
V
~p
F
F
V
V
3) p --> q
4) p --> q
q
_______
~p
_______
~q
p
V
V
F
F
q
V
F
V
F
p --> q
V
F
V
V
q
V
F
V
F
p
V
V
F
F
p
V
V
F
F
q
V
F
V
F
p --> q
V
F
V
V
~p
F
F
V
V
~q
F
V
F
V
p --> q
q --> r
______
p --> r
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r p -- > q
V
V
F
V
V
F
F
F
V
V
F
V
V
V
V
F
q -- > r
V
F
V
V
V
F
V
V
p -- > r
V
F
V
F
V
V
V
V
la demostracin matemtica
Anterior
Siguiente
Demostracin
matemtica.
s3
.
.
.
sn
____
t
p p1 q p --> p1 p1 --> q
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
F
F
V
V
V
V
V
F
V
V
V
F
V
V
p ^ (p --> p1) ^
(p1 --> q)
p ^ (p --> p1) ^
(p1 --> q) --> q
V
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
p
p --> p1
p1 --> p2
.
.
.
pn --> q
________
q
p --
> p1
Esto significa que a = 2 * m y b = 2 * n para dos enteros m y n,
segn la definicin de lo que significa un nmero entero divide
a
otro.
--> p2
p1
Pero, si a = 2 * m y b = 2 * n, entonces a + b = 2 * m + 2 * n
= 2(m + n), por la propiedad
distributiva.
p2 --> p3
Como a + b = 2(m + n) y m + n es un nmero entero,
(la suma de dos nmeros enteros, es entero), entonces
2 | (a +
b).
p4
p3 -->
teoremas, definiciones..etc.
Un anlisis de la demostracin muestra que el razonamiento es vlido.
Establece el teorema, porque cada una de sus proposiciones p --> p1,
p1 --> p2, p2 --> p3, p3 --> p4 y p4 --> q es un resultado que ha sido
enunciado o demostrado anteriormente.
So el teorema que se va a demostrar no es de la forma p --> q, si no
una proposicin q, entonces se remplaza p en el argumento anterior
por una proposicin apropiada p1 que se conoce y despues se
construye una cadena de proposiciones que van de p1 a q:
p1
p1 --> p2
p2 --> p3
...........
q
2. Demostacin indirecta.
siguiente:
Dado:
xy nmero impar
Demostrar:
x y y son impares
Supongamos:
x y y no son impares
~q
Entonces:
xy es par
(p --> q)
Observacin:
Las siguientes tautologas muestran que en el mtodo indirecto de
demostracin se puede hacer uso de la hiptesis original y la
negacin de q, es decir, ~q. La tercera muestra que la doble hiptesis
p y ~q puede conducir a una contradiccin de la forma r ^ ~r, que es la
demostracin por contradiccin o reduccin al absurdo.
Demostracin.
Supongamos que no; es decir, que S, es el conjunto de todos los
nmeros primos y que S no es infinito. ( p ^ ~q ), que es la negacin
de (p --> q).
Entonces S es un conjunto finito, digamos S = {p1,p2,...,pk}. Como S
es finito, el producto p1,p2,....pk de todos los primos en S se puede
hacer, y adems formar el nmero b = (p1.p2....pk) + 1.
Entonces existe un nmero primo p' tal que
p' divide a b. (r)
Como p' es primo y S contiene todos los nmeros primos, se
debe tener que p'E S. Sin embargo, ningn primo en S divide a
b; por tanto,
p' no divide a b. (~r)
As hemos llegado a una contradiccin (r ^ ~r). Puesto que la
Nota
Cualquier proposicin t es equivalente a la proposicin (~t) --> (r ^ ~r),
independientemente de lo que pueda ser r. Porque si t es V, ~t es F, y
como r ^ ~r es F, (~t) --> (r ^ ~r) es V; y si t es falsa, ~t es V, y as (~t) -> (r ^ ~r) es F; entonces t y (~t) --> (r ^ ~r) tiene los mismos valores
de verdad y, por tanto son equivalentes. Esto quiere decir que para
probar un teorema t por reduccin al absurdo se establece la verdad
de la proposicin (~t) --> (r ^ ~r), para alguna proposicin r, y como
son equivalentes, queda demostrado el teorema t.
Los dos ejemplos anteriores muestran que para demostrar que una
proposicin p es verdadera en una teora T, se construye una teora
T', obtenida uniendo a T el axioma ~p. Se halla en T' una
proposicin contradictoria. Si en una teora una proposicin es
contradictoria, entonces toda proposicin de la teora es
contradictoria, ~p es contradictoria. Por la ley del tercio excludo la
teora no se acepta y, por tanto, p es verdadera en T.
Demostracin.
La proposicin es de la forma (p ^ q) --> r, siendo p: x es racional; q: y
es irracional; r: x + y es irracional.
Vamos hacer la demostracin por contradiccin, supongamos que
~[(p ^ q) --> r] o bien, (p ^ q) ^ ~r. Es decir, suponemos que x es
racional; y es irracional y x + y no es racional, es decir, y es racional.
Como x y x + y son racionales, tienen la forma x = a/b y x + y = c/d
(a,b,c y d nmeros enteros, por definicin de nmero racional).
Entonces (x + y) - x = c/d - a/b = (cb - da)/db. Como cb - da y db son
nmeros enteros, se deduce de la definicin de nmeros racionales
que, (x + y) - x es un nmero racional.
Pero (x + y) - x = y, lgicamente, y es racional. Es decir, ~q: es falso
que y sea irracional. As pues hemos encontrado la contradiccin q ^
~q. Por consiguiente, hemos demostrado que (p ^ q) --> r es
verdadero.
p(1) ^
np(n)
Mostrar que
n, 2n <= 2n + 1
Demostracin:
1. Paso fundamental: Probar que p(1) es verdadera:
21<= 21 + 1donde, 21 = 2 y 21 + 1 = 4; por tanto:
21 <= 21 + 1
2. Paso inductivo: Probar que
k[p(k) --> p(k + 1)].
Supongamos que p(k) es verdadera: 2k <= 2k + 1.(hiptesis)
Demostrar: p(k + 1): 2k + 1 <= 2k + 2.