Loginė operacija, kai iš teiginių A ir B sudaromas teiginys: „jei A, tai B“.

Žymima ženklu ⊃ (ankstesnis reiškinys būtų užrašytas taip: A⊃B).

Teiginys A vadinamas teiginio B prielaida, o teiginys B – jo išvada.