Ejercicios de Lgica Proposicional

1.

Aplica el proceso de jerarquizacin y determina la

matriz principal en:

A) 2
8.

[p (p q)] q

B) 3

2.

Aplica el proceso de jerarquizacin y determina la

matriz principal en:

~[(p q) (p ~q )]

E) 1

C) 4

La negacin de la frmula disyuntiva inclusiva es

B) FVFV
E) FFFV

C) VFFF

Al evaluar mediante una tabla de verdad:

~(p
q) V ~ r
obtenemos en la matriz principal:

A) Dos F
D) Cuatro F
11.

B) 3
E) Ninguna

A) VVVF
D) FFFF
10.

D) 6

En la tabla de verdad de:

[ (p
q) V ((~p)
~q) ]
cuntas V hay en la matriz principal?
A) 2
D) 1

9.

C) 4

B) Un F
E) Cuatro V

C) Tres F

En la tabla de verdad de: ~ ( ~p V ~q)

cuntas F ms que en la tabla de: ~(~p

hay?
3.

Al elaborar la tabla de verdad de:

p
~q
se obtiene:

A) Exclusin
C) Contradiccin
E) Tautologa
4.

A) 5
D) 2

B) Disyuncin
D) Contingencia

(q

resulta una:
A) contradiccin
C) Disyuncin
E) Exclusin
5.

13.

resulta una:

p]

A) Tautologa
C) Contingencia
E) Exclusin
6.

B) Contradiccin
D) Conjuncin

Luego de construir la tabla de verdad de la

proposicin:
(p
q)
(r
~p)

cuntas V y cuntas F aparecen respectivamente?

A) 6 ; 2
D) 7 ; 1
7.

B) 5 ; 3
E) 3 ; 5

En la tabla de verdad de:

~(p
q)
r
cuntas F hay en la matriz principal?

B) I y III
E) Slo I

Si las siguientes proposiciones:

I.
(p

C) 4 ; 4

C) Todas

s)
p (q r)
(s ~ r)

II.
III.

~q

C) 3

(p q) ] p
(p q)] p
(p q)] q

A) I y II
D) II y III

B) Tautologa
D) Contingencia

La tabla de verdad de:

[ (p
q)

[p

II. [p
III. [p

p)

q),

De las siguientes proposiciones, indicar cul (es) no

es (son) tautologa (s):
I.

La tabla de verdad de:

(p
q)

12.

B) 4
E) 1

son verdaderas , hallar el valor de verdad de

p, q, r, s; respectivamente.
A) VVFV
D) VFVV
14.

B) VVVV
E) VVFF

Al elaborar las tabla de verdad de:

~q)
~q)
se obtiene
a) ~(p
b) ~(p

A)
B)
C)
D)

(~p q)
(~p
q)

Tautologa, tautologa
Tautologa, contradiccin
Contraccin, tautologa
Contingencia, tautologa

C) FFFV

E)

Contradiccin, contradiccin
(p

15.

Si la proposicin:

~[r

A) VV
D) FV

6.

B) VF
C) FF
E) No se puede determinar.

AHORA REFORCEMOS LO ESTUDIADO EN CLASE

1.

Construir las tablas de verdad de:

q) q
r) p
q) ~q

I. (p
II. (p
III. (~p

q
V
F
V
F

p q
F
F
V
F

Hallar : [ (p q ) p ]
A) FFVV
D) VFVF
3.

(p

q)

B) FVFV
E) FFVF

C) VVFF

V
V
F
F

V
F
V
F

p q
V
F
F
V

Hallar: (p q) p ~p
A) FVVF
D) FVVV

~q

B) FVVV
E) VVVV

Si la proposicin:
(~p

q)

[ (p

r)

t]

es falsa, hallar el valor de verdad de:

I. ~ [ (~p
~ q)
(r
~ t)]
II. (~q
~r)
[~t
(p
q)]

5.

Si se sabe que:

es verdadera, hallar el valor de verdad de:

I. {[(p q) r ] ( t p )} r
II. [ (r s) t ] (p q)
III. (p q) ( t )

Se define:

4.

Dadas las proposiciones:

q : 7 es un nmero racional
p y r cualquier proposicin
adems se sabe que:
~[ (r q) (r p) ] es verdadera
Hallar el valor de verdad de:
I. r ( p q)
II. [ ( r (p q)] (q p)
III. ( r p) (q p)

{[(r s) t] (p v q) } {{[(r t) s] (q
p)}}

Se define:
p
V
V
F
F

~p

A) VVV B) FFF C) VFV D) FVV E) VVF

7.

2.

t] es falsa, hallar

~t ~[s r]
r) (u ~t)]

[~p
~[(q

q)

cuntas F resultan?

[p
q
~r]
el valor de verdad:
I.
II.

Al evaluar por tablas:

C) FFFF

A) VVV B) VFF C) VFV D) FVV E) VVF