u t " kõigi maade proletaarlased, ühinege " t u " olla või mitte olla " ( & ) i JA-tehte märgina kasutatakse ka sümbolit 'ampersand ' : & s t Lihtsaimaid võimalikke lausearvutuslauseid nimetatakse lihtlauseteks. Ekvivalentsitehte märgina kasutatakse ka sümbolit ~ ( ~ ) I n Lihtlauseid ei saa enam jagada veelgi lihtsamateks lauseteks. VÕI-tehte märgina kasutatakse ka sümbolit + ( + )
Lauseloogika süntaks ja semantika Kõige olulisem sümbol ongi lause, täpsemini lihtlause: lihtlause – A, B, C, …, võib kasutada ka täisarvulisi indekseid A1 või B3, sümbolitest puudu ei tule liht- või liitlause tähiseks üldiselt on metamuutuja – kasutatakse gooti või kreeka tähti Loogikatehted: põhieesmärk anda eeskirjad, kuidas lihtlausetest korrektselt moodustada liitlauseid 1. Eitus e negatsioon ~A (TILDE), ¬A, A ’pole tõsi, et’ 2. Konjunktsioon &(AMPERSAND), ^, A & B sidesõna ’ja’ või ’ning’ Sidesõna ’ja’ või ’ning’ kasutamine ei tähenda tingimata konjunktsiooni, vahel peame vaatama lihtlausena: Jüri ja Mari on üliõpilased. Jüri ja Mari on sõbrad. (Jüri on sõber ja Mari on sõber – nad pole ilmtingimata omavahel sõbrad) Jüri ja Mari vestlevad. 3. Disjunktsioon v (WEDGE) A v B sidesõna ’või’ 4
Võib : "minu_sobrad.html" Ei või : "minu sõbrad.html" ` 2. Kõik browserid oskavad avada kaustas public_html asuvat faili nimega index.html Täpitähtide saamine : Kõik brauserid ei tunne täpitähti ! Täpitähed e. erisümbolid tuleb asendada koodiga > ä asemel tuleb kasutada ä ; Efektikoodid: Õ tilde Ä,Ö, Ü uml ~ see on tilde Ä asemel tuleb kasutada Ä 1.Sümbol "&" nim. Ampersand ! 2. "alusmärk" (näiteks "a" täiendatakse) 3. efektikood "uml" või "tilde" jne 4. ; semikoolon Neid kirjutatakse niii : ä -> ä 14 ö > ö ü -> ü õ -> õ Tekstinäide Võib võib Söök söök - superscript ülaindeks - subscript alaindeks
konstruktsioonide abil liitlauseid: Samaväärsus (ekvivalents): " kui palka ei tõsteta või tööaega ei vähendata, siis algab streik " " P (siis ja) ainult siis, kui Q " P ↔ Q " ülemus on kohal ainult siis, kui tema auto on maja ees" Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise JA-tehte märgina kasutatakse ka sümbolit 'ampersand ' : & ( & ≡ ∧) konstruktsiooni ehk loogikatehte abil. 4 sidumiskonstruktsiooni seovad igaüks kahte lauset (binaarsed Ekvivalentsitehte märgina kasutatakse ka sümbolit ~ (~ ≡ ↔) loogikatehted) ja 1 tehe on rakendatav üksikule lausele (unaarne loogikatehe) VÕI-tehte märgina kasutatakse ka sümbolit + (+ ≡ ∨)
annaabi.ee 
