Clase del 13/04

• Resolver con las Reglas de Inferencia.

1)

1_ A --> B

2_ B --> C

3_ C --> D

4_ ~D

5_ A v E .: E

___________________

6_ A --> C

7_ A --> D

8_ ~A

9_ E

2)

1_ (E v F) . (G v H)

2_ (E --> G) . (F --> H)

3_ ~G .: H

________________________

4_ E v F

5_ G v H

6_ H

3)

1_ I --> J

2_ J --> K

3_ L --> M

4_ I v L .: K v M

________________________

5_ I --> K

6_ (I --> K) . (L --> M)

7_ K v M

4)

1_ N --> O 

2_ (N . O) --> P

3_ ~(N . P) .: ~N

________________________

4_ N --> (N . O)

5_ N --> P

6_ N --> (N . P)

7_ ~N

5)

1_ Q --> R

2_ ~S --> (T --> U)

3_ S v (Q v T)

4_ ~S .: R v U

___________________________

5_ T --> U

6_ (Q --> R) . (T --> U)

7_ Q v T

8_ R v U