Implikatsioon
Implikatsioon ehk materiaalne implikatsioon on tõeväärtuste algebras ehk loogikaalgebras binaarne tehe, mille tulem on väär parajasti siis, kui tehte esimene operand on tõene ja teine operand on väär. Implikatsiooni saab tähistada järgnevalt: 𝑝 ⊃ 𝑞 (Seda sümbolit kasutatakse ka alamhulga-ülemhulga seose tähistamiseks hulgateoorias); 𝑝 ⇒ 𝑞 C𝑝𝑞 (kasutades poola kuju) Ülal tähistatud implikatsioonitehete juures kutsutakse lausemuutujaid järgmiselt: p on implikatsiooni eeldus (ehk antetsedent ehk alus) ja q on implikatsiooni järeldus (ehk konsekvent ehk tagajärg). Klassikalises loogikas on lausearvutuse valem p → q {\displaystyle p\rightarrow q} samaväärne tehtega ¬ ( p ∧ ¬ q ) {\displaystyle \neg (p\land \neg q)} ning De Morgani seadust kasutades on see ekvivalentne tehtega ¬ p ∨ q {\displaystyle \neg p\lor q} . Loomulikus keeles vastab implikatsiooni tehtele kõige lähedamalt lausekonstruktsioon "kui ..., siis ...". Nt "Kui täna on esmaspäev, siis homme on teisipäev."