p gibi olmakta olana ilişkin bir önermeden, hepolacağa ilişkin Hoc p(p hepolacak) önermesini oluşturan doğrusal olmayan birli eklem. || Hoc p önermesinin şimdiki (?) tamdurumunda doğru olması, p önermesinin (?) ın ardıl almaşığı olan (?) gibi her tamdurumda doğru olması demektir. Hepolacak yöneticisinin ikillisi olacak yöneticisidir. (?)
TDK Mantık Terimleri Sözlüğü