LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
.. siis ja ainult siis, kui ...): lause p↔q on tõene
parajasti siis, kui p ja q tõeväärtused langevad kokku, nt „Kujund on ruut parajasti siis, kui ta
on võrdkülgne ristkülik”;
5*) antiekvivalents ehk range disjunktsioon, tähistatakse märgiga ⊕ (emb-kumb; kas ... või
...): p ⊕ q on tõene parajasti siis, kui p ja q tõeväärtused on erinevad, nt „Ta kas on idioot või
on ta geenius”.
Lausearvutuse binaarsete tehete koondtabel:
pqp&qp∨qp→qp↔qp⊕q
1111110
1001001
0101101
0000110
Lausearvutuse avaldis (liitlause) võib sisaldada mitut tehet ning see tekitab tehete järjekorra
probleemi. See esines ka koolialgebras, kus on määratud, et nt avaldises a + b2c – 2/√b tuleb
kõigepealt sooritada astendamine ja juurimine, seejärel korrutamine ja jagamine ning seejärel
liitmine ja lahutamine. Kui kasutatud on sulge, on sulgude sees paiknevatel tehetel kõrgem
prioriteet. Analoogne eeskiri on olemas ka lausearvutuses. Kuna need eeskirjad sarnanevad
annaabi.ee 
