BSTS / Mantık Terimleri Sözlüğü
birlikte olanaklılık yöneticisi anlamı İng. compossibility operator Fr. opérateur de compossibilité
< > (p^q) biçiminde tanımlanan doğrusal olmayan ikili eklem. ||< > (a kırmızıdır) ile< > (a yeşildir) önermelerinin doğru olmasına karşın, < > (a kırmızıdır ve a yeşildir) önermesi yanlıştır.