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 .

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

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

Sign up to vote on this title
UsefulNot useful