Pontificia Universidad Catlica de Valparaso

GUIA DE EJERCICIOS
LGICA ! CO"JU"#OS
$% Si& p&
q
' s son proposiciones verdaderas& deter(ine el valor de
verdad de las si)*ientes proposiciones+
a,
( ) s q p
-,
( ) ( ) s q p p
c,
( ) ( ) p s q p
d,
( ) ( ) s p q p
.% Deter(ine a /*0 corresponde& 1#a*tolo)a& Contradiccin o
Contin)encia, cada *na de las si)*ientes proposiciones+
a,
( ) ( ) p q p q
-,
( ) [ ] p q p p
c,
( ) [ ] ( ) [ ] q r p r q p
d,
( ) ( ) p q q p
e,
( ) ( ) p q q p
f,
( ) ( ) ( ) ( ) [ ] q p p q p q p
),
( ) [ ] ( ) ( ) [ ] r p q p r q p
2,
( ) [ ] p q p p
i,
( ) ( ) [ ] q q p p p
3% Si
( ) r q p
es *na proposicin falsa& deter(ine el valor de verdad
de las si)*ientes proposiciones+
a,
( ) ( ) [ ] r q r q p
-,
( ) [ ] ( ) q p p r q
4% Se sa-e /*e la proposicin p es verdadera% Di)a para /*0 valores
de q ' r es verdadera la proposicin+
( ) ( ) q p r q
5% Sa-iendo /*e la proposicin co(p*esta
( ) ( ) q p r p
es falsa&
deter(ine el valor de verdad de la proposicin
( ) r q p
%
ALGE6RA $ 7% AS#UDILLO
Pontificia Universidad Catlica de Valparaso
8% Sa-iendo /*e las dos proposiciones+
p
'
( ) [ ] s r q p
son
verdaderas& deter(ine el valor de verdad de
s q
%
9% Si(plifi/*e al (:;i(o las si)*ientes proposiciones%
a,
( ) [ ] p q p q
-,
( ) [ ] p q q p
c,
( ) p p p d, ( ) ( ) [ ] p p q p q p
e,
( ) [ ] ( ) [ ] q p q q p p
f,
( ) ( ) q p p q
),
( ) [ ] ( ) [ ] q p q q p p 2,
( ) [ ] q p q p
i,
( ) [ ] q q p p
<,
( ) ( ) q p q p
=,
( ) [ ] ( ) q p q p p
l,
( ) [ ] q p p q
>% Sea A = { -1/2, 0, 1, 2 }. Deter(ine el valor de verdad de las
si)*ientes proposiciones%
a, ( x A ) (x Z) -, ( x A )

,
_

4
1
2
x
c, ( x A)
( )
2
1
1 + x d, ( x A) ( ) 1
2
x
$?% Deter(ine el valor de verdad de las si)*ientes proposiciones+
a, ( x R )

,
_

1
x
x
-, ( x R ) (
x
1
R)
c, ( x R ) ( ) x x
2
d, ( x R )

,
_

> x
x
1
ALGE6RA @ 7% AS#UDILLO
Pontificia Universidad Catlica de Valparaso
$@% Deter(ine el valor de verdad de las si)*ientes proposiciones+
a, ( x R) ( ) 1 1
2
+ + x x -, 1 x R) ( ) x x
$.% Considere los con<*ntos: A = {-2, 0, 2, 4 } '

'

3 ,
5
1
, 7 B
% Deter(ine
el valor de verdad de+
a, ( x A) 1 y B)
( ) y x 5 2
2
> +
-, ( y B) 1 x A)
( ) 1 > + y x
c, 1 x B) 1 y B)
( ) 0
2 2
> y x
$3% Sean+ A = {-2, 0, 4 } ' B = { 3, 6, 9 }. Deter(ine el valor de verdad
de+
a, 1 y A) ( y B)
( ) y x y x
-, ( x A) 1 y B)
( ) y x y x < > + 0
2
$5% Considere los con<*ntos+ A = { 1, 2, 3, 4 } ; B = { 1, 2, 5, 6, 7 } ;
C = { 2, 3, 5, 8 } ' el *niverso U = { 1, 2, 3, 4, 5, 6, 7, 8 }. Deter(ine
los si)*ientes con<*ntos+
a,
C A
-,
C A
c, B A d,
C
A
e,
C C
B A f, C B
C

ALGE6RA . 7% AS#UDILLO
Pontificia Universidad Catlica de Valparaso
),
( ) B B A
2, ( )
C
C
C B
i,
C C
A B <,
( ) A B C
=,
( ) A B C
$>% Sean A ' B con<*ntos del *niverso U% Si(plifi/*e las si)*ientes
e;presiones+
a,
( ) [ ] B A B A
-, ( ) ( )
c
c
c c
B A B A
c, ( ) [ ] B B A A
c
c
d, ( ) [ ] ( )
c
c
B A B B A A
e, ( ) ( ) [ ] ( ) B A A B B A
c c c

f,
( ) [ ] ( ) ( ) [ ] B A B B A B A A
), ( ) [ ] ( ) [ ]
c
c
c c
B C B B B A A
2, ( ) [ ] ( ) ( ) [ ]
c c c
A B A B A B A
@?% Sean A& B ' C con<*ntos del *niverso U% De(*estre las si)*ientes
i)*aldades+
a, ( ) [ ] ( ) [ ]
c
c c
C B A C B A
-, ( ) [ ] ( ) ( ) [ ] U B A B A A B A
c c c
c
c

c, ( ) [ ] ( ) [ ] C A C A C B A A
c
c
c c

d, ( ) [ ] ( ) [ ] B A B B A A A B
c
c
c

ALGE6RA 3 7% AS#UDILLO
Pontificia Universidad Catlica de Valparaso
e, ( ) ( ) [ ] A A B B A A
c c

@$% En *n )r*po de 100 est*diantes& se o-t*vo la si)*iente
infor(acin+
40 practican atletis(o
32 practican -:s/*et-ol
48 practican ciclis(o
12 practican atletis(o ' -:s/*et-ol
$? practican -:s/*et-ol ' ciclis(o
10 practican atletis(o ' ciclis(o
10 no practican deportes
a, AC*:ntos practican atletis(o pero no -:s/*et-olB
-, AC*:ntos practican -:s/*et-ol o ciclis(oB
c, AC*:ntos practican al (enos dos de los deportesB
@@% Sean A ' B con<*ntos del *niverso U% Se define la operacin C
co(o+ ( ) ( ) [ ]
c
c c c
B A B A B A * & deter(ine+
a, A A* -,
* A
@.% Sean A ' B con<*ntos del *niverso U% Se define la operacin
co(o+ B A B A
c
% Deter(ine si se c*(plen las si)*ientes
i)*aldades+
a, ( ) ( ) [ ]
c c c
A A B A A U -,
( ) ( ) A A B A
c c

ALGE6RA 4 7% AS#UDILLO
Pontificia Universidad Catlica de Valparaso
@3% Sean A, B ' C con<*ntos del *niverso U& tales /*e
B A
'
C B
% Es cierto /*e+
( ) ( ) [ ] C B B A A C
%
SOLUCIO"ES
$% a, Dalsa -, Dalsa
c, Verdadera d, Verdadera
.% a, Contradiccin -, #a*tolo)a
c, #a*tolo)a d, Contin)encia
e, #a*tolo)a f, #a*tolo)a
), #a*tolo)a 2, Contin)encia
i, Contradiccin
3% a, D -, V
4% q es V ' r es D
5% Verdadera
8% Verdadera
9% a,
p q
-, p
c, p d, D
e, p f, V
),
q p
2, p
i) q <, q
ALGE6RA 5 7% AS#UDILLO
Pontificia Universidad Catlica de Valparaso
=, V l, V
>% a, Dalsa -, Verdadera
c, Verdadera d, Dalsa
$?% a, Dalsa -, Verdadera
c, Dalsa d, Verdadera
$@% a, Dalsa -, Verdadera
$.% a, Verdadera -, Dalsa
c, Verdadera
$3% a, Dalsa -, Verdadera
$5% a, { 2, 3 } -, { 1, 2, 3, 4, 5, 8 }
c, { 3, 4 } d, { 5, 6, 7, 8 }
e, { 3, 4, 5, 6, 7, 8 } f, { 3, 8 }
),

2, { 2, 3, 4, 5, 8 }
i, { 3, 4 } <, { 8 }
=, { 2, 3, 8 }
$>% a, B -, U
c, U d, A
ALGE6RA 8 7% AS#UDILLO
Pontificia Universidad Catlica de Valparaso
e,
c
A f, B A
),
c
B 2,
c
A B
@$% a, 28 -, 70
c, 26
22. a, A -, A
ALGE6RA 9 7% AS#UDILLO