Logika formalna – nauka badająca poprawność rozwiązań



Pobieranie 0,96 Mb.
Strona2/9
Data30.05.2018
Rozmiar0,96 Mb.
1   2   3   4   5   6   7   8   9

  1. – reguła odrywania dla implikacji




  1. – reguła odrywania dla równoważności



3. 4.


5. – reguła Dunsa Scotusa





  1. reguła Claviusa





1   2   3   4   5   6   7   8   9


©operacji.org 2019
wyślij wiadomość

    Strona główna