UNIVERSIDAD NACIONAL DE INGENIERA

FACULTAD DE INGENIERA INDUSTRIAL Y DE SISTEMAS

DEPARTAMENTO DE CIENCIAS BSICAS PC1

TEMA: NMEROS REALES (LGICA PROPOSICIONAL, CONECTIVOS LGICOS,

CONJUNTOS)

1.- a) Si p q r V

Simplificar

[(p q) (q s t) [(s t) p]

b) Determine si es una tautologa la proposicin A B donde

A [p r] [ (qr) (pq)]

B {[(pq) (qr)] -(rp)} (p q r)

2.- a) Usando elementos o definicin, demostrar que si =

b) Demostrar que

SI [[( ) ] {[ ( )] [ ( )]} ] entonces ( )

3.-Usando elementos demostrar

a)[( ) ( )] ( ) ( )

b){[ ( )] [ ]} {[ ( )] ( )}
 1.- a) Si p q r V

Simplificar

[(-p q) (-q s t) [(s t) -p]

Dato: s v t r

Solucin:

(p q) (q r) [r p] Condicional

[(p q) (q r)] [r p] Morgan

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

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

{[(p q) r] [(p q) p]} (q r) Semiabsorcin

{[(p r) (q r)] [p q]} (q r) Morgan

{(p r) (q r) (p q)} (q r) Semiabsorcin

(q r) {(p r) (p q)} Propiedad distributiva

{[(q r) (p r)] [(q r) (p q)]} Semiabsorcin y distributiva

(r q p) {[ q (p q)] [(r p q)]} Prop. conmutativa

(p q r) [(q q p ) V] Disyuncin de proposiciones

(p q r) [(V p) V] Disyuncin

(p q r) [V V] Conjuncin

(p q r) V Conjuncin

Pqr

Segundo mtodo de solucin:

(~p q) [(~q v (s t) (s t) ~p

Dato: s t r

(~p q (~q r) (r ~p) Condicional

~(~p q) (~q r) (r ~p) Morgan

(p ~q) (q ~r) (r ~p) Distributiva

{p (q ~r) ~q (q ~r)} (r ~p) Distributiva y semiabsorcin

{(p q) (p ~r) (~q ~r)} (r ~p) Distributiva

 {p q (r ~p) p ~r (r ~p) ~q ~r (r ~p) Morgan y
Semiabsorcin

p q r ~(~p r) (r ~p) ~q ~r ~p Disyuncin y el dato

p q r V V definicin de conjuncin

p qr
Respuesta

b) Determine si es una tautologa la proposicin A B donde

A [p r] [-(qr) (pq)]

B {[(pq) (qr)] (rp)} (p q r)

Solucin:

A ~(p r) [~(q r) v ~ (p q)] Condicional

A ~(~p v r) [~(~q v r) v ~(~p v q) Condicional

A (~p v r) v [~(~q v r) v ~(~p v q) Morgan

A (~p v r) v [(q ~r) v (p ~q)] Conmutativa

A (~p v r) v (p ~q) v (q ~r) Conmutativa

A ~p v (p v ~q) v r v (q ~r) Semiabsorcin

A (~p v ~q) v (r v q) Conmutativa

A ~p v r v (q v ~q) Disyuncin

A ~p v r v V Disyuncin

B{[(p q) (q r)] ~(r p)} {p v q v r} Condicional

B{[(~p v q) (~q v r)] ~(~r v p)} {p v q v r} Prop. anterior

B{~[(~p v q) (~q v r)] v ~(~r v p)} {p v q v r} Prop. anterior

B ~{~[(~p v q) (~q v r)] v ~(~r v p)} v {p v q v r} Morgan

B{[(~p v q) (~q v r)] (~r v p)} v { p v q v r} Distributiva

B(~p v q v p v q v r) (~q v r v p v q v r) (~r v p v p v q v r) Disyuncin

B(V v q v r) (V v r v p) (V v p v q) Disyuncin

B V V V Conjuntiva

B V
Luego: A B
 V V

2.- a) Usando elementos o definicin, demostrar que si =

Solucin:

Dato:

Condicional

~( ) Conjuncin

( ) Disyuncin

( ) ( ) Disyuncin

( ) ( ( )) Def. de unin de conjuntos

( ) ( ))

Sea: ,

Entonces se tiene:

( ) ( ) Semiabsorcin inversa

(( ) ) ( ( )) Morgan Inverso

( ( ) ) ( ( ))

Restituyendo:

[ (( ) ( )) ( )] [( ) (( ) ( ))]

[ ( ) ( )] [( ) ( )] Unin de conjuntos

[( ) ( )] [( ) ( )] Condicional

( ) ( ) Inclusin

( ) =
b) Demostrar que

SI ( ) {[ ( )] [ ( )]} entonces ( )

Solucin :
Dato: (( ) ) [( ( )) ( ( ))]

Sea: (( ) )

(( ( )) ( ( )))
L.q.q.d
Entonces se tiene que:
 Pero por propiedad de inclusin se tiene:

.... (1)

Calculo de F:
(( ( )) ( ( )))
Pero sabemos que:
( ) ( )
( ) ( )
Luego tenemos:
( ( ) (( ( )) ( ( ) ))) reemplazando
( ( ) (( ( )) ( ( ) )) Diferencia de conjuntos
( ( ) ( ( ) ) ( ( ))) Morgan
( ) ( ( ) ) ( ( )) Morgan
( ) ( ) Semiabsorcin
( ) ( ) MorgaN

propiedad del conjunto universal
.... (2) Unin con el conjunto universal
Calculo de E:
( ) .. (3)
Reemplazando (2) y (3) en (1):

Conjunto universal en la unin de
conjuntos:
De donde: , , ...... (4) Conjunto vaco en la unin de
conjuntos
Es decir: , ,
Luego sabemos que: .. (5)
Reemplazamos (4) en (5):

( ) asociativa

( ) inclusin

L.q.q.d

otra solucin 2b)

[A B C] [(A - (B - D)) (A (B - D))] A (B C)

Partiremos de [A B C] [(A - (B - D)) (A (B - D))]

 y llegaremos a demostrar que A (B C)

[A B C] [(A - (B - D)) (A (B - D))]

Pero sabemos que M N = M N

M N = (M N) (M N)

M N = (M N) (M N)

M N = (M N) (M N)

Luego:

(A B C) {[A ((B D))] [[[A (B - D)] (A (B D)]]} Condicional y

Morgan

(A B C) {[A (B D)] [[A (B D)] [A (B D)]]} Morgan

(A B C) {[A (B D)] [[A (B D)] [A B D]]} Morgan

(A B C) {A (B D) [A (B D)] [A B D]} Complemento

(A B C) Inclusin

(A B C) () = Propiedad de conjunto vaco

(A B C) = Propiedad del conjunto universal

A B C =

De donde

A = B = C= ........... (1)

C=

= ............ (2) Por teora

Luego aplicando (1) en (2)

A B C = Morgan

A (B C)= inclusin

A (B C) L.q.q.d
 3.-Usando elementos demostrar

a)[( ) ( )] ( ) ( )

Solucin :

Demostraremos que

[(A-B) (B-A) C A (BC) B (AC)] [A (BC) B (AC) (A-B)

(B-A) C

Demostracin de I

(A-B) (B-A) C Inclusin

x(A-B) x(B-A) xC Condicional

-[x(A-B) x(B-A)] xC Morgan

-[(xA -xB) (xB -x A)] xC

[(-xA xB) (-xB xA)] xC

Sea xA= p, xB= q, xC= r

[(-p q) (-q p)] r Propiedad distributiva

(-p q r) (-q p r) Condicional

[p (q r)] [q (p r)]

Restituyendo

[xA (xB xC)] [x B (xA xC)]

[xA x(BC)] [xB x( AC)] .()

Por lo tanto

A (BC) B (AC)

(A-B)(B-A) C A (BC) B(AC)

Demostracin de II

A (BC) B (AC) inclusin

[xA x(BC)] [ xB x( AC)] unin

[xA (xB xC)] [xB ( xA xC)]

Sea x A= p, x B = q, x C= r

[p (q r)] [q (p r)] condicional

[-p (q r )] [-q ( p r)] inversa

[(-p q) (- q p)] r Morgan

[ -(p -q) - (q -p)] r Morgan

 -[(p -q) (q -p)] r

Restituyendo

-[(xA -xB) (xB xA)] r condicional

[(xA -x B) ( xB -xA)] r diferencia

[x(A B) x(B A )] xC unin

x[(A-B) (B-A)] xC inclusin

(A- B) (B- A) C

Por tanto

A (BC) B (AC) (A-B) (B-A) C ..()

De y

[(A-B) (B-A)] C A (BC) B (AC)

b){[ ( )] [ ]} {[ ( )] ( )}

Solucin

Demostraremos que:

x{[A-(B-C)] (C- B)} x{[A(BC)](CB)}

Partimos de:

x{[A- (B-C)] (C-B)} complemento

-{x {[A-(B-C)] (C-B)}} unin

-{x[A-(B-C)] x(C-B)} distribucin

-{[xA -(x(B-C) )] [xC -xB] } diferencia

-{[x A -(xB -x C)] [xC -xB]} Morgan

-{[xA (x B x C)] [xC xB]} unin e interseccin

-{[x A x(B C)] [x (C B)]} interseccin

-{x[A (B C)] x(C B)} Morgan

-x[A (BC)] -x (C B) complemento

x [A (BC)] x(C interseccin

x {[A (BC)] (C B)}

Luego hemos demostrado que

x{[A- (B-C)] [C-B]} x{A(BC)] (CB) }

Por tanto, queda demostrado que

{[A-(B-C)] [C B]} [A (BC)] (CB)