Universidad Nacional de Trujillo

Facultad de Ciencias Físicas y Matemáticas Estudios Generales

Departamento de Matemáticas Área: Ciencias Básicas y Tecnológicas
Curso: Desarrollo del Pensamiento Lógico- Matemático
Practica Dirigida N°1
Tema: Lógica de Predicados
1. Negar las siguientes proposiciones para el conjunto Z de números enteros:
(a) ∀x ∈ Z, x + 1 > x
(b) ∃x ∈ Z/ x 2 + 1 = 0
(c) ∃x ∈ Z/ x 2 = x
(d) ∀x ∈ Z, x 2 − 1 = 0.
2. Determinar el valor de verdad de cada una de las proposiciones dadas en el ítem
anterior
3. Negar las siguientes proposiciones:
(a) ∀x ∈ A, ∃y ∈ A/[p(x, y) → q(y)]
(b) ∃x ∈ A/∃y ∈ B/p(x) ∧ q(y)
(c) ∃x ∈ C/∀y ∈ B, p(x) ∨ [∼ q(y)]
4. Demostrar que: ∼ [∀x ∈ A, p(x) → q(x)] ≡ ∃x ∈ A/p(x)∧ ∼ q(x).
5. Si todos los científicos son filósofos es una proposición verdadera, ¿qué puede inferirse
acerca de la verdad o falsedad de las siguientes proposiciones?
a) Ningún no-filósofo es científico.
b) Algunos no-filósofos no son no-científicos.
c) Todos los no-científicos son no-filósofos.
d) Ningún científico es no-filósofo.
e) Ningún no-científico es no-filósofo.
f) Todos los filósofos son científicos.
g) Algunos no-filósofos son científicos.
h) Algunos no-filósofos son no-científicos.
i) Algunos científicos no son filósofos.
j) Ningún filósofo es no-científico.

6. Negar cada una de las proposiciones:

(a) ∀x ∈ A, ∃y ∈ B/∀z ∈ C, p(x, y, z)
(b) ∃x ∈ A/∃y ∈ B/[p(x) → q(x, y)]
(c) [∃y ∈ A/ ∼ p(y)] ∧ ∀x ∈ A, [q(x) ∨ r(x)]
(d) Todos los americanos están locos.
(e) Todos los hombres son honestos o algún hombre es un ladrón.
(f) Si el número x es menor que 12, entonces hay un número real y tal que
x 2 + y 2 − 144 es positivo.
7. Identificar los términos sujeto y predicado, e indicar la forma de cada una de las
proposiciones siguientes:
a) Todas las sustancias que tienen la facultad de dar coloración azul al papel rojo de tornasol
son ácidos.
b) Algunas obras de teatro escritas hacen más de dos mil años, son hoy en Eroadway un
resonado fracaso.
c) Algunos hombres que nunca trabajaron un solo día en toda su vida son prósperos
dirigentes de sindicatos obreros.
d) Ningún filósofo ha sido más sabio que los autores de la constitución.
e) Todos los veteranos son miembros o ex miembros del Ejército o la Marina, que
estuvieron en servicio activo durante la guerra.
f) Algunos hombres muy ricos son miembros del Senado de los Estados Unidos. Algunos
muebles agrietados y gastados, por los cuales hasta los comerciantes están dispuestos a
pagar grandes sumas de dinero, no son genuinas antigüedades.
g) Ningún ácido, con excepción del sulfúrico, es capaz de disolver el oro.
h) Algunas obras de arte de extraordinario valor son pinturas cuyos creadores las vendieron
por unos centavos.
i) Algunos dirigentes del gobierno y de la industria que han alcanzado el éxito y que tienen
una vasta instrucción no son graduados universitarios.
8. Refutar aquellos de los razonamientos siguientes que no sean válidos.

a) Ningún empleador es partidario de una legislación favorable al trabajo, pero todos los
partidarios de una legislación favorable al trabajo son verdaderos amigos de los
trabajadores; luego, ningún empleador es un verdadero amigo de los trabajadores.
b) Todas las bebidas que contienen alcohol son tóxicas y todas las bebidas que contienen
alcohol son estimulantes; luego, algunos tóxicos son estimulantes.
c) Algunas sociedades que tenían el tabú del incesto no fueron culturas dominadas por una
casta sacerdotal; luego, algunas civilizaciones antiguas no eran sociedades que tuvieran
el tabú del incesto, puesto que algunas civilizaciones antiguas no fueron culturas
dominadas por una casta sacerdotal.
d)Todos los buenos organizadores obreros son funcionarios de sindicatos;
luego, algunos funcionarios sindicales son personas subversivas, puesto que algunas
personas subversivas son buenos organizadores obreros.
e) Ningún radical declarado es un miembro ejecutivo del Departamento de Estado; por
consiguiente. algunos miembros ejecutivos del Departamento de Estado son personas
subversivas, puesto que algunas personas subversivas no son radicales declarados.
f) Ningún extraño es un visitante bien recibido entre los ozarks, porque ningún agente
impositivo es un visitante bien recibido entre los ozarks y algunos extraños son agentes
impositivos.
g) Ningún legislador responsable es un fanático histérico; luego, algunos senadores no son
fanáticos histéricos, puesto que algunos senadores son legisladores responsables.
h) Todos los veteranos de guerra son partidarios de la legislación sobre bonificaciones, pues
todos los partidarios de la legislación sobre bonificaciones son miembros de esta
organización y todos los miembros de esta organización son veteranos de guerra.
i) Todos los barcos que tienen una tripulación compuesta por menos de tres personas son
yates; luego, algunos yates no son trasatlánticos, pues ningún trasatlántico tiene una
tripulación de menos de tres personas.