Professional Documents
Culture Documents
APRENDIZAJES ESPERADOS
Reconoce las proposiciones lgicas y expresarlo simblicamente.
Reconoce las proposiciones compuestas y elabora sus tablas de verdad.
Evala los esquemas moleculares y utiliza correctamente las leyes lgicas.
LGICA
~ ( y ), ,
etc. ( y ) son de igual jerarqua.
Lgica es el estudio de los procesos vlidos del
razonamiento humano. Tipos: Inductivo, medio por el cual
OPERADORES LGICOS
una persona, en base de sus experiencias especficas,
Formado por los conectivos lgicos con las cuales se
decide aceptar como vlida un principio general.
efectan operaciones.
Deductivo, medio segn el cual dicha persona utiliza el
LA NEGACIN (~)
principio general aceptado previamente para decidir sobre
la validez de una idea, que a su vez habr de determinar
Cambia el valor de la proposicin
el curso de su accin.
Si p es una proposicin cualesquiera.
~ p se lee: no p es falso que p
PROPOSICIN
La negacin est determinada por la siguiente tabla:
Una proposicin es un enunciado cuya propiedad
p
~p
fundamental es la de ser verdadera (V) o falsa (F), pero no
F
ambas simultneamente.
V
Una proposicin se representa simblicamente por letras
F
V
minsculas tales como: p, q, r, etc. (llamadas variables
proposicionales)
ENUNCIADO
Se denomina enunciado a toda frase u oracin.
Ejemplos:
11 es un nmero primo
Qu ests haciendo?
17 > 12
Viva el Per!
6+2= 8
7 es un nmero par.
Los enunciados que en matemtica tienen significado son
aquellas que pueden ser consideradas como verdaderos o
falsos (proposiciones); en algunos enunciados no es
posible afirmar si es verdadero o falso, como por ejemplo,
las interrogaciones, las exclamaciones, las aclamaciones
o las preguntas.
CLASES DE PROPOSICIONES
PROPOSICIONES ATMICAS, SIMPLES O BSICAS:
Es una proposicin que no contiene ningn conectivo
lgico.
Por ejemplo:
3 es un nmero primo
Tres ms cuatro es igual a diez
Todo nmero natural pertenece al conjunto
de
nmeros enteros.
PROPOSICIONES COMPUESTAS O MOLECULARES
Son aquellas que poseen trminos de enlace o conectivos
lgicos.
Ejemplo:
5 es primo y 2 es par.
El cuadrado es una figura plana y 2 + 2 = 5.
Si n es par entonces n es divisible por2.
TRMINO DE ENLACE O CONECTIVOS LGICOS
Son expresiones que sirven para unir dos ms
proposiciones, tenemos:
La negacin NO (~), la conjuncin Y (), la
disyuncin O (V), la implicancia SiEntonces (),
la bicondicional Siy sloSi ( )
Ejemplo:
Carla y Karen son amigas, o Cintia es amiga de ambas
entonces, Alejandra es amiga de todas.
Formalizando la proposicin se tiene:
[(p q) r ] s
p^q
pvq
DISYUNCIN EXCLUSIVA p v q
(Se lee p o q pero no ambos)
La proposicin (p v q) es verdadera si p y q tienen valores
contradictorios, en el caso que tengan valores idnticos
resulta falso.
P
pvq
-1-
CONDICIONAL IMPLICACIN
p q (se lee, si p entonces q)
La proposicin implicancia es falsa nicamente en el caso
en que la proposicin p es verdadera y la proposicin q es
falsa, siendo verdadera en todos los dems casos.
p
Q
pq
p
V
V
F
F
~ (p q)
F
V
V
F
F
V
F
V
q
V
F
V
F
V
F
F
V
~ [ ( ~ p) ( ~ q)]
F
F
V
F
F
V
V
V
V
F
F
V
Su diagrama es:
F
V
F
V
V
2.
[ ~ ( p q ) r]
V
F
F
v
Seguidamente (s ^ r) ser (F)
Entonces (S) toma el valor de falso (F) y r (V), del cual
operando tenemos como resultado el valor de falso (F)
debajo del operador principal de la condicional. As:
[~ ( p q ) r ] (s r )
F V
V
F
V
F
F
V
V
-2-
(~p v q) ^ (r s)
V
V
V
V
LEYES DEL LGEBRA PROPOSICIONAL
Doble negacin: (p) p
Idempotencia:
a) p p p
b) p p p
3. Conmutativa
a) p q q p
b) p q q p
c) p q q p
4. Ley Asociativa
a) (p q) r p (q r)
b) (p q) r p (q r)
c) (p q) r p (q r)
5. Ley Distributiva
a) p (q r) (p q) (p r)
b) p (q r) (p q) (p r)
c) p (q r) (p q) (p r)
d) p (q r) (p q) (p r)
6. Ley de Morgan.
a) (p q) p q
b) (p q) p q
7. Ley de Elementos Neutros
a) V P P
b) V P V
c) F F F d) F F P
8. Ley del Complemento.
a) p p V
b) p p F
9. Ley de Absorcin
a) p (p q) p
b) p (p q) p q
c) p (p q) p
d) p ( p q) p q
10. Ley Condicional.
a) p q p q
b) (p q) p q
11. Ley del Bicondicional.
a) p q (p q) (q p)
b) p q (p q) ( p q)
12. Ley de Transposicin
a) (p q) ( q p)
1.
2.
b) (p
q) ( q p)
PRACTICA N 01
1.
El da tiene 24 horas.
Un triangulo equiltero tiene dos lados iguales en
longitud.
R: _____________
2. Cuntas de las expresiones siguientes no son
proposiciones?
Cmo has cambiado!
Es cierto que Velsquez Quesqun es
embajador?
161 es un nmero capica.
12 : 3 = 6
Un hexgono tiene cuatro lados iguales.
Lima es la capital folklrica del Per.
R:_______________
3. Tres alumnas: Mara, Rosa y Sofa responden
verdadero (V) falso (F) en un examen de tres de la
siguiente manera:
Mara
Rosa
Sofa
1ra. Pregunta
V
V
F
2da. Pregunta
V
F
F
3ra. Pregunta
F
F
V
Una contest todas correctamente, otra fall en todas
y la otra slo en uno. Quin acert todas?
PROBLEMAS COMPLEMENTARIOS
01
02
-4-
03
04
-5-
-6-