UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA

Andrea Melissa Garrido Guerra / 5990-16-1557

Lgica de sistemas B
Ing. Luis Farfn

Ley de Morgan
La negacin que Mara vino y Juan se qued dormido es Mara no vino o Juan no se qued
dormido.

p: Mara vino

q: Juan se qued dormido

(p q) p v q

1 2
p q p q p q (p q) p v q (p q) p v q
V V F F V F F V
V F F V F V V V
F V V F F V V V
F F V V F V V V

Doble Negacin
No ocurre que Ana no es estudiante entonces Ana es una estudiante

p: Ana es estudiante

pp

p p p p p
V F V V
F V F V

Conmutacin de la disyuncin
Es lunes o martes, entonces es martes o lunes.

p: es lunes

q:es martes

pvqqvp

p q pvq qvp pvqqvp

V V V V V
V F V V V
F V V V V
F F F F V
 UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
Andrea Melissa Garrido Guerra / 5990-16-1557
Lgica de sistemas B
Ing. Luis Farfn

Conmutacin de la conjuncin
Es lunes y martes, entonces es martes y lunes

p: es lunes

q:es martes

pqqp

p q pq qp pqqp
V V V V V
V F F F V
F V F F V
F F F F V

Asociativa de la Conjuncin
Hay clases lunes, martes y mircoles entonces hay clases lunes martes y mircoles.

p: hay clases lunes

q: hay clases martes

r: hay clases mircoles

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

p q r q r p (q r) p q (p q) r (p (q r)) ((p q) r)
V V V V V V V V
V V F F F V F V
V F V F F F F V
V F F F F F F V
F V V V F F F V
F V F F F F F V
F F V F F F F V
F F F F F F F V

Asociativa de la Disyuncin
Hay clases lunes, martes o mircoles entonces hay clases lunes martes o mircoles.

p: hay clases lunes

q: hay clases martes

r: hay clases mircoles

 UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
Andrea Melissa Garrido Guerra / 5990-16-1557
Lgica de sistemas B
Ing. Luis Farfn

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

p q r q v r pv (q v r) p v q (p v q) v r (p v (q v r)) ((p v q) v r)
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F F V V V V
F V V V V V V V
F V F V V V V V
F F V V V F V V
F F F F F F F V

Distributiva de la Conjuncin
a (c + d) = ac + ad

a (c v d) (a c) v (a d)

a c d c v d a (c v d) a c a d (a c) v (a d) a (c v d) (a c) v (a d)
V V V V V V V V V
V V F V V V F V V
V F V V V F V V V
V F F F F F F F V
F V V V F F F F V
F V F V F F F F V
F F V V F F F F V
F F F F F F F F V

Distributiva de la Disyuncin
Si A tiene 5 aos o B 6 aos C 8 aos entonces C 8 aos entonces C 8 aos, o B 6 aos o A 5 aos.

A: 5 aos

B: 6 aos

C: 8 aos

(A v (B v C)) ((C v B) v A)
 UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
Andrea Melissa Garrido Guerra / 5990-16-1557
Lgica de sistemas B
Ing. Luis Farfn

A B V BvC A v (B v C) C v B (C v B) v A (A v (B v C)) ((C v B) v A)

V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F F V F V V
F V V V V V V V
F V F V V V V V
F F V V V V V V
F F F F F F F V

Transposicin
Si 6 es mltiplo de 3 entonces es divisible dentro de 3 entonces si 7 no es mltiplo e 3 entonces 7
no es divisible dentro de 3.

p: # es mltiplo de 3

q: es divisible entro de 3

(p q) ( p q)

p q p q p q p q (p q) ( p q)
V V F F V V V
V F F V F V F
F V V F V F F
F F V V V V V

Implicador
Si A implica a B cuando A es falsa o B es verdadera.

A:

B:

ABAvB

A B A A B A v B A B A v B
V V F V V V
V F F F F V
F V V V V V
F F V V V V
 UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
Andrea Melissa Garrido Guerra / 5990-16-1557
Lgica de sistemas B
Ing. Luis Farfn

Equivalencia 1
Dos proposiciones son equivalentes si la primera implica a la segunda y la segunda implica a la
primera.

A B ((A B) (B A))

A B A B A B B A (A B) (B A) A B ((A B) (B A))
V V V V V V V
V F F F V F V
F V F V F F V
F F V V V V V

Equivalencia a 2
Dos proposiciones son equivalentes si la primera y la segunda son diferentes a la negacin de la
primera y la negacin de la segunda.

A B ((A B) v ( A B))

A B A B A B A B A B (A B) v ( A B) A B ((A B) v ( A B))
V V F F V V F V V
V F F V F F F F V
F V V F F F F F V
F F V V V F V V V

Exportacin
Estudias y haces las tareas entonces granaras el grado entonces si estudias entonces haces las
tareas y entonces ganaras el grado.

p: estudias

q: haces tareas

r: ganaras el grado

((p q) r) (p (q r))
 UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA
Andrea Melissa Garrido Guerra / 5990-16-1557
Lgica de sistemas B
Ing. Luis Farfn

p q r p q (p q) r q r p (q r) ((p q) r) (p (q r))
V V V V V V V V
V V F V F F F V
V F V F V V V V
V F F F V V V V
F V V F V V V V
F V F F V F V V
F F V F V V V V
F F F F V V V V

Identidad
Todo objeto es idntico a si mismo.

( + )2 = 2 + + 2

A: ( + )2

B: 2 + + 2

AA

A AA
V V
F V