Kontrolltöö nr 5 A Lause, kirjavahemärgid 1. Täida lüngad (3) Samaväärsete osalausetega liitlauset nimetatakse............... Lauset, kus pealausele on alistunud üks või mitu kõrvallauset, nimetatakse................ Sageli esinev lausestus viga on näiteks........... 2.Moodusta sõnadega remontima, vannituba laused. (3p) Koondlause: ............................................................................................. ........................................................................................................... Rindlasue: ...........................
Formaalset implikatsiooni märgitakse märgiga ⇒ või ⊨. Modaalses loogikas saab formaalset implikatsiooni tõlgendada järgmise väite abil: lausest p järeldub lause q parajasti siis, kui implikatsioon p → q on loogilise paratamatusega tõene. Kui paratamatuse operaatorit tähistada tähega N, siis saame järgmise valemi (p ⇒q)↔N (p → q). c) Hüpoteetilises väites (hypothetical proposition) ehk tingivas väites, mida väljendab tingiv lause, eeldatakse, et osalausetega väljendatud väidete vahel on paratamatu seos. Tingivat väidet ehk hüpoteetilist väidet väljendab tingiv lause ehk hüpoteetiline lause. Tõene hüpoteetiline lause on kui-siis-lause, milles aluse tõesus toob paratamatult kaasa tagajärje tõesuse. See paratamatus ei pea olema loogiline paratamatus, tegemist võib olla nt ka füüsilise paratamatusega. Hüpoteetilise lause sünonüümina kasutame ka väljendit „tingiv lause”, kuigi
Formaalset implikatsiooni märgitakse märgiga või . Modaalses loogikas saab formaalset implikatsiooni tõlgendada järgmise väite abil: lausest p järeldub lause q parajasti siis, kui implikatsioon p q on loogilise paratamatusega tõene. Kui paratamatuse operaatorit tähistada tähega N, siis saame järgmise valemi (p q) N (p q). c) Hüpoteetilises väites (hypothetical proposition) ehk tingivas väites, mida väljendab tingiv lause, eeldatakse, et osalausetega väljendatud väidete vahel on paratamatu seos. Tingivat väidet ehk hüpoteetilist väidet väljendab tingiv lause ehk hüpoteetiline lause. Tõene hüpoteetiline lause on kui-siis-lause, milles aluse tõesus toob paratamatult kaasa tagajärje tõesuse. See paratamatus ei pea olema loogiline paratamatus, tegemist võib olla nt ka füüsilise paratamatusega. Hüpoteetilise lause sünonüümina kasutame ka väljendit ,,tingiv lause", kuigi
annaabi.ee 
