Free Printable Lógica Proposicional y de Predicados

1.

Un argumento está formado por un conjunto de una o más proposiciones de tipo:

a)

Exclamativo

b)

Interrogativo

c)

Declarativo

d)

Imperativo

2.

La determinación de lo correcto o no de un argumento, como se entiende en lógica matemática, depende de:

a)

La forma en que se relacionan las proposiciones presentes en el argumento.

b)

El significado de cada proposición presente en el argumento.

c)

La forma en que se relacionan y el significado de las proposiciones presentes en el argumento.

d)

Ni de la forma ni del significado de las proposiciones presentes en el argumento.

3.

¿Cuáles características cumple una proposición de la lógica proposicional?

a)

Ser una oración imperativa.

b)

Ser falsa en un contexto particular.

c)

Ser verdadera en un contexto particular.

d)

Ser una oración declarativa.

4.

¿Cuáles de las siguientes proposiciones son verdaderas o falsas?

a)

El perro es un animal cuadrúpedo.

b)

Existió la isla llamada Atlántida.

c)

La suma entre 3 y 5 es igual a 9.

d)

La Universidad del Valle tiene 12 sedes.

5.

¿Es correcto decir que el conector usado en la proposición: "Los pingüinos son aves si y solo si vuelan" es el de conjunción?

a)

No. El conector correcto es el de disyunción.

b)

Sí. El conector es evidentemente el de conjunción.

c)

No. El conector correcto es el de implicación.

d)

No. El conector correcto es el de doble implicación.

6.

Elija los conectores que pueden ser reescritos usando solo símbolos de negación, disyunción y conjunción:

a)

$\vee$

b)

$\Longrightarrow$

c)

$\wedge$

d)

$\Longleftrightarrow$

7.

Elija cuáles de las siguientes fórmulas proposicionales no están bien formadas (puede obviar o no los paréntesis superfluos):

a)

$\left(p\wedge q\right)r$

b)

$p\wedge\left(\sim r\wedge s\right)\Longrightarrow q$

c)

$p\Longrightarrow\left(\sim q\Longrightarrow\left(r\vee\right)s\right)$

d)

$\left(\sim p\vee q\right)\Longleftrightarrow\left(q\Longrightarrow r\right)$

8.

El valor de verdad de la proposición

\left(p\Longrightarrow q\right)\Longleftrightarrow\left(\sim p\vee q\right)

para la interpretación

p=V

y

q=F

es:

a)

Verdadera.

b)

Falsa.

9.

Los predicados son enunciados que contienen variables que se relacionan según su estructura interna. Atendiendo a lo anterior, seleccione entre los siguientes enunciados aquel o aquellos que no sean predicados:

a)

El número entero 322 es impar.

b)

Todo número entero par es impar.

c)

Ningún número entero es par.

d)

Algún número entero no es primo.

10.

El predicado que simboliza correctamente al enunciado "ningún elefante es a la vez pesado y rosado", es:

a)

$\exists e\left(P\left(e\right)\wedge\sim R\left(e\right)\right)$

b)

$\exists e\left(R\left(e\right)\wedge P\left(e\right)\right)$

c)

\sim\exists e\left(R\left(e\right)\wedge P\left(e\right)\right)

d)

$\sim\exists e\left(R\left(e\right)\wedge\sim P\left(e\right)\right)$

Lógica Proposicional y de Predicados

Total questions: 10

Worksheet time: 20mins

Similar Resources on Wayground