A implies B

Türkçe: A, B'yi gerektirir

Açıklama: Mantıksal içerme; A doğruysa B de doğrudur