deber identidades logicas

LOGICA IDENTIDADES PROPOSICIONALES
DEBER
Señoritas Estudiantes, El presente deber tiene como objetivo principal:
Aplicar las definiciones, leyes de la implicación y/o de la variante condicional,
inversa reciproca y contra reciproca; propiedades conmutativa, asociativa
distributiva, Idempotencia, complemento, identidad,
absorción sobre las
identidades o equivalencias proposicionales con sus respectivos conectores, para
la debida demostración, contraejemplo en el desarrollo de la tarea.
Por lo tanto para desarrollar el deber se recomienda:



.Estudiar meticulosamente todo el contenido especificado en el objetivo
.Leer tantas veces sea necesario el material de estudio hasta que comprenda cada
concepto, ley y/o y propiedad.
. Sí aún la literatura del texto guía y los apuntes obtenidos en clases son incomprensibles:
o Busque nueva bibliografía que contenga el contenido que necesite para
desarrollar la tarea.
o Consulte a su profesor o cualquier profesor de la Institución, ellos le
darán una mejor orientación en cada uno de los contenidos.
o Integre un grupo de trabajo con sus compañeras en horas de clase y/o
horas libres, para que logren dar cada uno de los integrantes su aporte
valioso para el enriquecimiento intelectual de todo el grupo.
. Leer cada una de los Ítem que contienen la Tarea
. Identificar que conocimientos necesita para realizar la actividad.
. Aplicar los conocimientos identificados como necesario para desarrollar lo propuesto
en cada Ítem.
Aplicar las definiciones y demostrar las equivalencias describiendo paso a paso las
propiedades que utiliza.
1.- Indique cual de los siguientes enunciados son proposiciones y cuáles no:
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
Todos los planetas giran alrededor del sol
(Es proposición)
Mañana se acabara el mundo
(No es proposición)
Que día tan vello
(No es proposición)
3 – 7 = 10
(Es proposición)
Quieres se mi cuñado
(No es proposición)
Eduardo es un profesor excelente
(Es proposición)
Loja es la centinelas de la patria
(Es proposición)
Hace mucho frio
(No es proposición)
Hola
(No es proposición)
El desierto es como un cáncer que destruye el suelo
(Es proposición)
Pásame el cuaderno
(Es proposición)
Llueve demasiado
(No es proposición)
2.- Escribir cada uno de los enunciados detallados a continuación de manera simbólica
usando las proposiciones atómicas:
p) Es rico
q) Es feliz
de la siguiente manera ejemplo
Enunciado formal
Es pobre o rico e infeliz
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
Lenguaje simbólico
p (pq)
Es pobre pero feliz
p
No es rico ni es feliz
pq
Es rico o infeliz
pq
Si es rico entonces no es feliz
pq
Es necesario ser pobre para ser feliz
Ser pobre es ser infeliz
El ser rico es una condición suficiente para ser feliz
El ser rico es una condición necesaria para ser feliz
No es feliz cuando se es rico
Es pobre solamente si es feliz
El ser rico significa lo mismo que ser feliz
El es pobre o rico y feliz
3.- Demostrar las siguientes equivalencias usando propiedades:
1.  a  (  a  b )  (  b  a )   a
2.  b   ( a   b )    a
3. (  a  b )  ( a  b )    b
4.   a  ( b  a )   (  a  b ) 
5.     ( a  b )  c    b 
6. ( a  b )  ( a  b ) 
7. ( a  b )  ( c   a )
8. ( a  b )  ( c   d )
9.  ( a  b )  c 
10. ( a  b )   (  a  b )
11. ( a  b )  ( a  c )
12.  c  (a   b )
13.  a  ( b  a )   ( a   b ) 
14. ( a  b )   ( c   a )
15. ( a   b )  c
16.  ( a  b )  c 
17. ( c  d )  ( a  b )
18. ( a  b )  ( b  c )
19. ( a  b )  ( b  c )
20. ( p  q )  r

a

b  a

b

a  b

bc

ab

a (bc)

(d c)(a b)

(a c)(bc )

a
 (b   a )  ( c  a )

(a b)c

a

(b c)a

a (c b)

a bc

( a  b )  (d  c )

( a  c )  b
 (c  b )  (a  b )

(qr )(pr )
21.  ( a  b )  c
22. ( a  b )  c
23. ( p  q )  r 
24. ( p  q )  r
25. ( p  q )  r
26. ( p  q )  ( p  q )
27. ( p  q )  ( p  q ) 
28.  p  ( q  p ) 
29. ( p  q )  ( p q )
30.  ( p  ( q  p )   q
31.  ( p  q )  (p  q )   r
32. ( p  q )  ( p  q )
33. p  ( p  q )
34.  q  ( q  p )   ( p  q )
35. ( p  q )  ( p  q )
36.  p  ( p  q )   ( q  p )
37.  ( p  q )   q   ( p  q )
38.  p  ( p  r )   ( p  r )
39.  p  ( p  q )    ( p  q )
40. (p  q )  ( q  p )
41.   p  ( q  p )   ( p  q )
42.  p  ( q  p )   ( p  q )
43.  p  (  p  q )  ( q  p )   p
44.  q   ( p   q )    p
45.   p  ( q  p )   (  p  q ) 
46. (  p  q )  ( p  q )    q


























(ac)(bc)
a  (b  c )
p(q r )
p(q r )
p (rq)
( q  p )  ( p   q )
 p  q*
pq
p
p  q
( p  q )  r
p
pq
p
 ( p  q )
q  p
p  q
r  p
( p q)
p
p
pq
p
q  p
p  q
q