Documentos de Académico
Documentos de Profesional
Documentos de Cultura
INTRODUCCIN
La lgica matemtica es una variante de la lgica filosfica y estudia los mtodos de razonamiento
mediante reglas y procedimientos, con el fin de determinar si un argumento dado es vlido. Utiliza una
simbologa que permite expresar enunciados matemticos mediante un esquema general y en forma breve.
Tiene dos objetivos principales a saber:
Eliminar las ambigedades propias del lenguaje ordinario y
Dar rigor a la formulacin y desarrollo de aquello que se est estudiando.
Existen dos procesos fundamentales asociados a un razonamiento lgico, estos son: La conceptualizacin y la
demostracin.
Conceptualizacin:
Consiste en definir en forma precisa los objetos matemticos fundamentales presentes en la teora en estudio.
En matemtica el lenguaje bsico asociado a la formalidad y rigor de cualquier teora, puede resumirse en los
siguientes conceptos: Las proposiciones, los axiomas, las propiedades, los teoremas, los corolarios, las
definiciones y las demostraciones.
Proposicin:
Es un enunciado u oracin declarativa de la cual se puede establecer su veracidad o falsedad. Una proposicin,
o es falsa o es verdadera, pero no ambas a la vez.
Axioma:
Un axioma o postulado es una proposicin inicial que se asume como verdadera. El conjunto de axiomas de los
cuales se desprenden las dems proposiciones de un sistema se llama conjunto de axiomas del sistema. En ste,
uno de los axiomas no debe ser deducible de los otros.
Teorema:
Es cualquier proposicin que se desprende de otra proposicin o proposiciones dadas por supuestas o
previamente demostradas dentro del sistema. As, un teorema es una proposicin cuya veracidad requiere ser
demostrada a partir de otras.
Corolario:
Es una proposicin que se desprende directamente de un teorema.
Demostracin:
Una demostracin consiste en la prueba rigurosa (Utilizando los axiomas, proposiciones previamente
demostradas, razonamiento vlido, mtodos de demostracin) de aquellas propiedades, proposiciones, teoremas
o corolarios que se desprendan o surjan de la profundizacin del tema tratado.
Def.: Una proposicin es un enunciado u oracin declarativa de la cual se puede establecer su veracidad o
falsedad. Una proposicin, o es falsa o es verdadera, pero no ambas a la vez. En lgica las proposiciones
se denotan normalmente por las letras p, q, r,
Ejemplos:
p= 2 es un nmero par
q= El da tiene 24 horas
r= Un rombo es un cuadriltero
Observacin:
No son proposiciones:
Qu hago aqu?
Mejor me retiro!
No, quiero estudiar esta unidad
Def.: Los conectivos lgicos o trminos de enlace son smbolos utilizados para combinar proposiciones dadas,
produciendo de esta forma otras llamadas proposiciones compuestas.
Dependiendo de la veracidad de las proposiciones simples que forman una proposicin compuesta, la validez de
esta ltima se rige por la siguiente tabla de verdad:
Dependiendo de la veracidad de las proposiciones simples que forman una proposicin compuesta, la validez de
esta ltima se rige por la siguiente tabla de verdad:
p q ~p p q p q pq pq
V V F V V V V
V F F V F F F
F V V V F V F
F F V F F V V
Actividad 1: Complete la tabla de verdad para la proposicin:
i) ~(pq)
p q pq ~ (pq)
ii) (p ~q)
p q ~q (p ~q)
2
Def.: Diremos que dos proposiciones son equivalentes s y slo si tienen igual valor de verdad.
pq ~ q ~ p
p q pq ~q ~p ~q~p pq ~ q ~ p
Actividad 3: Confeccione una tabla de verdad, para demostrar que son vlidas las siguientes igualdades,
conocidas como Leyes de Morgan para proposiciones.
Def.: Una tautologa es una proposicin cuyo valor de verdad es verdadero (V), independiente de los valores de
verdad de las proposiciones que la componen.
Ejemplo:
La proposicin (p q) (q p) es una tautologa.
p q (p q) (q p) (p q) (q p)
Concluye:
Def.: Una contradiccin es una proposicin cuyo valor de verdad es falso (F), independiente de los valores de
verdad de las proposiciones que la componen.
Ejemplo:
La proposicin (p q) (~p ~q) es una contradiccin.
Concluye:
3
Def.: Una contingencia es una proposicin que toma valores de verdad verdaderos en unos casos y falsos en
otros, dependiendo de los valores de verdad de las proposiciones que la componen.
Ejemplo:
La proposicin q (r s) es una contingencia.
q r s (r s) q (r s)
Concluye:
p p=p p (q r) = (p q) r
p p=p p (q r) = (p q) r
p q=q p p (q r) = (p q) (p r)
p q=q p p (q r) = (p q) (p r)
p f=p ~ (~ p) = p ~(p q) = ~p ~q
p f=p p ~p = v ~(p q) = ~p ~q
p v=v p ~p = f
p f=f ~ v = f , ~f = v
Todas estas identidades se pueden demostrar mediante tablas de verdad!!!!... trabaja en ello!!!
1. p q ~p q 4. p q (p q) (q p)
2. p q ~q ~p 5. p q ~ p ~ q
3. ~(p q) p ~ q 6. p q ~(p ~ q) ~ (~ p q)
1.6. Cuantificadores
Def.: Un enunciado o proposicin que contiene variables que toman valores en un conjunto dado llamado
Universo, se llama Funcin Proposicional.
Ejemplos: p( x) = x + 2 = 8 ; xR
4
q( y) = y 2 + 9 < 25 ; y
r (s) = es un alumno de esta asignatura; s { alumnos de la USS }
El conjunto solucin S, de una funcin proposicional p( x) , es el conjunto de todos los x , para los cuales p( x)
es verdadera. Su notacin est dada por:
S = { x / p( x) }
Cuantificadores
En algunas de las definiciones se exige que la existencia sea nica, en este caso, el cuantificador se anota:
! (existe un nico).
Ejemplos:
a) (x )(x R )(x 2 + 1 > 1)
b) (x )(x R )(2x 4 < 9)
c) (! x )(x )(3x + 5 = 7 )
Actividad 7: Enuncie tres ejemplos de funciones proposicionales.
ACTIVIDAD GRUPAL 1
1
1
c) = 2 0,05 = 5 10 -2
2
5
4. Verificar usando tablas de verdad si las tablas siguientes son o no tautologas.
a) ( p q ) q c) [ p ( p q )] p
b) ~ (~ p ) p d) q ( p q )
e) p (p q) f) (p q) (p q)
g) (p q) (p q) h) [p (q r)] [q (p r)]
i) (p q) (q p) j) (p q) [(p q) (q p)]
k) p (q r) (p q) (p r) l) (p q) (p q)
m) [(p q) (p r)] (q p)
a) [( p q ) (r s )] ( p s ) b) ( p q ) (s r )
c) (~ p q ) (s r ) d) ( p ~ q ) [( p r ) s ]