tazammun işareti ne demek?

içerme imi

1. İ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 ||—)
2. Implication sign.
3. Signe d’implication