Loogika
tehe.
Lauseloogikas on kasutusel KAKS ALGEBRAT, mis kuuluvad BOOLE’I algebra
klassi: tõeväärtuste algebra ja lausearvutuse algebra. Boole’i algebra
lihtsat erijuhtu, mida esindab kahe kahe tõeväärtusega Boole’i algebra,
nimetatakse ka loogikaalgebraks.
Lausearvutuse Boole’i algebra kandvat hulka võiks nimetada
FORMAALSETE LAUSETE hulgaks, need esinevad sümbolkujul, neil pole
iseenesest ei tõeväärtust ega tavakeelset kuju.
LAUSEARVUSTUSE TEHE on formaalsete lausete hulgal defineeritud tehe,
mille tulemi kuju on üheselt määratud operandide ja tehtesümboliga.
LAUSEARVUSTUSE TEHTED
1. EITUS
2. KONJUNKTSIOON p&q, on tõene parajasti siis, kui p ja q mõlemad on
tõesed.
3. DISJUNKTSIOON p v q, on tõene parajasti siis, kui vähemalt üks
lausetest p ja q on tõene.
4. IMPLIKATSIOON p--) q, on väär parajasti siis, kui p on tõene ja q on väär.
Lausearvustuses on kasutusel MATERIAALNE IMPLIKATSIOON ( lk 265),
annaabi.ee 
