"sxpx" - 1 õppematerjal

Loogika konspekt

x (Sx Px); ¬x (Sx & ¬Px). Üldeitavad laused saadakse rakendades üldisuskvantorit predikaadi eitusele või olemasolukvantori eitust predikaadile. x(Sx¬Px); ¬x (Sx & Px). Osajaatavad laused saadakse rakendades predikaadile olemasolukvantorit või üldisuskvantori eitust predikaadi eitusele. x (Sx & Px); ¬x(Sx¬Px). Osaeitavad laused saadakse rakendades predikaadi eitusele olemasolukvantorit või üldisuskvantori eitust predikaadile. x (Sx & ¬Px); ¬x(SxPx). 21. INDIVIIDIDE VAHELISTE SUHETE ESITAMINE KAHEKOHALISTE PREDIKAATIDE ABIL. Lihtsuse mõttes toon siinkohal näited, kui meil on kaks isikut x ja y, kelle omavaheliseks suhteks on armastus (Axy). Selliselt kehtib see ükskõik, millise kahe indiviidi vahelise suhte korral. ! 7/14 Kõik armastavad kõiki: ! ! ! x y Axy (hipilik ideaal) Keegi ei ela armastuseta: !!