prawo transpozycji - omówienie

Prawo transpozycji:
(p  q)  (-p  -q)
Jeżeli p to q, to jeżeli nie p to nie q (np. Jeżeli Jasiu je, to mlaska. Jeżeli Jasiu nie je, to nie mlaska)
Ten typ rozumowań powoduje, iż mamy możliwość prowadzenia tzw. rachunków zdań.
Istnieje również prawo kontrapozycji (np. Każdy student się uczy. Nie każdy student się uczy-kontrapozycja)
Do tych dwóch powyższych praw możemy zastosować również wnioskowania dedukcyjne.
... zobacz całą notatkę