Matematyczne podstawy informatyki



Pobieranie 3.9 Mb.
Strona34/45
Data28.10.2017
Rozmiar3.9 Mb.
1   ...   30   31   32   33   34   35   36   37   ...   45


Tautologie są to zdania zawsze prawdziwe, czyli zdania, które przy dowolnym wartościowaniu składowych będą prawdziwe. Okazuje się, że pomiędzy wypisanymi powyżej parami formuł równoważnych a tautologiami istnieje prosty związek. Jeżeli dwie formuły równoważne połączymy funktorem równoważności wówczas zawsze otrzymujemy tautologię. W ten sposób otrzymujemy metodę do sprawdzania, czy dwie formuły są równoważne.
Zadanie 1.7. Udowodnić przy użyciu tabel prawdziwościowych powyżej wypisane równoważności sformułowane bez kwantyfikatorów.
Podobne związki można sformułować w przypadku, gdy jedna z formuł jest konsekwencją drugiej. Wówczas łącząc te formuły funktorem implikacji także otrzymamy formułę tautologiczną.
Zadanie 1.8. Podać naturalne przykłady pokazujące, że wskazane przykłady konsekwencji nie mogą być wzmocnione do równoważności.

      1. Pobieranie 3.9 Mb.

        Share with your friends:
1   ...   30   31   32   33   34   35   36   37   ...   45




©operacji.org 2020
wyślij wiadomość

    Strona główna