DME Eksamiks kordamise konspekt
Ükski lause pole korraga tõene ja väär.
Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite järgi:
1. Iga lausemuutuja on lausearvutuse valem.
2. Kui F on lausearvutuse valem, siis ka F on lausearvutuse valem.
3. Kui F ja G on lausearvutuse valemid, siis ka (F&G), (FVG),(F->G) ja (F<->G) on
lausearvutuse valemid.
Osavalem : Kõiki antud valemi konstrueerimise käigus tekkinud valemeid nimetatakse selle
valemi osavalemiteks ehk alamvalemiteks, konstrueerimise viimasel sammul kasutatud suhet
aga peatehteks.
Kokkulepped sulgude kohta:
1. Tehete prioriteet kõrgemast madalamani on , &, V, ->, <->.
2. Vasakassotsiatiivsus: kui mitme liikme konjuktsioonis või disjunktsioonis
sooritatakse. tehteid vasakult paremale, siis võib tehete järjekorda täpsustavatest
sulgudest loobuda.
3. Valemi välimised sulud võib ära jätta
annaabi.ee 
