BSTS / Mantık Terimleri Sözlüğü
içerme imi anlamı İng. implication sign Osm. tazammun işareti Alm. Implikationszeichen Fr.signe d'implication
İki önerme ya da bir önerme kümesi İle bir önerme arasında içerme ilişkisi olduğunu belirtmek amacıyla bunların adları arasına konulan sözeden dildeki ikili yüklem imi: | = (yada ||—)