Logica Proposicional II para Quinto Grado de Secundaria

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 5

LEYES DE ÁLGEBRA PROPOSICIO

PROPOSICIONES LÓGICA EQUIVA- c. Ley asociativa


LENTE (p 0 q) 0 r / p 0 (q
Son aquellas que poseen tablas de verdad 0 r) (p / q) / r / p
equivalentes (iguales) siendo posible el uso de una / (q / r)
de ellas por la otra. Se denotan
pq
d. Ley distributiva
Ejemplo:
a:(p " q) p / (q 0 r) / (p / q) 0 (p / r)
b:+ q "+ p p 0 (q / r) / (p 0 q) / (p 0 r)

e. Ley de la doble negación


+ (+ p) / p

f. Ley de
identidad p 0 V
/ V; p 0 F = p p /
Se puede decir también que dos proposiciones V / p; p / F = F
son lógicamente equivalentes cuando la
proposición bicondicional que las vincula es una g. Leyes de complemento
tautología, es decir si:
p0 +p=V
p/ +p=F
(p & q)" (p / q) h. Ley de la condicional
1 4 2443
Ley log ica p " q =+ p 0 q

LEYES DE ÁLGEBRA PROPOSICIONALi. Ley de la bicondicional


Son equivalencias lógicas que nos permiten P ) q / (p " q) / (q "
reducir esquemas moleculares complejos y p)
expresarlos en forma más sencilla. Las p ) q / (p / q) 0 (+ p /
demostraciones de dichas leyes se hacen
construyendo la tabla de verdad en cada caso. + q) p ) q /+ (pTq)

PRINCIPALES LEYES j. Ley de absorción


p 0 (p / q) =
a. Ley de idempotencia p p / (p 0 q)
p0p/ =p
pp/p/ p 0 (+ p / q) = p 0
p q p / (+ p 0 q) = p
/q
b. Ley conmutativa
p0q/ q0 p
k. Leyes de Morgan
+ (p 0 q) =+ p / + q =
p/q/ q/ + (p / +p0 +q
p q)
Simbología: p 
TRANSPOSICIÓN
q q
rp
p " q =+ q "+
r
Conclusión:
Ejemplo: Se lee: Si estudias, entonces serás profesional.
Si Pedro toca guitarra, entonces
CIRCUITOS LÓGICOS
canta. p : Pedro toca guitarra.
Un circuito conmutador puede estar solamente en
q : Pedro canta. dos estados estables: cerrado o abierto, así como
una proposición puede ser verdadera o falsa,
Simbología: p  q entonces podemos representar una proposición
utilizando un circuito lógico:
Su equivalente: q  p
1. Circuito serie:
Se lee: Si Pedro no canta, entonces no toca Dos interruptores conecta dos en serie
guitarra. represen- tan una conjunción.
TRANSITIVIDAD
Si p " q yq <>pq
" r
2. Circuito Paralelo:
Ejemplos: Dos interruptores conectados en paralelo
repre- sentan una disyunción.
Z Si estudias, entonces ingresarás.
Z Si ingresas, entonces serás
profesional. p: Estudias.
q: Ingresarás.
r: Serás profesional. <>pq

Trabajando en clase

Integral Resolución:
1. Simplifica el siguiente esquema. • Ley del condicional
+ [+ (+ p 0 q) " p] 0 q (+ p / q) 0 (q "
p) p 0 + q 0 + q
2. ¿A qué formula molecular equivale el 0p
siguiente circuito?
• Ley de idempotencia
(p 0 p) 0 (+ q 0 + q)
S
p  q
• Ley de Morgan
+ (+ p / q)

3. Determina el equivalente de: No es el caso 5. Simplifica el siguiente esquema:


que José es ingeniero y no haya estudiado en [(+ p / q) " (+ s / s)] / + q
la uni- versidad.
6. Simplifica el esquema.
PUCP [(p / + q) / (q " p) / r] 0 p
4. Simplifica el siguiente esquema: 7. Realiza el circuito del siguiente esquema molecu-
(+ p / q) " (q " lar
p)
[(p / + q) 0 + p] 0 q
UNMSM UNI
8. Señala el equivalente de: 12. Señala el circuito equivalente a la proposición
Si Miguel va a la fiesta, entonces realizó su [(p  q)  p]  [p  (p  q)]
tra- bajo. Resolución:
Resolución: [(p  q)  p]  [p  (p  q)]
14243
p = Miguel va a la fiesta.
[(p  q)  p] (p)  (p  q)]
q = Miguel realizó su trabajo 144424443
(p " q) /+ p 0 q (p  q)  p p  (p  q)
Miguel no va a la fiesta o realizó su trabajo. 144424443 1 4 24 3
(p  q) p  (p)  q
144424443 144424443
9. Señala el equivalente de: p p  (p  q)
No es el caso que Pilar no sea escritora y no (p  q)
sepa los signos de puntuación. p  (p  q)  p
4p4
10. De las siguientes proposiciones:
a) Si te esfuerzas, entonces serás titular en 13. Señala el circuito equivalente a la proposición
el equipo de fútbol. {(p  q)  [(p  q)  r]}  q
b) Si no eres titular en el equipo de fútbol
enton- ces no te esfuerzas. 14. Indique la fórmula que representa el siguiente
c) No te esfuerzas o serás titular en el equipo cir- cuito lógico:
de fútbol. q
¿Cuáles son equivalentes entre si? p
r
11. La negación de r
“Hoy es viernes por lo tanto mañana es sábado”
es: s t

También podría gustarte