UNIVERSIDAD NACIONAL DEL SANTA FACULTAD DE CIENCIAS DEPARTAMENTO DE MATEMATICAS

EDUC. PRIMARIA Lógica Mg. Fidel Alejandro Vera Obeso

PRÁCTICA SOBRE DEMOSTRACIÓN DE INFERENCIAS
Instrucción 1. Demostrar las siguientes inferencias: 2. Demostrar: ¬ R (1) S ∨ ¬ R (2) T →¬ S (3) T 4. Demostrar: x < 5 (1) x < y ∨ x = y (2) x = y → y ≠ 5 (3) (x < y ∧ y = 5) → x < 5 (4) y = 5

Demostrar: ¬ T (1) P → S (2) P ∧Q (3) (S ∧R) →¬ T (4) Q → R Demostrar: y > z (1) x = y → x = z (2) x ≠ y → x < z (3) ¬ ( x < z) ∨ y > z (4) y ≠ z ∧ x ≠ z

3.

5.

Demostrar: tg α ≠ 0.577 (1) tg α = 0.577→ (sen α = 0.500 ∧cos α = 0.866) (2) sen α = 0.500 ∧cos α = 0.866) → ctg α = 1.732 (3) sec α = 1.154 ∨ ctg α ≠ 1.732 (4) Sec α ≠ 1.154 Demostrar: x > 6 (1) x > 5 → (x = 6 (2)

6.

[

x ≠ 5 ∧ ¬ (x < 5)

x > 6)

] →x > 5
8. Demostrar: x2 = 4 ∨ x2 = 9 (1) 2x2 – 10x + 12 = 0 ∧ x < 4 (2) x2 – 5 x + 6 = 0 → (x = 2 ∨ x = 3) (3) x = 2 → x2 = 4 (4) x = 3 → x2 = 9 (5) 2x2 – 10x + 12 = 0→ x2 – 5x + 6 = 0

(3) x < 5 → x ≠ 3 + 4 (4) x = 3 + 4 ∧x ≠ 6 (5) x = 3 + 4 → x ≠ 5 7. Demostrar: y < 12 ∨ x < 0 (1) x < y ∨ y < x (2) y < x → x > 6 (3) x > y → x < 7 (4) (x > 6 ∨ x < 7) →¬ ( y > 11) (5) y > 11 ∨ x < 0

9.

Demostrar: x = 4 10. Demostrar: x < 6 (1) x = 5 ∨ x < y (1) x > y ∨ x < 6 ∨ z < 2) → (z < x ∨ y = 1) (2) (x > 3 (2) x > y → x > 4 (3) x < y → z < 2 (3) x > 4 → (x = 5 ∧x < 7) (4) x = 5 → x > 3 (4) x < 6 → (x = 5 ∧x < 7) (5) z < x → x = 4 (5) (x < 7 ∧x = 5) → (z > x ∨ y < z) (6) y = 1 → ¬ (x > 3 ∨ z < 2) (6) x > y → ¬ (y < z ∨ z > x)

/var/www/apps/conversion/current/tmp/scratch1990/97532180.doc

/var/www/apps/conversion/current/tmp/scratch1990/97532180.doc .

8. un líquido es un ácido sí y sólo sí contiene iones de hidrógeno libres.UNIVERSIDAD NACIONAL DEL SANTA FACULTAD DE CIENCIAS DEPARTAMENTO DE MATEMATICAS EDUCACION PRIMARIA LOGICA Mg. Si un objeto es menos denso que el agua. /var/www/apps/conversion/current/tmp/scratch1990/97532180. Demostrar: ~ (x < y ∧x = 1) (1) x = y → x < y (2) y = 0 → x < y (3) (x = 0 v xy = 0) → y = 0 (4) (x = y → y = 0) → x = 0 7. Demostrar las siguientes inferencias: 2. Demostrar: x < 6 (1) x > y v x < 6 (2) x > y → x > 4 (3) x > 4 → (x = 5 ∧x < 7) (4) x < 6 → (x = 5 ∧x < 7) (5) (x < 7 ∧x = 5) → (z > x v y < z) (6) x > y → ~ (y < z v z > x) 5. Por tanto. entonces el objeto flotará en el agua. Pero no se puede caminar sobre el agua. Demostrar: ~ (x = y v y > 1) (1) y ≠ 1 ∧y < 1 (2) y > 1 → (y < 1 v y = 1) (3) x = 3 v x > 3 (4) x > 3 → x ≠ y (5) x = 3 → x ≠ y 6. Un líquido colorea de azul el papel de tornasol rojo sí y sólo sí contiene iones de hidrógeno libres. entonces se puede caminar sobre el agua. Demostrar: x2 = 4 v x2 = 9 (1) 2x2 – 10 x + 12 = 0 ∧x < 4 (2) x2 – 5 x + 6 = 0 → (x = 2 v x = 3) (3) x = 2 → x2 = 4 (4) x = 3 → x2 = 9 (5) 2x2 – 10 x + 12= 0 → x2 – 5 x + 6=0 Demostrar: y < 12 v x < 0 (1) x < y v y < x (2) y < x → x > 6 (3) x < y → x < 7 (4) (x > 6 v x < 7) → y > 11 (5) y > 11 v x < 0 3. Se puede desplazar una cantidad de agua igual a su propio peso.doc . Demostrar: x = 4 (1) x = 5 v x < y (2) (x > 3 v z < 2) → (z < x v y = 1) (3) x < y → z < 2 (4) x = 5 → x > 3 (5) z < x → x = 4 (6) y = 1 → ~ (x > 3 v z < 2) 4. Fidel Alejandro Vera Obeso EXAMEN 2 Instrucción 1. Por tanto. Un líquido es un ácido sí y sólo sí colorea de azul el papel de tornasol rojo. Si no ocurre que si un objeto flota en el agua entonces es menos denso que el agua. entonces puede desplazar una cantidad de agua igual a su propio peso. un objeto flotará en el agua sí y sólo sí es menos denso que el agua.

entonces se puede caminar sobre el agua. Demostrar las siguientes inferencias: 2. /var/www/apps/conversion/current/tmp/scratch1990/97532180. un objeto flotará en el agua sí y sólo sí es menos denso que el agua. Se puede desplazar una cantidad de agua igual a su propio peso.doc . Demostrar: ¬ R (1) S ∨ ¬ R (2) T →¬ S (3) T 4. Por tanto. entonces el objeto flotará en el agua. Pero no se puede caminar sobre el agua. Demostrar: x < 5 (1) x < y ∨ x = y (2) x = y → y ≠ 5 (3) (x < y ∧ y = 5) → x < 5 (4) y = 5 Demostrar: ¬ T (1) P → S (2) P ∧Q (3) (S ∧R) →¬ T (4) Q → R Demostrar: y > z (1) x = y → x = z (2) x ≠ y → x < z (3) ¬ ( x < z) ∨ y > z (4) y ≠ z ∧ x ≠ z 3. INICIAL Lógica Mg. entonces puede desplazar una cantidad de agua igual a su propio peso. Si un objeto es menos denso que el agua. 5. Si no ocurre que si un objeto flota en el agua entonces es menos denso que el agua. Fidel Alejandro Vera Obeso EXAMEN 1 Instrucción 1.UNIVERSIDAD NACIONAL DEL SANTA FACULTAD DE CIENCIAS DEPARTAMENTO DE MATEMATICAS EDUC.