فرایندی که در آن برای نخستین بار صدق گزاره‌ای به‌شکل منطقی نشان داده بشود.