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

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

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. 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: 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. entonces el objeto flotará en el agua. 8. Un líquido colorea de azul el papel de tornasol rojo sí y sólo sí contiene iones de hidrógeno libres. Un líquido es un ácido sí y sólo sí colorea de azul el papel de tornasol rojo. entonces se puede caminar sobre el agua. un objeto flotará en el agua sí y sólo sí es menos denso que el agua. Pero no se puede caminar sobre el agua. un líquido es un ácido sí y sólo sí contiene iones de hidrógeno libres. 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. /var/www/apps/conversion/current/tmp/scratch1990/97532180. Si no ocurre que si un objeto flota en el agua entonces es menos denso que el agua. Por tanto. Demostrar las siguientes inferencias: 2. Fidel Alejandro Vera Obeso EXAMEN 2 Instrucción 1. 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. Si un objeto es menos denso que el agua.doc . Se puede desplazar una cantidad de agua igual a su propio peso. entonces puede desplazar una cantidad de agua igual a su propio peso.UNIVERSIDAD NACIONAL DEL SANTA FACULTAD DE CIENCIAS DEPARTAMENTO DE MATEMATICAS EDUCACION PRIMARIA LOGICA Mg.

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. 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. Se puede desplazar una cantidad de agua igual a su propio peso. entonces el objeto flotará en el agua. /var/www/apps/conversion/current/tmp/scratch1990/97532180. Si un objeto es menos denso que el agua. INICIAL Lógica Mg. entonces puede desplazar una cantidad de agua igual a su propio peso. entonces se puede caminar sobre el agua. Pero no se puede caminar sobre el agua.doc . 5. Demostrar: ¬ R (1) S ∨ ¬ R (2) T →¬ S (3) T 4. un objeto flotará en el agua sí y sólo sí es menos denso que el agua.UNIVERSIDAD NACIONAL DEL SANTA FACULTAD DE CIENCIAS DEPARTAMENTO DE MATEMATICAS EDUC. Demostrar las siguientes inferencias: 2. Por tanto.

Sign up to vote on this title
UsefulNot useful