Diskreetse matemaatika elemendid
o Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest.
2. Lausearvutuse tehted. Tehete järjekord. Lausearvutuse
valem. [1]
Tehted
o Eitus (märk ¬). Igapäevakeeles väljendab eitus lause mittekehtimist,
näiteks „Lehis ei
ole okaspuu“. Selle lause võib kirja panna valemiga ¬A, kus A = „Lehis
on okaspuu“.
o Konjunktsioon (märk &) tähendab seost „ja“. Näiteks „Puhub tuul ja
sajab vihma“ on
valemkujul A & B.
o Disjunktsioon (märk ∨) väljendab seost „või“. Näiteks „Helen laulab
või Mart laulab“
on valemkujul A ∨ B. Sidesõna „või“ kasutatakse siin mittevälistavas
tähenduses: „Kas
A või B või mõlemad“. Igapäevases keeles on käibel ka välistav „või“:
„Kas A või B,
1
aga mitte mõlemad“, näiteks „Ma külvan põllule rukist või panen
põllule kartulid“.