Proyecto Genoma Humano

Ejemplos de Deducciones

1)

C ∧ P………………….H1 P → ( E ∨ L )…………..H2 E → ¬ C……………….H3 ∴ L

1) 2) 3) 4) 5) 6) 7) 8) 9)

C ∧ P…………………. H1 C ∧ P → P ………. TB4 C ∧ P → C……..…. TB4 P…………………………MP(1,2) C………………………… MP(1,2) P→( E ∨ L )…………. H2 E ∨ L……………………. MP(3,5) ¬ E ∨ ¬ C .……….. E H3 ¬ E …………………….. D(7,4) L ……………………..…. D(6,8)

2)

P ∨ Q .................................... H1 Q→ R ................................. H2 ¬ R .................................. H3 ∴ P

1) 2) 3) 4) 5)

¬ Q ∨ R ................................. E H2 ¬ R......................................... H3 ¬ Q ......................................... D (1,2) P ∨ Q ...................................... H1 P ............................................. D (4,3)

3)

E ↔ T................................. H1 T → D ................................. H2 D → F .................................. H3 ∴ E → F

1) 2) 3) 4) 5) 6) 7)

(E→T) ∧ (T→E).......................................... H1 [ (E→T) ∧ (T→E)]→(E→T) ........................ TB4 E→T........................................................... MP (1,2) T→D.......................................................... H2 E→D .......................................................... S (3,4) D→F .......................................................... H3E→F........................................................... S (5,6)

1


OPCION II 1) ,2), 3) 4), 5) iguales a la opción I 6) ¬T→ ¬F ................................................................ S (1,2) 7) T∨¬F...................................................................... E 6) 8) T ............................................................................. D (7,5)

OPCION III 1) ,2), 3) 4), 5) iguales a laopción I 6) F→ ¬H ................................................................... E 2) 7) ¬H .......................................................................... MP (6,5) 8) ¬H →...