Tekstowe

Podstawowe informacje
Formalizacja z KRZ do języka naturalnego
• p∧q – p i q; p, a q; p, ale q (itd.)
• p∨q – p lub q
• p⊥q – albo p albo q
• p→q – jeżeli p, to q; jeśli p, to q; o ile p, to q; gdyby p, to q
• p≡q – wtedy i tylko wtedy, gdy p, to q; zawsze i tylko wtedy gdy p, to q
• p↓q – ani nie p, ani nie q
• Dysjunkcja nie pojawi się wam w zadaniach tekstowych.
Negacja
• Jeśli mamy w zdaniu „nieprawda, że” formalizujemy je na zdanie z
negacją
• „Nieprawda, że Ala ma kota” ~p
• Jeśli mamy w zdaniu „nie” również zapisujemy je jako zdanie z negacją
• „Ala nie ma kota.” ~p
• UWAGA: jeśli mamy zdanie z „ani nie p, ani nie q” tłumaczy je jako
binegację
• „Ani Ala nie ma kota, ani Karol nie lubi psów” p↓q
Negacja – koniunkcja i alternatywa zwykła
• Jeśli negacja stoi przed pierwszym argumentem uznajemy, że stosuje
się ją tylko do tego argumentu,
• „Nieprawda, że Ala ma kota, a Krzysiek chodzi do kina”. (~p ∧ q)
• UWAGA WYJĄTEK: Podmiot domyślny;
• „Nieprawda, że Ala ma kota i ma psa.” ~(p ∧ q)
• UWAGA WYJĄTEK: Dwie negacje obok siebie;
• „Nieprawda, że nieprawda, że Ala ma kota lub Kasia ma psa.” ~(~p v q)
• UWAGA WYJATEK: dwukropek po „nieprawda, że”
• „Nieprawda, że: Kasia ma psa, a Ala ma Kota.” ~(p ∧ q)
Negacja – implikacja, równoważność,
alterantywa rozłączna, dysjunkcja, binegacja
• Jeżeli negacja jest "wewnątrz" spójnika, to odnosi się tylko do
konkretnego argumentu.
• „Albo nieprawda, że Ala ma kota, albo Kasia ma psa. „ ~p ⊥ q
• Jeżeli negacja jest przed całym spójnikiem, to odnosi się do całego
zdania złożonego.
• „Nieprawda, że zawsze i tylko wtedy, gdy dużo się uczysz, to zaliczasz
egzaminy na 5.” ~(p ≡ q)
Alternatywa – lub to nie zawsze alternatywa
zwykła
• Kiedy dwa argumenty nie mogą być w tym samym czasie prawdziwe,
to mimo „lub” nie dajemy alternatywy zwykłej, tylko alternatywę
rozłączną
• „Paweł jest żonaty lub jest kawalerem.” p ⊥ q
• „Sąd orzeka karę pozbawienia wolności lub ułaskawia oskarżonego” p ⊥ q
Implikacja odwrotna
• Dodanie słowa „tylko” przed (nie po!) spójnikami "jeżeli” itp. zawsze
zmienia kierunek implikacji.
• „Tylko jeśli jest piękna pogoda (p), to gram w tenisa na wolnym powietrzu (q).”
q→p
• „Jeśli tylko będzie piękna pogoda (p), to będę grał w tenisa na wolnym
powietrzu (q).” p → q
• Jeśłi takie słowa jak „jeżeli” itp. pojawią się w środku zdania to
implikacja również jest odwrotna
• „Całe Gotham może odetchnąć z ulgą (p), o ile Bruce Wayne staje się
Batmanem (q).” q → p