Treść zadania

1) Podać dowód założeniowy następującej formuły :



[(p^p)->(q->r)]-> [(p->q) -> (p -> r) ] (r podkreślone dwa razy)



1.

2.

...

12.





2) Sprawdź metodą 0-1 następującą formułę:

[ ( p ^ q ) -> ( p -> q ) ] /\ ~ ( p -> q )

1 1 1 1 1 1

1 0 1 0 1 0

0 1 0 1 0 1

0 0 0 0 0 0