LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
• 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
kategooriliste väidetega on samaselt tõene lause tõene lausemuutujate mis tahes
interpretatsiooni korral, samaselt väär lause on väär lausemuutujate mis tahes interpretatsiooni
korral ning sattumuslik lause võib olla kas tõene või väär sõltuvalt lausemuutujate
interpretatsioonist.
D7.6
annaabi.ee 
