Aritmtica

1.

Dadas las proposiciones p: Edgar es profesor, q: Matas es ingeniero, r: David

es mdico. Hallar la expresin simblica del enunciado: Si Matas no es
ingeniero y no es cierto que Edgar sea profesor, porque David es mdico.
aq p) o (p v r)
A) (a
D) (q v p) o r

B) (aq ap) o (p v r)
E) (ap aq) o ar

C) r o (aq ap)

Solucin:
p: Edgar es profesor, q: Matas es ingeniero, r: David es mdico
Si Matas no es ingeniero y no es cierto que Edgar sea profesor, porque David
es mdico.
CLAVE: C
r o (aq ap)
2.

Determine cual o cuales de las siguientes proposiciones son contingencias:

i) (~ p o q) l (p q)
ii) (p q) ' ~ p
iii) (p ' q) o (p q)
A) i y ii

B) i y iii

C) Slo i

D) Slo ii

E) ii y iii

Solucin:
p q
V
V
F
F

V
F
V
F

(i)
(~ p o q ) l (p q)
F
F
V
V

V
V
V
F

V
F
V
F

V
V
V
V

(ii)
(pq)'~p

V
V
V
F

Luego: (II), (III) son contingencias.

V
V
V
F

V F
V F
F V
V V

(iii)
(p ' q) o ( p q)
F V
V F
V F
F V

V
F
F
F
CLAVE: E

3.

Si la proposicin (a
ar s) l [ (p ' as) l (p aq) ] es falsa, determine el valor
de verdad de las siguientes proposiciones, en el orden indicado.
I. (as q) ' p
II. a[(aq l r) o t]
III. [p (q s)] l [(r o q) a(q t)]
A) VVV

B) VFV

C) FFF

D) FFV

E) FVF

Solucin:
(ar s) l [ (p ' as) l (p aq) ] { F
F
p' F
F
p
V V
F
V
F
V
V
F
p { F; q { F; r { F; s { V
I. (as q) ' p { (aV F) ' F{ F ' F { F
II. a[(aq l r) o t] { a[(aFl F) o t] { a[F o t] { a[V] { F
III. [p (q s)] l [(r o q) a(q t)] { [F (F V)] l [(F o F) a(F t)] {
FlV{F
CLAVE: C
4.

Dadas las proposiciones M y N tales que

M{p(p(p (p (p q)

))))

abcb5 parntesis
N{ap(p(ap(p (ap q)

))))

2014 parntesis
Simplifique la proposicin [ M o ( N M) ]
A) a q

B) p a p

C) a p q

D) p a p

E) p

Solucin:
M{p(p(p (p

(p q)

))))

abcb5 parntesis
N{ap(p(ap(p (ap q)

{ p p { p (absorcin)

)))){

2014 parntesis
Para una cantidad par de parntesis: p q
Luego N { a p ( p q ) { a p q (absorcin)
Luego [ M o ( N M) ] { p o [ (a p q) p] { a p ( p q ) { a p q
CLAVE: C

5.

Se define p
p
V
V
F
F

q segn la tabla
q
V
F
V
F

q
F
V
F
F

Halle la conclusin de la proposicin {[( ap q)

A) VFFV

B) FFVV

C) FFFF

q]

q}

D) FVVF

ap
E) FVVV

Solucin:
p
V
V
F
F
6.

q
V
F
V
F

{[( ap q)
F FV
F FF
V FV
V VF

F
F
F
V

q]
V
F
V
F

F
F
F
V

q}
ap
V F F
F F F
V F V
F F V

CLAVE: C

Simplificar la proposicin { (p q ) [a(r o q) (aq o ar ) ] } [ (r aq) o q ].

A) p q

B) ap q

C) p aq

D) p q

E) ap aq

Solucin:
{ (p q ) [a(r o q) (aq o ar ) ] } [ (r aq) o q ]
{ (p q ) [a(ar q) (q ar ) ] } [a (r aq) q ]
{ (p q ) [(r aq) (q ar ) ] } [(ar q) q ]
{ (p q ) [((r aq) q) ar ) ] } [(ar q) q ]
{ (p q ) [ (r q) ar ] } q
{ (p q ) [ (r ar) q ] } q
{ (p q ) [ V q ] } q
{ (p q ) V } q
{pq}q pq
7.

CLAVE: D

Si ( q o t) es falsa y (p t) es verdadera, determine el valor de verdad de

las siguientes proposiciones, en el orden indicado.
i) [ p ( q p)]
ii) (p t) s
iii) [p ( q t)] [(p o q) ( q t)]
A) FFV

B) FVV

C) FVF

D) VFV

Solucin:
Como ( q o t) F; (p t) V entonces q F, t V, p F
i) [ p ( q p) ] F
V

V
V
V

E) VVV

ii) (p t) s V
V
V
iii) [ p ( q t ) ] [ ( p o q ) ( q t ) ] V
V

V
V

FVV
8.

CLAVE: B

1 si "p"es T

2 si "p"es F
Calcule el valor de F(c) + F(b) + F(a), donde
c { ~ q o (~ p ~ q)
b { > (r ~ p) (p q)@o r
a { >q l (pq)@ l (q~ p)

Se tiene que: F(p)

A) 5

B) 2

C) 3

D) 6

E) 4

Solucin:
c { ~ q o (~ p ~ q) { q (~ p ~ q) { ~ p (q ~ q) { ~ p V { V
b { >(r ~p) (p q)@o r { >(p ~ p) (r q)@o r { >F (r q)@o r { F o r { V
a { >q l (pq)@ l (q~ p) { ~ (q~ p) l (q~ p) { F
Por lo tanto F(c) + F(b) + F(a) = 1 + 1 + 2 = 4
9.

CLAVE: E

Si [ (~ p q) o (p r) ] { [ (s t) l (~ s ~ t)], la proposicin
[ (p r) o(s t) ] (q t), es equivalente a
A) s

B) t

C) ~ t

D) ~ s

E) ~s t

Solucin:
[ (~ p q) o (p r) ] { [ (s t) l (~ s ~ t)] { [ (s t) l ~ (s t)] { F
[ (~ p q) o (p r) ] { F
F
V
V
F F
V
F
p { F, q { V, r { F
Luego [ (p r) o(s t) ] (q t) { [ (F F) o(s t) ] (V t) {
[ F o (s t) ] (V t) { V t { t
CLAVE: B

10. Se define p q { a(p q) l p, indique el valor de verdad de las siguientes

proposiciones, en el orden indicado.
I. [(p aq) q] l q
A) VFF

II. (p aq) ' a(ap o q)

B) FVF

C) VFV

III. (ap aq) l (p aq)

D) FFV

E) VVV

Solucin:
p q { a(p q) l p [(p q) ap] [a(p q) p]
[(p q) ap] [(ap aq) p]
[(p q) ap] F
[(p q) ap]
ap q
I. [(p aq) q] l q [(ap aq) q] l q [a (ap aq) q] l q
[(p q) q] l q q l q V
II. (p aq) ' a(ap o q) (ap aq) ' a(p q) a(p q) ' a(p q) F
III. (ap aq) l (p aq) (p aq) l (p aq) V
CLAVE: C
11. Clasifique las siguientes proposiciones como tautologa (T), contradiccin (F)
o contingencia ( C ), en el orden indicado.
I. ( p o q ) o aq
II. (a q p ) ' [ p ' ( p q) ]
III. ( q ' a p ) l ( p ' q )
A) TFC

B) FTC

C) TCF

D) CTF

E) CCT

Solucin:
I. (p o q) o aq a(ap q) aq (p aq) aq aq ( C )

12.

II. p
V
V
F
F

q
V
F
V
F

(aq
F
V
F
V

III. p
V
V
F
F

q
V
F
V
F

(q
V
F
V
F

V
V
F
V

p ) ' [ p ' (p q)]

V V V F
V
V V V F
V
F V
F V
V
F V
F F
F (T)

' ap )
V F
F F
F V
V V

l (p
F
F
F
F

' q)
F
V
V
F (F)

CLAVE: D

Si p # q a( q o p) y p q (q o p), simplificar la proposicin

{q [(p (r # s)) p]} o [( ap # aq) a q]
A) p q

B) p q

C) p

D) q

E) s

Solucin:
p # q a( q o p) a( aq p) q ap ap q
p q (q o p) aq p p aq
{q [(p (r # s)) p]} o [( ap # aq) a q]
{q [(p (ar s)) p]} o [( p aq) a q]
{q p} o [( p aq) q]
{q ap} o [q p] a{q ap} [q p] {aq p} [q p] p q
CLAVE: A

1.

Si Adn comi la manzana entonces Eva lo tent, equivale a

A) Si Adn no comi la manzana, entonces Eva lo tent
B) Adn no comi la manzana pero Eva lo tent
C) o Eva lo tent o Adn comi la manzana
D) Si Eva no lo tent, Adn no comi la manzana
E) Ya que Eva lo tent, Adn no comi la manzana
Solucin:
p : Adn comi la manzana
q : Eva lo tent
Si Adn comi la manzana entonces Eva lo tent p o q
apoq
apq
p'q
aqoappoq
qoap

A)
B)
C)
D)
E)
2.

CLAVE: D

Determine cuantas de las siguientes proposiciones son contradicciones.

I)
II)
III)
IV)

~ p ' ( q ~p )
p(qop)
p ( q ~p )
( p o q ) ( p ~q)

A) 2

B) 3

C) 0

D) 1

E) 4

Solucin:
p q
V
V
F
F

V
F
V
F

(I)
~ p ' ( q ~p )
V
F
F
F

(II)
p(qop)
V
V
F
V

Luego slo (IV) es contradiccin

(III)
p ( q ~p )
V
F
F
F

(IV)
( p o q ) ( p ~q)
F
F
F
F
CLAVE: D

3.

Si el valor de verdad de la proposicin

{ (a p a q ) o { a ( p q ) [ a p o ( p q ) ] } } q
es falsa, halle el valor de verdad para cada una de las siguientes proposiciones
en el orden indicado:
I. q p
II. (p o q) (q o p)
III. ap q
A) FFV

B) FVV

C) VFV

D) VVF

E) FFF

Solucin:
{ (a p a q ) o { a ( p q ) [ a p o ( p q ) ] } } q
{ a( p q ) o {a ( p q ) [ p ( p q ) ] } q
( p q ) { a( p q ) p } q
{ ( p q ) p } q
pq
F
luego p , q son iguales.
I. q p F

4.

II. (p o q) (q o p) V

III. ap q V

CLAVE: B

Cul o cules de las siguientes proposiciones son equivalentes

proposicin (p o p) o r?

a la

I. [( p q ) p] o r
II. ( r q ) a( ar q )
III. ( p ar) a( p r )
IV. [p ( q p ) ] o ( p r )
A) i

B) i y iii

C) ii

D) ii y iv

E) iii y iv

Solucin:
Tenemos que (p o p) o r r
V or
i. [( p q ) p] o r p o r (NO)
ii. ( r q ) a( ar q ) ( r q ) (r aq) r (q aq) r (SI)
iii. ( p ar) a( p r ) ( p ar) (ap ar ) [( p ar) ar] ap ar ap
(NO)
iv. [p ( q p ) ] o ( p r ) p o ( p r ) ap ( p r ) V (NO)
CLAVE: C
5.

Si p(x): x2 = 16, q(x) = x 3 = 8 y r(x): x + 4 < 9; determine el valor de verdad de

las siguientes proposiciones, en el orden indicando
I. p(4) o [~ q(2) ~ r(3)]
II. >r(2) ~ p(2)] o r(1)
III. >q(3) l p(4)@ l [r(6) ~ p(2)]
A) FFV

B) FVV

C) VVV

D) VVF

E) FFF

Solucin:
I. p(4) o [~ q(2) ~ r(3)] V o [~ F ~ V] V o V V
II. >r(2) ~ p(2)] o r(1) >V ~ F] o V V o V V
III.>q(3) l p(4)@ l [r(6) ~ p(2)] >F l V@ l [F ~ F] Fl F V
6.

Si p * q ( p q ) a ( a p q ), simplificar la proposicin
>(p*aq)*ap@a>(p*r)(q*r)@
A) q a q

B) p a p

C) p q

D) p q

Solucin:
p * q ( p q ) a ( a p q ) ( p q ) ( p aq ) p aq
Luego > ( p * a q ) * a p @ a > ( p * r ) ( q * r ) @
> (p q) * a p @ a > ( p ar ) ( q ar ) @
> (p q) p @ a > ( p q ar ) @
(p q) [a ( p q) r @ F q a q
7.

CLAVE: C

E) p

CLAVE: A

Indique cuntas de las siguientes proposiciones lgicas son tautologas

I. [ap (q o r)] l [p o (aq r) ]
II. [ap l q] [ (p o aq) (q p)]
III. (q l p) [(q p) a (p q)]
IV. [a(p o q) (aq p) ]
A) Cero

B) Uno

C) Dos

D) Tres

E) Cuatro

Solucin:
I. [ap (q o r)] l [p o (aq r) ] [ap (aq r)] l [ap (aq r) ] V
II. [ap l q] [ (p o aq) (q p)] [ap l q] [ (ap aq) (q p)]
[ap l q] [a(p q) (q p)] (q p) [a(p q) (q p)] (q p) C
III. (q l p) [(q p) a (p q)] (q l p) a (q l p) V
IV. [a(p o q) (aq p) ] [a(p q) (aq p) ] [(ap aq) (aq p) ] p aq
CLAVE: C
8.

Si p # q est definido por la tabla

p#q

V
V
F
F

V
F
V
F

V
V
F
V

Simplifique la proposicin (p # q) # p.
A) ~ p

B) ~ q

C) p q

D) p q

E) p ~ p

Solucin:
p
q (p # q) # p
V
V
F
F

V
F
V
F

V
V
F
V

V
V
V
V

V
V
F
F

CLAVE: E

9.

Simplifique la proposicin
p ' {q [ (poq) (po h)] [ q '(h a h)]}
A) h

C) h q

B) p

D) p aq

E) ap

Solucin:
p ' {q v [ (ap v q) (ap v h)] v [ q '(h va h)]}
p ' {q v [ (ap v q) (ap v h)] v [ q '(h va h)]}
p ' {q v (q ' T) v (ap v (q h))}
p ' {q v aq v (ap v (q h))}
p ' {T v (ap v (q h))}
p ' T ap
q segn la tabla de valores de verdad

10. Se define r
q
V
V
F
F

CLAVE: E

r
V
F
V
F

q
F
F
V
F

Determine la conclusin de la proposicin r

A) VVFV

B) VVFF

Solucin:
q r
V F
V F
F V
F F

r
V
F
V
F

V
F
V
F

{( q
V
V
F
F

C) VFFF

V
F
F
F

ar)
F
V
F
V

( aq
F F F
F F F
F V F
F V V

>( q
D) VFVF

r )}
V
F
V
F

ar) ( aq

r)]

E) FVVF

CLAVE: D