LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
tingimuse, kolmas sünonüüm pole kasutamiseks eriti mugav. Allpool kasutatakse
tingimusliku lause sünonüümina väljendit „kui-siis-lause” või „konditsionaal”.
Kasutusel on väga erinevaid kui-siis-lauseid, nt võib olla nõutud põhjuslikku seost
aluse ja tagajärje vahel. Kui-siis-laused on filosoofiliste vaidluste ja uurimise objektiks,
suurimad probleemid tekivad väära aluse puhul. Loogikas esineb peamiselt nelja tüüpi kuisiis-
lauseid: materiaalne implikatsioon, formaalne implikatsioon, tingiv lause (väide) ehk
hüpoteetiline lause ja kontrafaktuaal.
a) Materiaalne implikatsioon. Lausearvutuses defineerisime implikatsiooni „Kui p,
siis q” (valemina p → q) kui binaarse tehte, mis annab alati tõese lause, välja arvatud juhtum,
kui p on tõene ning q on väär. Seda võib sõnastada nii, et p on väär või mõlemad operandid
on tõesed
annaabi.ee 
