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


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



Pobieranie 370.5 Kb.
Strona4/9
Data30.05.2018
Rozmiar370.5 Kb.
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

Pobieranie 370.5 Kb.

Share with your friends:
1   2   3   4   5   6   7   8   9




©operacji.org 2020
wyślij wiadomość

    Strona główna