Loogika konspekt 6-10
tõene ning teine (q) väär. Sellist implikatsiooni nimetatakse ka materiaalseks
implikatsiooniks (ik material implication). Materiaalne implikatsioon on konditsionaali kõige
väiksema tugevusega (nõudlikkusega) vorm.
Väljaspool lausearvutust on kasutusel väga erinevaid konditsionaale: nt selline, mis
nõuan aluse ja tagajärje vahel põhjuslikku seost. Klassikalises loogikas on kasutusel
formaalne implikatsioon (ik logical implication), milles antentsedent implitseerib
konsekvendi, kui leidub tõestus, mis lähtub alusest kui eeldusest ning jõuab välja tagajärjeni
kui järelduseni. Ka sel juhul on väga erinevaid lähenemis- ja tõlgendusvõimalusi (ja ka
terminoloogiat), nt on probleemiks, kas asjad lihtsalt ongi nii või leidub kõnealusel suhtel
mingi täiendav alus.
Järgnevalt lähtume pigem formaalsest implikatsioonist, ning ütleme, et väide kujul: Kui p,
annaabi.ee 
