Pc1 solucionario fundamento de cálculo

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