UNIVERSIDAD NACIONAL DE COLOMBIA

DEPARTAMENTO DE MATEMÁTICAS
TALLER 3 LÓGICA MATEMÁTICA- I 2013

Profesor: Pedro Zambrano

1. Hacer ejercicio 2.2.1 (pg. 18) libro de Srivastava.

2. Hacer ejercicio 2.2.2 (pg. 18) libro de Srivastava.

3. Hacer ejercicio 2.2.3 (pg. 19) libro de Srivastava.

4. Considere el lenguaje L := {a, b, f 2 , g 2 , R2 } donde a, b son sı́mbolos de constante,

f, g son sı́mbolos de función de aridad 2 y R es sı́mbolo de relación de aridad 2.
Sea M := (R, aM , bM , f M , g M , RM ) la estructura definida por aM := 0, bM := 1,
f M (x, y) := x + y − 1, g M (x, y) := x · y + 1 y xRM y si y sólo si xy > 0, para todo
x, y ∈ R.

(a) Determine justificando su respuesta:

i. g(f (a, b), i5 )M
ii. f (g(a, b), f (iπ , i√2 ))M .
(b) Determine si las siguientes fórmulas son válidas en M, justificando su res-
puesta:
i. R(f (iπ , i−π+1 ), i6 ).
ii. ∀x∃y(f (x, y) = a).
iii. ∀x∃y(g(x, y) = b).
iv. ∀x∀y∀z(R(x, y) → R(f (x, z), f (y, z))).