¬ – eitus; & – konjunktsioon; ∨ – disjunktsioon; → – implikatsioon; ↔ – ekvivalents; ∀ – üldisuskvantor; ∃ – olemasolukvantor; ∴ – järelikult (postuleeritav lõppjäreldus); ∈ – kuuluvusseos; (), [], – kirjavahemärgid. Tuletus koosneb tuletussammudest. Üks tuletussamm on mingi konkreetse väite tuletamine eelduste või varem saadud vahetulemuste põhjal. Tuletussamm viiakse läbi tuletusreeglit kasutades. Esitatav tuletussüsteem põhineb lauseloogikal, milles sõnu ,,lause”, ,,väide” ja ,,propositsioon” kasutatakse sünonüümidena, kuigi silmas peetakse alati objekti, mis on tõene või väär, st propositsiooni. Kuna lauseloogikas on tavaks rääkida pigem lausetest kui väidetest, siis järgime seda tava ka lauseloogikal põhinevat tuletussüsteemi käsitledes. Tabel 9.1. Tuletusreeglid. Eeldused on eraldatud komadega, järeldus tuletusmärgiga. 1. Modus ponens (MP) p → q, p ⊢ q. 2. Modus tollens (MT) p → q, ¬q ⊢ ¬p. 3
¬ eitus; & konjunktsioon; disjunktsioon; implikatsioon; ekvivalents; üldisuskvantor; olemasolukvantor; järelikult (postuleeritav lõppjäreldus); kuuluvusseos; (), [], kirjavahemärgid. Tuletus koosneb tuletussammudest. Üks tuletussamm on mingi konkreetse väite tuletamine eelduste või varem saadud vahetulemuste põhjal. Tuletussamm viiakse läbi tuletusreeglit kasutades. Esitatav tuletussüsteem põhineb lauseloogikal, milles sõnu ,,lause", ,,väide" ja ,,propositsioon" kasutatakse sünonüümidena, kuigi silmas peetakse alati objekti, mis on tõene või väär, st propositsiooni. Kuna lauseloogikas on tavaks rääkida pigem lausetest kui väidetest, siis järgime seda tava ka lauseloogikal põhinevat tuletussüsteemi käsitledes. Tabel 9.1. Tuletusreeglid. Eeldused on eraldatud komadega, järeldus tuletusmärgiga. 1. Modus ponens (MP) p q, p q. 2
annaabi.ee 
