Guı́a 2.

Fundamentos de matemáticas
Universidad de Nariño - Licenciatura en Matemáticas
Profesor: Germán Arturo Marcillo Hernández.(MSc)
1. En este ejercicio los sı́mbolos de predicado tienen los ignificados que se indican. Se pide expresar en
lenguaje usual los enunciados expresados simbolicamente y establecer el valor de verdad de la afirma-
ción resultante. El dominio es el conjunto de los enteros excepto el cero.

M (x, y) = x es menor que y

N (x, y) = x es mayor que y
I(x, y) = x es igual a y
D(x, y) = x es divisor de y
P (x) = x es un número primo

a) ∀x∃yM (x, y)
b) ∃x∀yD(y, x)
c) ∀x∃yD(y, x)
d ) ∀x [P (x) ⇒ ∀y (D(y, x) ⇒ {I(y, 1) ∨ I(y, x)})]
e) ∀x∀y (M (x, y) ⇔ N (x, y))
2. Establezca el valor de verdad de la expresión A, para la interpretación considerada:
D = el conjunto de los números enteros; N (x, y) = x es mayor que y, M (x, y) = x es menor que y
A : ∃x [N (x, 0) ∧ ∀y {N (x, y) ⇒ M (y, 0)}]
3. Represente simbólicamente en el cálculo de predicados los enunciados siguientes; indique el dominio.
a) Todos los gatos tienen cola
b) Todos los empleados tienen un supervisor.
c) Un número que sea divisible por 3 y sea distinto de 3 no puede ser primo.
d ) No existen números naturales no negativos.
e) Los leones son predadores.
f ) Algunos leones viven en zoológicos.
g) Algunas personas comen sólo vegetales.
4. Escriba la negación de la expresión dada, tanto en lenguaje usual, como en forma sombólica:

a) A algunas personas les gustan las matemáticas.

b) Todos quieren helado de caramelo.
c) Algunos libros están mutilados o inservibles.
d ) Cada viajero que llega al exterior es entrevistado por algun agente de inmigración.
e) Nada es bueno, si se puede hacer mejor.
5. Respresente simbolicamente cada razonamiento y demuestre su validez por reglas de inferencia, de
particularización y generalización.
a) El opuesto de cada número racional es a su vez racional. Además, la suma de racionales es racional.
Se sabe que z es racional y que w no lo es. Por lo tanto, la suma de z con w no es racional.
b) Existen Diplomáticos expertos en Arte y graduados en Leyes. Solamente los arTistas o los Crı́ticos
son expertos en arte. Los diplomáticos nunca son crı́ticos de arte. Además, ningún artista que sea

1
 graduado en leyes se desempeña Irresponsablemente. En consecuencia, hay diplomáticosque no se
desempeñan irresponsablemente. (D(x), A(x), L(x), T (x), C(x), I(x))
6. Demuestre por método directo o indirecto
a) Si n es impar, entonces n3 es impar.
b) Si a y b son impares, entonces ab es impar.
c) Si a |b y a |c , entonces a |(b + c) .
d ) Si n es un número entero, entonces n2 + 3n + 4 es par. (reducción al absurdo)
e) Si n y m son enteros tales que n + n2 + n3 = m + m2 , entonces n es par (reducción al absurdo)