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.

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. entonces 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 < 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.doc . Demostrar las siguientes inferencias: 2. Fidel Alejandro Vera Obeso EXAMEN 2 Instrucción 1. un objeto flotará en el agua sí y sólo sí es menos denso que el agua. entonces el objeto flotará en el agua. Por tanto.UNIVERSIDAD NACIONAL DEL SANTA FACULTAD DE CIENCIAS DEPARTAMENTO DE MATEMATICAS EDUCACION PRIMARIA LOGICA Mg. 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. un líquido es un ácido 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. 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: 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. Por tanto. 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. entonces puede desplazar una cantidad de agua igual a su propio peso. 8. Pero no se puede caminar sobre el agua.

doc . 5. INICIAL Lógica Mg. Se puede desplazar una cantidad de agua igual a su propio peso. Si un objeto es menos denso que el agua. entonces puede desplazar una cantidad de agua igual a su propio peso. Demostrar las siguientes inferencias: 2. 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. Fidel Alejandro Vera Obeso EXAMEN 1 Instrucción 1. 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. /var/www/apps/conversion/current/tmp/scratch1990/97532180. entonces el objeto flotará en el agua. entonces se puede caminar sobre el agua. 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.

Sign up to vote on this title
UsefulNot useful