2

Lgica proposicional II
Tipos de esquemas moleculares

Segn los valores de la matriz principal, los esquemas

moleculares son:

1. Tautologa
Cuando los valores de verdad de la matriz princi-
pal resultan ser todos verdaderos.
Ejemplo:
Evaluar p (p q)

3. Contingente
Cuando en valores de verdad de la matriz prin-
cipal se obtiene al menos un valor verdadero y al
menos un valor falso.
Ejemplo:

Evaluar: [ p (p q)] p

2. Contradictorio
Cuando los valores de verdad de la matriz princi-
pal resultan ser todos falsos.
Ejemplo:

Evaluar: [(p q) (q p)]

PRINCIPALES LEYES LGICAS

1. Idempotencia 3. Asociativa
pp p (p q) r p (q r)

p p p (p q) r p (q r)

2. Conmutativa 4. Distributiva
pq q p p (q r) (p q) (p r)

pq q p p (q r) (p q) (p r)

13 aritmtica 2
A_3Ao_S2_Lgica proposicional II.indd 13 25/02/2014 12:48:03 p.m.
 3.er ao Lgica proposicional II

5. Ley de doble negacin 10. Del complemento

( p) p p p V

p p F

6. De De Morgan
11. De la identidad
(p q) p q p V V

(p q) p q pV p

pF p
7. De absorcin pF F

p (p q) p
Circuitos lgicos
p (p q) p
Un circuito lgico es la representacin grfica de
p ( p q) p q
una o ms proposiciones utilizando los esquemas
p ( p q) p q denominadas circuitos lgicos.

8. De la condicional A. Circuito en serie

p q p q Est dado de la forma
p q q p

9. De la bicondicional B. Circuito en paralelo

p q (p q) (q p) Est dado de la forma
p q (p
/ q)
p q p q

Trabajando en clase

Integral PUCP 5. Se tiene el circuito lgico

1. Segn la definicin dada, in-
dica qu tipo de esquema es
la siguiente proposicin:
cuyo valor de verdad es ver-
4. Se tiene el siguiente circuito
dadero.
lgico cuyo valor de verdad
es verdadero.

p (q p)

Cules son los valores de p y

Cules son los valores de p y q, respectivamente?
2. Simplifica: q, respectivamente?
( ( ( (p q)))) Resolucin
6. Simplifica:
Del circuito lgico tenemos:
(p q) p
3. Segn la definicin dada, in-
dica qu tipo de esquema hay
en la siguiente preposicin: Observamos:
7. Simplifica:
pV
(p q) (p q) qF (p q) ( p q)

2 aritmtica 14

A_3Ao_S2_Lgica proposicional II.indd 14 25/02/2014 12:48:04 p.m.

 Lgica proposicional II 3.er ao

UNMSM 10. Determina la negacin de: Si Resolucin

Orlando estudia y saca bue- [( p q) p] p"Simplificando
8. Simplifica:
nas notas, entonces lograr p absorcin"
[ p (p q)] ( p q) obtener la beca.
Entonces:
Resolucin:
p (p q)" Del condicional " 11. Simplifica: [ (qp) (p q)](pq)
p (p p)" Absorcin " [ q (p q)](pq) Condicin
[( p q) (q p)] p
[q (p q)] (pq)
(p q) q p

Ahora: UNI q

( p q) ( p q)" Del condicional " 12. Definimos el conector lgico

13. Definimos el conector lgico.
( p q) ( p q)" De morgan "

( p q) q V p " Absorcin " [ p q ]@[ ( p@q) (q p)]
q p p q [(~p q) p] p

9. Simplifica: Simplificar: 14. La negacin de:

x es positivo ya que z es ne-
( p q) (q p) [~(q p)(p q)] (p q) gativo es:

15 aritmtica 2
A_3Ao_S2_Lgica proposicional II.indd 15 25/02/2014 12:48:04 p.m.