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), mis on alati tõene, välja arvatud siis, kui alus on tõene ja tagajärg on väär. 5. Ekvivalents p(--)q, on tõene parajasti siis, kui tema operantidel on ühesugune tõeväärtus. 6. Antiekvivalents ehk välistav disjunktsioon p+q, on alati tõene parajasti siis, kui tema operantidel on erinevad tõeväärtused. Lausearvutuse SÜNTAKS- lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil.
annaabi.ee 
