Talentum
Fundamentos de cálculo
FUNDAMENTOS DE CÁLCULO Práctica calificada 1 01. Sean p, q, r, s, t y w proposiciones lógicas, si la proposición: es verdadera es falsa determinar el valor de verdad de las siguientes proposiciones. a) b) c) Resolución Como: v
entonces de donde:
v
Como: reemplazando los valores de verdad encontrados
entonces de donde:
v
a)
ˆ b)
ˆ c)
ˆ 02. Si
se define por la tabla:
y si
San Miguel G 719-8151
p
q
V V F F
V F V F
V V F V
es falso, determinar el valor de verdad de:
1
Av. Elmer Faucett 255
Talentum
Fundamentos de cálculo
a) b) c) Resolución De la tabla se deduce que: de donde: Como reemplazando el equivalente de
de donde:
v
v
v
a) ˆ b)
ˆ c)
ˆ 03. Dado
y las siguientes proposiciones:
Hallar el valor de verdad de: si Resolución
de donde
de donde
San Miguel G 719-8151
2
Av. Elmer Faucett 255
Talentum
Fundamentos de cálculo
de donde
Sea
de donde
reemplazando el equivalente:
reemplazando los valores de verdad encontrados
ˆ 04. En el universo
, de todos los libros, considere los siguientes predicados:
,
.
Traducir los siguientes enunciados del lenguaje de lógica formal al lenguaje verbal coloquial sin negar proposiciones compuestas y sin usar condicionales. a) b) c) Resolución a)
ˆ b)
ˆ c)
ˆ
San Miguel G 719-8151
3
Av. Elmer Faucett 255
Talentum
Fundamentos de cálculo
05. De las siguientes premisas: “Si un pato no es vertebrado, entonces hay patos sin plumas. Todos los patos tienen plumas". ¿Podemos concluir que los patos son vertebrados? Resolución Sea conjunto de patos
“un pato no es vertebrado” Sea
“hay patos sin plumas” Sea
La premisa: “Si un pato no es vertebrado, entonces hay patos sin plumas. Todos los patos tienen plumas", es Significa v como entonces v v entonces Por lo que podemos concluir que:
“Todos los patos son vertebrados”
San Miguel G 719-8151
4
Av. Elmer Faucett 255