Veel tuletame koolialgebrast meelde mõned olulised oskussõnad: muutuja on sümbol, mis märgib täpsustamata objekti; objekte, mida ta võib märkida, nimetatakse selle muutuja väärtusteks (muutuja võib omada erinevaid väärtusi), konstant on sümbol, mis on mõeldud mingi kindla objekti märkimiseks, avaldis on eeskiri, mis määrab konstantide ja muutujatega sooritatavad tehted ning tehete järjekorra. Lauseloogikas on kasutusel kaks algebrat, mis kuuluvad Boole'i algebrate klassi: tõeväärtuste algebra ja lausearvutuse algebra. Boole'i algebra lihtsat erijuhtu, mida esindab kahe tõeväärtusega Boole'i algebra, nimetatakse ka loogikaalgebraks. Tõeväärtuste Boole'i algebras (loogikaalgebras) on kandvaks hulgaks tõeväärtuste hulk {tõene, väär} ehk {1,0}, lausearvutuse algebras on kandvaks hulgaks lausete hulk. Loogikaalgebras on tehete operandideks tõeväärtused ja tehete tulemiteks on samuti mingid tõeväärtused, teisiti öeldes:
Veel tuletame koolialgebrast meelde mõned olulised oskussõnad: muutuja on sümbol, mis märgib täpsustamata objekti; objekte, mida ta võib märkida, nimetatakse selle muutuja väärtusteks (muutuja võib omada erinevaid väärtusi), konstant on sümbol, mis on mõeldud mingi kindla objekti märkimiseks, avaldis on eeskiri, mis määrab konstantide ja muutujatega sooritatavad tehted ning tehete järjekorra. Lauseloogikas on kasutusel kaks algebrat, mis kuuluvad Boole'i algebrate klassi: tõeväärtuste algebra ja lausearvutuse algebra. Boole'i algebra lihtsat erijuhtu, mida esindab kahe tõeväärtusega Boole'i algebra, nimetatakse ka loogikaalgebraks. Tõeväärtuste Boole'i algebras (loogikaalgebras) on kandvaks hulgaks tõeväärtuste hulk {tõene, väär} ehk {1,0}, lausearvutuse algebras on kandvaks hulgaks lausete hulk. Loogikaalgebras on tehete operandideks tõeväärtused ja tehete tulemiteks on samuti mingid tõeväärtused, teisiti öeldes:
annaabi.ee 
