3784501286

K - konieczność    Kp    K~p

M - możliwość    Mp    M~p

Kp - konieczne, że „p”

K~p - konieczne, że nieprawda, że „p”

(stylizacja DRE <-> stylizacja DEDICTUM)

DRE    -    DEDICTUM

•    „Jan musi ożenić się z Ewą” - „Konieczne, że Jan ożeni się z Ewą” - Kp

•    „Jutro może nastąpić koniec świata” - „Możliwe, że jutro nastąpi koniec świata” - Mp

•    „Nieprawda, że Jan musi zdać egzamin” - „Nieprawda, że konieczne, że Jan zda egzamin” - ~Kp

•    „Jan nie może być jednocześnie posłem i senatorem” - „Nieprawda, że Jan może być jednocześnie posłem i senatorem” - Nieprawda, że możliwe, że Jan jest jednocześnie posłem i senatorem - ~Mp

Stylizacja DRE i DEDICTUM

Kwadrat logiczny dla zdań modalnych

Katalog podstawowych twierdzeń logiki modalnej

Kp -> Mp 1

•    Język potoczny - możliwość: „może być tak że pójdę do kina i możliwe, że nie pójdę do kina

•    W logice modalnej możliwość jest dwustronna: możliwe że „p” - i tylko o tym myślę.

•    Po przekątnej - odmienna wartość logiczna.

Zadanie 1

Przeprowadź wnioskowanie z kwadratu logicznego przyjmując jako przesłankę, że... (np. prawdziwe jest zdanie „...”).

•    „Każde zdanie musi mieć swoją przyczynę”

•    Konieczne, że każde zdanie ma swoją przyczynę.

16