1

De los siguientes enunciados, indica cuáles son proposiciones 5 Sea la proposición compuesta:
lógicas. (p 0 q) + (+p & q)
a) Los gatos son mamíferos. Indica qué tipo de esquema es.
b) ¿Cuál es tu edad? Resolución:
c) El ácido sulfúrico corroe la madera. Construimos la tabla de verdad y evaluamos el esquema
molecular:
d) Sé honesto y trabajador.
p q (p 0 q) + (+p & q)
e) 8 es un número par y mayor que 7.
V V V V F V V
Resolución: V F V V F V F
Los enunciados a, c y e son proposiciones lógicas, ya que se les F V V V V V V
puede asignar un valor de verdad o falsedad.
F F F V V F F
Los enunciados b y d no son proposiciones lógicas.
` a, c y e son proposiciones lógicas. Tautología ` El esquema es tautológico.
2 Al construir la tabla de verdad de:
(p & +q) / +q 6 Sabiendo que (r & q) 0 +p es falso; halla los valores de verdad
El número de valores verdaderos en el operador principal es: de p, q y r.

Resolución: Resolución:
Elaboramos la tabla de verdad:
Se tiene:
p q (p & +q) / +q (r & q) 0 +p
V V V F F F F
V F V V V V V
F V F V F F F F
F F F V V V V 1
Para que (1) sea falso se debe cumplir:
` En el operador principal hay dos valores verdaderos.
F 0 F
3 Indica el valor de verdad de las siguientes proposiciones F
compuestas. Entonces:
I. 2 + 1 1 2 ó 2 # 4 = 23 (r & q) 0 +p
II. 33 = 27 y 49 - 3 1 47
2
III. Si 23 2 32; entonces 430 = 1.
F F
Resolución: F
Representamos simbólicamente los enunciados y le asignamos
Para que (2) sea falso se debe cumplir:
el valor de verdad.
I. p: 2 + 1 1 2 q: 2 # 4 = 23 Luego: p 0 q
F0V V &F
F V V F
Luego:
II. p: 33 = 27 q: 49 - 3 1 47 Luego: p / q
(r & q) 0 +p
V/V
V V V V F
F F (p = V)
III. p: 23 2 32 q: 430 = 1 Luego: p & q
F&V F ` p = V; q = F; r = V
F V
V
7 Sea el esquema molecular:
4 Determina el valor de verdad de los siguientes esquemas [(p & q) / q] T q
moleculares, si p = V; q = F y r = V. Indica si es tautológico, contradictorio o consistente.
I. (p 0 q) / r & (+p / +r) Resolución:
II. [p & (q / r)] & (+p 0 r)
Elaboramos la tabla de verdad:
Resolución: p q [(p & q) / q] T q
I. (p 0 q) / r & (+p / +r) II. [p & (q / r)] + (+p 0 r)
V V V V V V V F V
V F V F F V F V F V V F V F F F F F F
V F F V F V F V V V V F V
F F F V F F F F F
V F
Contradictorio
F F ` El esquema molecular es contradictorio.
 8 Halla la tabla de verdad del siguiente esquema molecular.
(p & q) + (+p 0 q)

Resolución:
Construimos la tabla de verdad y evaluamos el esquema molecular:
p q (p & q) + (+p 0 q)
V V V V V V F V V
V F V F F V F F F
F V F V V V V V V
F F F V F V V V F
Matriz principal

9 Se define el conectivo lógico a mediante la siguiente tabla de

verdad:
p q p α q
V V F
V F V
F V F
F F V
Evalúa el siguiente esquema molecular y da como respuesta los
valores de verdad de la matriz principal.
(+q α p) α +( p α q)

Resolución:
Elaboramos la tabla de verdad:
p q (+q α p) α + (p α q)
V V F F V F V V F V
V F V F V V F V V F
F V F V F F V F F V
F F V V F V F F V F

Matriz principal

10 Si (p / q) es verdadero y (q & t) es falso, ¿cuántas de las

siguientes proposiciones son verdaderas?
I. +[+(q / p) / p]
II. +(+p 0 t) 0 q
III. [+p 0 (q / +t)] + +(q & t)
Resolución:
Primero determinamos los valores de verdad de p, q y t.
Del enunciado:
p / q q & t

V F
Para que (p / q) sea verdadero, se debe cumplir:
p=V y q=V

Para que (q & t) sea falso, se debe cumplir:

q=V y t=F
Luego:
I. +[+(q / p) / p] II. +(+p 0 t) 0 q III. [+p 0 (q / +t)] + +(q & t)
+[+(V / V) / V] +(+(V) 0 F) 0 V [+(V) 0 (V / +(F))] + +(V & F)
+[+(V) / V] +(F 0 F) 0 V [F 0 (V / V)] + +(F)
+[F / V] +(F) 0 V [F 0 V] + V
+(F) V 0 V V+V
V V V
` Todas son verdaderas.