SEMESTRE ACADMICO 2015-I

MATEMTICA
BSICA
EQUIVALENCIAS
LGICAS

CIRCUITOS LGICOS
Firmes en nuestro compromiso de alcanzar nuestra
visin de ser competitivos e innovadores para tener
acreditacin internacional y contribuir al desarrollo
sostenido.

Agosto 2010

INTRODUCCIN
Lee atentamente las siguientes proposiciones
Ambas proposiciones son
iguales?

Los refranes y
los mitos no
son
proposiciones
lgicas

No es cierto
que, los
refranes y los
mitos sean
proposiciones
lgicas.

LOGRO DE LA SESIN
Al finalizar la sesin el estudiante halla
con eficacia proposiciones equivalentes,
as como elabora y simplifica circuitos
lgicos relacionadas con las ciencias de su
carrera aplicando las leyes lgicas, de
manera clara y ordenada.

CONTENIDOS

Equivalencias
Mtodos de solucin

Leyes de equivalencia
Simplificacin

Circuitos lgicos
4

EQUIVALENCIAS LGICAS
Dos frmulas o esquemas moleculares A y B son
equivalentes si:

Los valores de verdad de sus

matrices principales son iguales
Al unirlos con una bicondicional
el resultado es una tautologa.

MTODOS DE SOLUCIN
Tablas de verdad

Leyes de equivalencia

TABLAS DE VERDAD
Ejemplo 1
Sea A: ( p q ) p
B: p q
Verificar si A es equivalente a B
Solucin
FORMA 1
P

(p

V
V
F
F

V
F
V
F

V
V
F
F

q)

V
F
V
V

V
F
V
V

V
F
V
F

~p

~p

F
F
V
V

F
F
V
V

v
V
F
V
V

q
V
F
V
F

IGUALES
Por lo tanto, A es equivalente a B
7

FORMA 2

q [(p

V
V
F
F

V
F
V
F

V
V
F
F

q)
V
F
V
V

V
F
V
F

~p]

(~p

q)

V
F
V
V

F
F
V
V

V
V
V
V

F
F
V
V

V
F
V
V

V
F
V
F

Tautologa

Por lo tanto, A es equivalente a B

Ejemplo 2
Determinar mediante tabla si las siguientes frmulas son
equivalentes.
1.

A: ( p q )

2.

A: ( p q ) p

B: p q
B: p ( q p )

LEYES DE EQUIVALENCIAS
1. LEYES CONMUTATIVAS
a) A B B A
b) A B B A
c) A B B A

7. LEYES IMPLICATIVAS
a) A B A B
b) A B ( A B )

2. LEYES ASOCIATIVAS
a) ( A B ) C A ( B C )
b) ( A B ) C A ( B C )
c) ( A B ) C A ( B C )

8. LEYES DE LA BIIMPLICACIN
a) A B (A B ) (B A )
b) A B (A B ) ( A B )

3. LEYES DE IDEMPOTENCIA
a) ( A A ) A
b) ( A A ) A

9. LEYES DE DISYUNCION FUERTE

a) A B ( A B ) ( B A )
b) A B ( A B ) ( A B )

4. LEYES DISTRIBUTIVAS
a) A (B C ) (A B) (A C )
b) A (B C) (A B) (A C )
c) A(B C) (A B) (A C )
d) A (B C) (A B) (A C)

10. LEYES DE TRANSPOSICION

a) A B B A
b) A B B A

5. LEYES DE ABSORCION
a) A ( A B ) A
b) A ( A B ) A
c) A ( A B ) A B
d) A ( A B ) A B

11. LEYES ADICIONALES

a) A F A
b) A V V
c) A F F
d) A V A
e) A A F
f) A A V

6. LEYES DE MORGAN
a) ( A B ) A B
b) ( A B ) A B
c) A B ( A B )
d) A B ( A B )

12. LEYES DE DOBLE NEGACIN

a) ( A ) A

10

Ejemplo
1. Es imposible que Juan no estudie
equivale a decir que:
~ ~p p

(Doble negacin)

Juan estudia
2. Si hoy llueve, estamos en invierno es
equivalente a decir:
p q ~p v q

(Ley implicativa)

Jams llueve o estamos en invierno

11

3. Mi rendimiento acadmico es excelente de

modo que obtengo una beca para estudiar.
Es equivalente a decir:
p q ~q ~ p

(Ley de transposicin)

Si no obtengo la beca, jams tuve un

excelente

rendimiento

4. No es cierto que Julio canta y toca guitarra.

Equivale a decir:
~ (p q) ~ p v ~ q

(Ley De Morgan)

Julio no canta o incluso no toca guitarra

12

5. Determine cules de las alternativas son

equivalente a la proposicin dada.
Los refranes y los mitos no son proposiciones lgicas.

a) No es cierto que, los refranes y los mitos sean

proposiciones lgicas.
b) No es cierto que, los refranes o los mitos sean
proposiciones lgicas.
c) No es cierto que, los refranes son proposiciones lgicas
ya que los mitos no son proposiciones lgicas.

13

6. Determine cules de las alternativas son

equivalente a la proposicin dada.
Si estudias y obtienes buenas calificaciones, apruebas
el curso
a) Si apruebas el curso, entonces estudias y obtienes buenas
calificaciones
b) Apruebas el curso o no es cierto que, estudias y obtienes
buenas calificaciones
c) No obtienes buenas calificaciones o incluso no estudias, salvo
que apruebas el curso.

d) Obtienes buenas calificaciones y estudias

apruebas el curso.

puesto que
14

SIMPLIFICACIN DE PROPOSICCIONES
Las

leyes

del

lgebra

de

proposiciones

nos

permiten

reemplazar una proposicin con otra ms simple que

lgicamente es equivalente

Ejemplo 1
Simplificar

P (q p)

P (q p) P ( q p)

Ley de Morgan

P ( p q)

Ley Conmutativa

(P p) q

Ley Asociativa

Fq

Ley de Complemento

Ley de Identidad
15

Ejemplo 2
Simplificar

{[P (q p)] p} q

{[P (q p)] p} q {[P (p q)] p} q Ley Conmutativa

(p p) q

Vq
q

Ley de Absorcin

Ley de complemento
Ley de identidad

16

Ejemplo 3
Simplificar las siguientes frmulas

1.

(p q) q

2.

( p q) p

3.

p ( p q)

17

CIRCUITOS LGICOS
Cuando comparamos interruptores abiertos o cerrados
con proposiciones estamos estableciendo un circuito
lgico.
A un interruptor se le puede representar por medio
de una proposicin p y viceversa
De modo que:
El valor de verdad V de la proposicin se
identifique con el paso de corriente,
El valor es F cuando el interruptor est
abierto.
18

Grficamente representaremos:
p

Circuito cerrado pasa corriente (1)

Circuito abierto no pasa corriente (0)

Circuitos en serie
La tabla de conduccin de los interruptores conectados en
serie coincide con la tabla de verdad de la conjuncin.

Circula corriente

No Circula corriente

No Circula corriente

No Circula corriente

19

Circuitos en paralelo
La tabla de conduccin delos interruptores conectados
en paralelo coincide con la tabla de verdad de la
disyuncin.
p
q

Circula corriente

p
q
p

Circula corriente
Circula corriente

q
p
q

No circula corriente
20

La negacin lgica
La negacin lgica tiene como equivalente el
cambio de estado de un circuito del estado
conductor a no conductor o viceversa.

~p

p
Conduce

p
a

p
No conduce

no conduce

p
a

conduce

21

Construir el circuito que est expresado mediante

p q
Solucin:
Utilizando las leyes del lgebra proposicional
expresin equivalente a la implicacin

hallamos la

p q p q
p
q

22

Construir el circuito que est expresado mediante

q( p q )
Solucin:
Utilizando las leyes del lgebra proposicional
expresin equivalente a la implicacin

hallamos la

23

Construir el circuito que est expresado mediante

( p q ) ( q p ) q

24

Simplificacin de circuitos
Considerando la identificacin de los circuitos
en serie y en paralelo con las proposiciones
bsicas de conjuncin y disyuncin, as como
las leyes del lgebra de proposiciones podemos
efectuar la simplificacin de circuitos; para
ello, en primer lugar, se representa el circuito
en su forma proposicional, en segundo lugar, se
simplifica y por ltimo se dibuja el nuevo
circuito utilizando la proposicin simplificada.
25

Ejemplos:
Simbolizar y simplificar los circuitos siguientes:
p
a)

b)

q
p

q
26

p
c)

q
r
s

p
q

27

TRABAJO EN EQUIPO
TALLER

28

Bibliografa Consultada
Acua, E., Castillo, M., DOnofrio, S., Galarza,B.,
Guzman, A., Lastres, P., Rosales, D., & Villanueva, E.
(2014). Lgica y Epistemologa. Lima: PUCP.
Acua, C., Briceo,R. (2011). Lgica y matemtica,
departamento de formacin general. Trujillo: UCV.

29