ClubEnsayos.com - Ensayos de Calidad, Tareas y Monografias
Buscar

DEMOSTRACIÓN DE INFERENCIAS


Enviado por   •  31 de Mayo de 2012  •  491 Palabras (2 Páginas)  •  1.360 Visitas

Página 1 de 2

Parte A : Demostrar las siguientes inferencias

1. O esta roca es una roca ígnea o es una roca sedimentaria. Esta roca es granito. Si esta roca es granito entonces no es una roca sedimentaria. Por tanto, esta roca es una roca ígnea.

2. Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el coche de Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés. O Andrés dice la verdad o estaba en el edificio en el momento del crimen. El reloj está adelantado. Por tanto, Andrés estaba en el edificio en el momento del crimen.

Parte B

1. Demostrar: ~T

(1) P ® S

(2) P Ù Q

(3) (S Ù R) ® ~T

(4) Q ® R

2. Demostrar: S

(1) P ® (Q Ù R)

(2) P

(3) T ® ~Q

(4) T S

Parte C

1. Demostrar: y > z

(1) x = y ® x = z

(2) x ¹ y ® x < z

(3) x < z v y > z

(4) y ¹ z Ù x ¹ z

2. Demostrar: x < 5

(1) x < y x = y

(2) x = y ® y ¹ 5

(3) (x < y Ù y = 5)® x < 5

(4) y = 5

3. Demostrar: ~(y > 7 x = y)

(1) x < 6

(2) (y > 7 x = y ) ® ~(y = 4 Ù x < y)

(3) y ¹ 4 ® x < 6

(4) x < 6 ® x < y

4. Demostrar: x > 6

(1) x > 5 ® (x = 6 x > 6)

(2) (x ¹ 5 Ù x < 5) ® x > 5

(3) x < 5 ® x ¹ 3 + 4

(4) x = 3 + 4 Ù x ¹ 6

(5) x = 3 + 4 ® x ¹ 5

Parte D

1. Demostrar: ~T ~P

(1) ~S ~R

(2) ~R ® ~T

(3) ~S ® P

(4) ~P

2. 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

4. Demostrar: x2 = 4 x2 = 9

(1) 2x2 – 10 x + 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 – 10 x + 12 = 0 ® x2 – 5 x + 6 = 0

5. Demostrar: x = 4

(1) x = 5 x < y

(2) (x > 3 z < 2) ® (z < x y = 1)

(3) x < y ® z < 2

(4) x = 5 ® x > 3

(5) z < x ® x = 4

(6) y = 1 ® ~ (x > 3 z < 2)

Parte E

1. Demostrar: S Ù R

(1) (R Ù S) P

(2) Q ® ~P

(3) T ® ~P

(4) Q T

...

Descargar como (para miembros actualizados) txt (2 Kb)
Leer 1 página más »
Disponible sólo en Clubensayos.com