Arutelu:Kehtestatav valem

1. Väide "Kui lausearvutuse valem ei ole samaselt tõene ega samaselt väär, siis on tegu kehtestatava valemiga." on küll loogiliselt korrektne, aga selles kohas selles sõnastuses jätab mulje, nagu oleksidki kehtestatavad valemid need, mis ei ole samaselt tõesed ega samaselt väärad. Selle lause võiks sõnastada nii, et oleks selge, et sellised valemid on üks näide kehtestatavatest valemitest.
2. "tuleks teha tõeväärtustabel või tõesuspuu" - see on natuke liiga kitsas, kehtestatavuse kontrollimise meetodeid on väga palju. Pigem võiks siinkohal väljendada mõtet, et "saab kontrollida" vms.
3. Tüüpilisema kirjavea märkuse võiks tõsta definitsiooni jaotisse, artikli sissejuhatuses on see liiga prominentsel kohal.
4. Jaotise "Seosed" alapunktide lõpus peaksid olema punktid, mitte koolonid.
5. Jaotises "Kontrollimine tõeväärtustabeliga" esimeses reas valemi ja "on kehtestatav" vahele tühik.
6. Lausemuutujad A ja B on tavakirjas, tuleks panna valemikirja (kahes kohas).
7. "prioriteetses järjekorras" -> "prioriteedi järjekorras"
8. Jaotises "Kontrollimine tõesuspuuga" esimeses lauses sulu "(" järelt tühik ära.
9. Selles lõigus võiks olla lause, mis kirjeldab, mida me tõesuspuu alguse ja lõpu vahel teeme. Praegu on kirjeldatud ainult alguse ja lõpu tegevusi, aga mitte vahepealseid.
10. Teises lõigus võiks F olla valemikirjas.
11. Jaotis "Teoreem kehtestatava valemi eitusest" - päiste "Teoreem 1", "Tõestus" ja "Näide" järele punkt kooloni asemel.
12. Alampeatüki asemel võiks rääkida jaotisest.
13. Viidetes aastaarvu 20014 asemele õige aastaarv ja "Lk 14" ühendada koma abil eelneva osa külge.