Professional Documents
Culture Documents
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMTICA
Profesores: CVargas, PDAmico
Primer Semestre de 2015
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.
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
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)
_______________________________________________________________________________
_______________________________________________________________________________
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.
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.
(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
(~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
(r s
)
q (r s)
Concluye: ____________________________________________________________________
1.4.
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
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
4. p q
5. p q
6. p q
(p q) (q p)
~p~q
~(p ~ q) ~ (~ p q)
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
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 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
c)
3.
3 1
2
2 2
2 0,05 5 10 -2
4.
~
~
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.
q : (4 : 2 6) 10
s : 3 1 1
b) p q s r
d) p ~ q p r s
7.
d) x x R 2
x 1
8.