You are on page 1of 8

UNIVERSIDAD DEL BO-BO

FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMTICA
Profesores: CVargas, PDAmico
Primer Semestre de 2015

Algebra y Trigonometra ( 220072)

ELEMENTOS DE LGICA MATEMTICA


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.

1. Elementos de Lgica Matemtica


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

Algo de Historia
Despus de la Biblia, son los elementos de Euclides la obra que ms ediciones ha conocido desde que
Guthenberg inventara la imprenta. Los elementos estn constituidos por XIII libros que contienen 465
proposiciones, todas verdaderas, que han resistido el paso del tiempo permaneciendo vigente a lo largo de
ms de 2300 aos.
1.1.

Conectivos lgicos o trminos de enlace.

Def.: Los conectivos lgicos o trminos de enlace son smbolos utilizados para combinar proposiciones
dadas, produciendo de esta forma otras llamadas proposiciones compuestas.
Los siguientes conectivos lgicos o trminos de enlace se utilizan en este curso:
Smbolo

1.2.

Operacin
Negacin
Conjuncin
Disyuncin
Condicional
Bicondicional

Significado
no
y
o (en sentido incluyente)
si entonces
. si y slo si

Tablas de verdad de proposiciones

Def.: El arreglo que nos permite tener los posibles valores de verdad de una proposicin compuesta a partir
de los valores de verdad de las proposiciones componentes se llama una 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:
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 q p q
~p
V
V
F
V
V
V
F
F
V
F
F
V
V
V
F
F
F
V
F
F
Actividad 1: Complete la tabla de verdad para la proposicin:

pq
V
F
V
V

pq
V
F
F
V

~(pq)

i)

pq

~ (pq)

~q

(p ~q)

(p ~q)

ii)

iii)

Qu te llama la atencin de las proposiciones anteriores?

_______________________________________________________________________________
_______________________________________________________________________________

Def.: Diremos que dos proposiciones son equivalentes s y slo si tienen igual valor de verdad.
Actividad 2: Construya las tablas de verdad que le permitan demostrar que:

pq ~ q ~ p
p

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.
i)

~(p q) ~p ~q

ii) ~(p q) ~p ~q

1.3.

Tautologa, contradiccin, contingencia y equivalencia lgica.

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:
3

La proposicin

(p q) (q p) es una tautologa.

Actividad 4: Revisemos en grupo que sucede con su tabla de verdad y comentemos..


p

(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:

(p q) (~p ~q) es una contradiccin.

La proposicin

Actividad 5: Revisemos en grupo que sucede con su tabla de verdad y comentemos..


p

(p q

~p

~q

(~p ~q

(p q)

(~p ~q)

Concluye: ____________________________________________________________________
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:

q (r s) es una contingencia.

La proposicin

Actividad 6: Revisemos en grupo que sucede con su tabla de verdad y comentemos..


q

(r s
)

q (r s)

Concluye: ____________________________________________________________________

1.4.

Leyes que rigen el algebra de proposiciones.

1. Idempotencia
p
p

2. Leyes Asociativas

p=p
p=p

p
p

3. Leyes Conmutativas
p
p

q=q
q=q

(q
(q

r) = (p
r) = (p

q)
q)

r
r

q)
q)

(p
(p

4. Leyes Distributivas

p
p

p
p

5. Leyes de Identidad
p
p
p
p

(q
(q

r) = (p
r) = (p

6. Leyes del complemento

f=p
f=p
v=v
f=f

~ (~ p) = p
p ~p = v
p ~p = f
~ v = f , ~f = v

r)
r)
7. Leyes de Morgan
~(p
~(p

q) = ~p
q) = ~p

~q
~q

Todas estas identidades se pueden demostrar mediante tablas de verdad!!!!... trabaja en ello!!!

1.5.

Implicacin lgica

Equivalencias de la implicacin y de la doble implicacin.


1. p q ~p q
2. p q ~q ~p
3. ~(p q) p ~ q

Actividad para reforzar:


1.6.

4. p q
5. p q
6. p q

(p q) (q p)
~p~q
~(p ~ q) ~ (~ p q)

Demostrar estas equivalencias usando tablas de verdad.

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
q ( y ) y 9 25
; y
r (s ) es un alumno de esta asignatura; s alumnos de la USS
2

El conjunto solucin S, de una funcin proposicional p ( x) , es el conjunto de todos los


p ( x) es verdadera. Su notacin est dada por:
S x / p( x)

x , para los cuales

Cuantificadores
Podemos identificar los siguientes casos:
a) Universal :

b) Existencial :

(para todo)
(existe)

En algunas de las definiciones se exige que la existencia sea nica, en este caso, el cuantificador se anota:
! (existe un nico).
Ejemplos:

x x R x 2 1 1

a)
b)
c)

x x R 2 x 4 9
! x x 3x 5 7

Actividad 7: Enuncie tres ejemplos de funciones proposicionales.


__________________________________________________________________
__________________________________________________________________
__________________________________________________________________
1.6.1. Negacin de Cuantificadores
1. ~ x p ( x) x ~ p(x)
2. ~ x p ( x) x ~ p(x)

ACTIVIDAD GRUPAL 1
Ahora revisa junto a tus compaeros lo que han aprendido.
1. Indique en cada caso si se trata de una proposicin:

2.

c)

b) 3 2 x y

d) 2 x 2 4 2 6

En cada caso indique si se trata de proposicin simple o compuesta:


a) Si asisto a todas las clases entonces entiendo
b) 3 2 0 1
1

c)
3.

3 1
2
2 2

a) Yo llego a clases a la hora

2 0,05 5 10 -2

Confeccione la tabla verdad para las siguientes proposiciones:


a) ~ p q
c) ~ p q
b) p q p q
d) p q p ~ p
e) (p q)
f) p q
g) (p q) [(p q) (p q)]
h) [(p q) r] (p q)

4.

Verificar usando tablas de verdad si las tablas siguientes son o no tautologas.


a) p q q
c) p p q p

~
~
p

p
b)
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)

5.

Dadas las proposiciones:


2
5 6 1
3
r : 5 3 15
p:

q : (4 : 2 6) 10
s : 3 1 1

Hallar los valores de verdad de las proposiciones siguientes:


a) p q r s p s
c) ~ p q s r

b) p q s r
d) p ~ q p r s

7.

Averiguar el valor de verdad de las siguientes proposiciones:


a) x x R x 5 8
b) x n x R n N x 2 n
c) x x R x 2 4 x 3 0
x


d) x x R 2
x 1

8.

Escriba en forma simblica la negacin de las proposiciones del ejercicio 7.

You might also like