... nelcia7751: Podać zaprzeczenia następujących wyrażeń a) Jeśli wprowadzimy komputery, to zatrudnimy mniej pracowników biurowych b) Jeśli firma przynosi większe zyski to pracownicy więcej zarabiają c) Nieprawda że ludzie nie mówią kłamst d) Każdy samochód ma właściciela e) Nie istnieje towar który nie znajdzie nabywcy

nelcia7751: ....

nelcia7751: wyrażenia kwantyfikatorowe

Dżon: a) ¬(p⇒q) ⇔ p & ¬q; wyjściowe zdanie przepisujemy: " (komputery) ⇒ (mniej pracowników)". Zaprzeczamy w/g wzoru: "(komputery)⇒(nie mniej pracowników)". Ubieramy w polszczyzną literacką: "Wprowadzenie komputerów nie zmniejszy ilości pracowników". b) analogicznie. c) ¬(¬p) ⇔p. Niech p oznacza zdanie "ludzie mówią kłamstwa" wtedy ¬p oznacza "ludzie nie mówią kłamstw a ¬(¬p) znowu "ludzie mówią kłamstwa" d) ¬(∀p: q ) ⇔ ∃ p: ¬q; wyjściowe zdanie przepisujemy: " ∀ samochodu : można znaleźc właściciela" Zaprzeczamy w/g wzoru: ∃ samochód: nie można znaleźć własciciela; zatem wynik: "istnieje taki samochód, który nie ma właściciela' e) zapis symboliczny: ¬(∃p: q) ⇔∀p: ¬q; zatem ¬(∃ towar: nie ma nabywcy) można zaprzeczyć: ∀towaru: jest nabywca; w polsczyźnie literackiej każdy towar znajdzie nabywcę, lub bardziej dosadnie: ludziom da się wcisnąć wszystko na sprzedaż