• võrduse sümbol: = (metamuutujate korral tähendab võrdus seda, et mõlemal poolel on sama lause); • samasuse sümbol: ≡ (samaväärsus kehtib metamuutujate kõikide väärtuste korral); • lausete vastastikuse loogilise järeldumise ehk metakeelse seose „parajasti siis, kui …” märk: ⇔; • sümbol, millega tähistatakse ühe lause loogilist järeldumist teisest lausest (formaalset implikatsiooni) ehk metakeelset seost „kui … siis …”: ⇒ või ╞. Samasuse märk, nt p ≡ q, võib tähistada asjaolu, et antud arutluse kontekstis leiab võrdus aset muutujate kõigi väärtuste korral. LAUSETE KVALIFITSEERIMINE (LIIGITAMINE) JA LOOGILINE JRELDUVUS (FORMAALNE IMPLIKATSIOON) Lausearvutuse lauseid saab liigitada samaselt tõesteks, samaselt vääradeks ning kontingentseteks ehk sattumuslikeks. Analoogiliselt traditsioonilises loogikas käsitletud
· võrduse sümbol: = (metamuutujate korral tähendab võrdus seda, et mõlemal poolel on sama lause); · samasuse sümbol: (samaväärsus kehtib metamuutujate kõikide väärtuste korral); · lausete vastastikuse loogilise järeldumise ehk metakeelse seose ,,parajasti siis, kui ..." märk: ; · sümbol, millega tähistatakse ühe lause loogilist järeldumist teisest lausest (formaalset implikatsiooni) ehk metakeelset seost ,,kui ... siis ...": või . Samasuse märk, nt p q, võib tähistada asjaolu, et antud arutluse kontekstis leiab võrdus aset muutujate kõigi väärtuste korral. LAUSETE KVALIFITSEERIMINE (LIIGITAMINE) JA LOOGILINE JÄRELDUVUS (FORMAALNE IMPLIKATSIOON) Lausearvutuse lauseid saab liigitada samaselt tõesteks, samaselt vääradeks ning kontingentseteks ehk sattumuslikeks. Analoogiliselt traditsioonilises loogikas käsitletud
annaabi.ee 
