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 Väärtustus: Kui lausemuutuja A on tõene, siis kirjutame A=1; kui lausemuutuja A on väär, siis kirjutame A=0. Kui omistame korraga tõeväärtused mitmele lausemuutujale, siis seda tõeväärtuste komplekti nimetame väärtustuseks.
eksamid hõlpsasti ära teha“ või „Kui kehtib teoreem P, siis kehtib teoreem Q“. Mõlemad laused võib kirja panna valemiga A → B. o Ekvivalents (märk ↔) tähendab matemaatikas sagedasti kasutatavat seost „parajasti siis, kui“ ehk „siis ja ainult siis, kui“. Näiteks lause „hulk X on kinnine parajasti siis, kui X ühtib oma sulundiga“ on valemkujul A ↔ B. Tehete järjekord o ¬, &, ∨, →, ↔ o vasakassotsiatiivsus: kui mitme liikme konjuktsioonis või disjunktsioonis sooritatakse tehteid vasakult paremale, siis võib tehete järjekorda täpsustavatest sulgudest loobuda o Valemi välimised sulud võib ära jätta Lausearvutuse valem DEF: Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil: ○ iga lausemuutuja on lausearvutuse valem ○ kui F on lausearvutuse valem, siis ka ¬F on lausearvutuse valem
annaabi.ee 
