A formális logika bennfoglalási relációjának megfelelő művelet. Jelölése: A D B, amely művelet eredménye csak akkor igaz, ha vagy az A esemény nem igaz, vagy az A és a B esemény egyidejűleg igaz. Tehát az A esemény bekövetkezése maga után vonja B bekövetkezését, viszont az A esemény be nem következése nincs hatással B esemény bekövetkezésére. Például a következő állítás: "ha ég a lámpa (A esemény) akkor világos van (B esemény)", mindig igaz lesz, kivéve, ha az A esemény bekövetkezésével nem jár együtt a B esemény bekövetkezése.