هناك دوال بسيطة، وفيها يكون المتغير التابع (ص) دالة في متغير واحد مستقل (س)، كما أن هناك دوال متعددة المتغيرات وفيها يكون المتغير التابع (ص) دالة في متغيرين أو اكثر مستقلة.
أنواع دلالات إثبات النظرية في علم النفس تأتي من خلال النظر في اشتقاق قاعدة مقدمة في الخطوة المهمة من خلال أن الاستنتاج الطبيعي الحدسي يلبي خاصية شكل المقدمة
