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


Z reguły (Δ) podstawmy pq za p i r za q otrzymujemy regułę



Pobieranie 0,96 Mb.
Strona4/9
Data30.05.2018
Rozmiar0,96 Mb.
1   2   3   4   5   6   7   8   9
Z reguły (Δ) podstawmy pq za p i r za q otrzymujemy regułę



(ΔΔ)
Ponieważ zdanie ~(pq)p~q więc z reguły (ΔΔ) otrzymujemy regułę (□)



(□)

Regułę (□) stosujemy gdy twierdzenie, które mamy udowodnić na postać implikacji pq. Zakładamy wówczas, że prawdziwe jest zdanie p~q i staramy się wywnioskować sprzeczność. Wtedy uznajemy prawdziwość zdania pq.



Do dowodów apagogicznych zaliczmy także dowody oparte na regułach:

; - dowody niewprost


i również dowody oparte na prawie kontrapozycji: (pq)(~q~p).


ZBIORY

xA – x należy do A



xA – x nie jest elementem zbioru A


1   2   3   4   5   6   7   8   9


©operacji.org 2019
wyślij wiadomość

    Strona główna