Logica Proposicional I

EYES DE ÁLGEBRA PROPOSICIONA
PROPOSICIONES LÓGICA EQUIVA- LENTE c. Ley asociativa

(p 0 q) 0 r / p 0 (q 0 r)
Son aquellas que poseen tablas de verdad equivalentes (p / q) / r / p / (q / r)
(iguales) siendo posible el uso de una de ellas por la
otra. Se denotan d. Ley distributiva
Ejemplo: pq
a:(p " q) p / (q 0 r) / (p / q) 0 (p / r)
b: + q "+ p 0 (q / r) / (p 0 q) / (p 0 r)
p
e. Ley de la doble negación
+ (+ p) / p
f. Ley de identidad
p 0 V / V; p 0 F =
p p / V / p; p / F =
F
Se puede decir también que dos proposiciones son

lógicamente equivalentes cuando la proposición g. Leyes de complemento
bicondicional que las vincula es una tautología, es p 0+ p = V
decir si: p /+ p = F
(p & q)" (p / q) p
1 44
244 3
Ley logica
LEYES DE ÁLGEBRA PROPOSICIONAL

Son equivalencias lógicas que nos permiten reducir
esquemas moleculares complejos y expresarlos en
forma más sencilla. Las demostraciones de dichas
leyes se hacen construyendo la tabla de verdad en
cada caso.
PRINCIPALES LEYES
a. Ley de idempotencia
p0p/ p
p/p/ p
b. Ley conmutativa
p 0q / q 0p
p/q/q/
h. Ley de la condicional
p " q =+ p 0 q
i. Ley de la bicondicional
P ) q / (p " q) / (q " p)
p ) q / (p / q) 0 (+ p /+ q)
p ) q /+ (pTq)
j. Ley de absorción
p 0 (p / q) = p
p / (p 0 q) = p
p 0 (+ p / q) = p 0 q
p / (+ p 0 q) = p / q
k. Leyes de Morgan
+ (p 0 q) =+ p /+ q
=
+ (p / q) + p 0+ q
TRANSPOSICIÓN Simbología: pq
qr
p " q =+ q "+ p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, entonces
Simbología: p  q 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 represen-
guitarra. tan una conjunción.
TRANSITIVIDAD
<>pq
Si p " q yq " 2. Circuito Paralelo:
r Dos interruptores conectados en paralelo repre-
entonces: p " r sentan una disyunción.
Ejemplos: <>pq
◗ Si estudias, entonces ingresarás.
◗ Si ingresas, entonces serás
profesional. p: Estudias.
q: Ingresarás.
r: Serás profesional.
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 0
2. ¿A qué formula molecular equivale el siguiente
p
circuito?
• Ley de
idempotencia
(p 0 p) 0 (+ q 0+ q)
S
p  q
• Ley de Morgan
3. Determina el equivalente de: No es el caso que + (+ p / q)
José es ingeniero y no haya estudiado en la uni-
versidad. 5. Simplifica el siguiente esquema:
[(+ p / q) " (+ s / s)] /+ q
PUCP
6. Simplifica el esquema.
4. Simplifica el siguiente esquema:
[(p /+ q) / (q " p) / r] 0 p
(+ p / q) " (q " p)
7. Realiza el circuito del siguiente esquema
molecular
[(p /+ q) 0+ p] 0 q
UNMSM UNI
8. Señala el equivalente de: 12. Señala el circuito equivalente a la
Si Miguel va a la fiesta, entonces realizó su tra- proposición [(p  q)  p]  [p 
bajo. (p  q)]
Resolución: Resolución:
p = Miguel va a la fiesta. [(p  q)  p]  [p  (p  q)]
q = Miguel realizó su trabajo 14243
[(p  q)  p] (p)  (p  q)]
(p " q) /+ p 0 q 144424443
Miguel no va a la fiesta o realizó su trabajo. (p  q)  p p  (p  q)
144424443 14 2 4 3
9. Señala el equivalente de: (p  q) p  (p)  q
144424443 144424443
No es el caso que Pilar no sea escritora y no
p p  (p  q)
sepa los signos de puntuación.
(p  q)
p  (p  q)  p
10. De las siguientes proposiciones:
4p4
a) Si te esfuerzas, entonces serás titular en el
equipo de fútbol. 13. Señala el circuito equivalente a la proposición
b) Si no eres titular en el equipo de fútbol {(p  q)  [(p  q)  r]}  q
entonces no te esfuerzas.
c) No te esfuerzas o serás titular en el equipo 14. Indique la fórmula que representa el siguiente
de fútbol. circuito lógico:
¿Cuáles son equivalentes entre si? q
p
r
11. La negación de
“Hoy es viernes por lo tanto mañana es sábado” r
es: s t

Logica Proposicional I

Cargado por

Copyright:

Formatos disponibles

Logica Proposicional I

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Proposicional I

Cargado por

Copyright:

Formatos disponibles

EYES DE ÁLGEBRA PROPOSICIONA

PROPOSICIONES LÓGICA EQUIVA- LENTE c. Ley asociativa

Se puede decir también que dos proposiciones son

LEYES DE ÁLGEBRA PROPOSICIONAL

También podría gustarte