docstxt/1328442129101372.txt
__ LAUSEARVUTUSVALEMID P ↔ (L ∧ S ∨ R) Nii liht- kui ka liitlausete formaalseid esitusi nimetatakse lausearvutusvalemiteks. Kui on suvi või päike pole loojunud, siis väljas Lausearvutusvalem on defineeritud järgnevalt: pole pime — Lihtlause formaalne tähis ja tõeväärtuskonstant on valem: A 0 1 __ __ __ (S ∨ L) → P — Kui A on valem, siis on valemid ka A ja ( A ) — Kui A ja B on valemid, siis on valemid ka
annaabi.ee 
