10 cze 22:14
ite:
1/ Dowód tych praw ma pokazywać, że są prawdziwe dla dowolnych zbiorów. Z załączonego zapisu to
nie wynika.
Dlatego dowód powinien się rozpoczynać od zapisu, że x jest dowolnym elementem. Albo od
kwantyfikatora ogólnego.
2/ Wtedy zyskujemy jeszcze to, że poszczególne przekształcenia (te między znakami
równoważności) stają się zdaniami logicznymi i można do nich zastosować prawa de Morgana dla
zdań.
3/ Te zapisy dotyczące zdań p i q nie są potrzebne w ciągu przekształceń, lepiej dodać
komentarz: korzystam z praw de Morgana dla zdań.
11 cze 13:04