Clase del 12/04

(ESTO VA HOJA A PARTE PARA QUE PUEDAN TENER DURANTE EL EXAMEN)

Reglas de Inferencia

1) Modus Ponens (M.P.)

1_ P --> Q

2_ P .: Q

2) Modus Tollens (M.T.)

1_ P --> Q

2_ ~Q .: ~P

3) Silogismo Hipotético (S.H.)

1_ P --> Q

2_ Q --> R .: P --> R

4) Silogismo Disyuntivo (S.D.)

1_ P v Q

2_ ~P .: Q

5) Dilema Constructivo (D.C.)

1_ (P --> Q) . (R --> S)

2_ P v R .: Q v S

6) Absorción (Abs)

1_ P --> Q .: P --> (P . Q)

7) Simplificación (Simp)

1_ P . Q .: P

8) Conjunción (Conj)

1_ P

2_ Q .: P . Q

9) Adición (Ad)

1_ P .: P v Q

(ESTO VA EN LA CARPETA)

Reglas de Inferencia

1) Si hago las cosas bien entonces me aumentan el sueldo, pero si me aumentan, trabajo más. Si empiezo a buscar trabajo, trabajo más. Hago las cosas bien o empiezo a buscar trabajo. Por lo tanto, me aumentan o trabajo más.

1_ (B --> A) . (A --> M)

2_ (T --> M)

3_ (B v T) . : (A v M)

____________________________________

4_ B --> A 1 Simp

5_ (B --> A) . ( T --> M) 4, 2 Conj

6_ A v M 5, 3 D.C.

• Justificar

1_ A . B

2_ (A v C) --> D . : A . D

__________________________

3_ A

4_ A v C

5_ D

6_ A . D