p gibi olmakta olana ilişkin bir önermeden, olacağa ilişkin Oc p(p olacak) önermesini oluşturan doğrusal olmayan birli eklem. || (?)