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 .

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

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

Sign up to vote on this title
UsefulNot useful