Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. Klassikaline loogika puhul võib eristada kahte formaalset keelt – lausearvutust ja predikaatarvutust. Lausearvutus on klassikalise loogika lihtsaim osa, mis tegeleb lihtlausete vaheliste seoste uurimisega ning mille abil on võimalik välja selgitada, kuidas liitlause tõeväärtus sõltub osalausete tõeväärtustest.Lausearvutust kasutatakse väga paljudes valdkondades, rakendusalad ulatuvad arutluste analüüsist filosoofias liittingimuste konstrueerimiseni programmeerimises. Predikaatarvutus on lausearvutuse laiendus, milles kasutatakse täiendavalt redikaadi, inviidi ja kvantori mõisteid. Lausearvutus Lausemuutujad: A, B, C, ... Loogikatehted: &, V, , , Kirjavahemärgid: () Loogikatehted Konjunktsioon - &, AND Konjunktsioon kahe lause vahel on tõene täpselt siis, kui mõlemad tema osalaused on tõesed. Disjunktsioon – V, OR
Lauseid.... Elu on elu Tööpäev kestab reedel kella poole viieni Jüri on ja ei ole mees Lausearvutus Boole algebra Jagamine lauseteks ja osalauseteks Lausearvutus on klassikalise loogika lihtsaim osa, mis tegeleb lihtlausete vaheliste seoste uurimisega ning mille abil on võimalik välja selgitada, kuidas liitlause tõeväärtus sõltub osalausete tõeväärtustest. Lausearvutust kasutatakse väga paljudes valdkondades, rakendusalad ulatuvad arutluste analüüsist filosoofias liittingimuste konstrueerimiseni programmeerimises. Konjunktsioon &, , AND Konjunktsioon kahe lause vahel on tõene täpselt siis, kui mõlemad tema osalaused on tõesed. Jüri õpib ja Mari õpib Jüri ja Mari õpivad Nii Jüri kui ka Mari õpivad ... Eitus ¬, NOT, ~ Tõese lause eitus on väär ja vastupidi. Jüri ei õpi täna Ma ei saa mitte midagi aru Disjunktsioon V, OR Disjunktsioon kahe lause vahel on väär täpselt siis, kui mõlemad tema osalaused on väärad.
annaabi.ee 
