Back Proposisionele logika Afrikaans حساب القضايا Arabic Lóxica proposicional AST Логіка выказванняў Byelorussian Зьлічэньне выказваньняў BE-X-OLD Пропозиционална логика Bulgarian Lògica proposicional Catalan Výroková logika Czech Каланăлăхсен шутлавĕ CV Rhesymeg osodiadol Welsh
Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega (loogikatehteid).
Lausete all mõeldakse lauseloogikas propositsioone.
Lausearvutuse valemeid moodustatakse lauseid tähistavatest muutujatest ja tehtemärkidest.[1]
- ↑ Lausearvutus. Eesti entsüklopeedia, 5. kd, 1995, lk 434