Clase del 04/05

Trabajo práctico evaluativo

1) Demostrar la validez por medio del condicional asociado.

a) 

1_ (P v Q) --> R

2_ R --> (P v Q)  .:  ~(P v Q) --> ~(P v Q)

b)
1_ A --> (B --> C)
2_ B  .:  ~C v B

2) Construir una prueba formal de validez para:

a)
1_ F --> ~G
2_ ~F --> (H --> ~G)
3_ (~I v ~H) --> ~~G
4_ ~I  .: ~H

b)
1_ (N v O) --> P
2_ (P v Q) --> R
3_ Q v N
4_ ~Q  .:  R

3) Enunciar la justificación de:

a)
1_ I --> J
2_ I v (~~K . ~~I)
3_ L --> ~K
4_ ~ (I . J)  .:  ~L v ~J
_________________________
5_ I --> (I . J)
6_ ~I
7_ ~~K . ~~I
8_ ~~K
9_ ~L
10_ ~L v ~ J

b)
1_ (L --> M) --> (N <--> O)
2_ (P --> ~Q) --> (M <--> ~Q)
3_ {[(P --> ~Q) v (R <--> S)] . (N v O)} --> [(R <--> S) --> (L --> M)]
4_ (P --> ~Q) v (R <--> S)
5_ N v O  .:  (M <--> ~Q) v (N <--> O)
_______________________________________________________________________________
6_ [(P --> ~Q) v (R <--> S)] . (N v O)
7_ (R <--> S) --> (L --> M)
8_ (R <--> S) --> (N <--> O)
9_ [(P --> ~Q) --> (M <--> ~Q)] . [(R <--> S) --> (N <--> O)]
10_ (M <--> ~Q) v (N <--> O)

4) Demostrar la validez de:

Si compro dos, entonces recupero la inversión. Si compro dos y recupero la inversión, entonces podré comenzar el negocio. Si comprar dos implica poder comenzar el negocio, entonces no tendré suficiente tiempo libre. Tengo suficiente tiempo libre o espero al año siguiente. Finalmente, esperaré al año siguiente.