Loogiliselt korrektne küsimus peab vastama kolmele põhinõudele: semantilisele, süntaktilisele ja pragmaatilisele. Mis on loogiline ruut? Nelja põhiliiki otsustuste omavaheliste suhete meelespidamine. Tähed A, E, I, O sümboliseerivad vastavalt üldjaatavat, üldeitavat, osajaatavat ja osaeitavat otsustust. Otsustuste A, E, I, O vahel on nelja liiki suhteid. Mis on liitotsustused? Liitotsustused moodustatakse lihtotsustustest, ühendades need omavahel loogiliste seostega. Õige mõtlemise seadused - Samasuse seadus (iga mõiste või väide peab ühe arutluse kestel jääma samaseks). - Vasturääkivusi välistav seadus (otsustus a ei saa olla üheaegselt ühes ja samas suhtes tõene ja väär). - Välistatud kolmanda seadus (kahest otsustusest A ja A, millest üks eitab seda, mida teine jaatab, on üks tingimata tõene).
võimalus (+) kui predikaat on täismahus. 4. Otsus: mõni S ei ole P. (Terminite maht S- oP+ ) Osaeitav lause. Tähis O. Afirmo - jaatama. Siit on tulnud tähis A ja I. Neigo - eitama. Siit on tulnud tähis E ja O. p, kui jaatav otsustus. Kehtiv otsustus (tähistatakse 1) _ p; דp - kui eitav otsustus. Ei kehti (tähistatakse 0). Mitte p. ___ _ p - kehtiv otsus (tähistatakse 1). 07.10.14 Lihtotsustused ja liitotsustused. 1. Konjunktiivne - on liitotsustus mis koosneb lihtotsustustest mis on omavahel ühendatud siduva sõna ja (˄, &), ning, ega (kui liitotsustus on eitav) abil. Nt ei ole seda ega teist. Lihtotsustusi tähistatakse (p ˄ q). Nt: mina ei anna laene ja pank ei müü sifkasid. _ _ Selle eitus: (p ˄ q ) (p ˄ q ˄ z ˄ x) 2. Disjunktiivne - liitotsustuse tüüp mis koosneb kahest või enamast lihtotsustusest mis on omavahel ühendatud siduva sõna või abil. Tähistuseks on ˅. (p ˅ q)
annaabi.ee 
