عمق وجهی

در منطق موجهات،  عمق وجهی یک فرمول، عمیقترین تودرتویی  است که عمیق‌ترین تودرتو از عملگرهای وجهی (معمولاً  و ) است. فرمولهای وجهی بدون عملگر وجهی، دارای عمق وجهی صفر هستند.

تعریف 
عمق وجهی را می‌توان به شرح زیر تعریف شده کرد. فرض کنید یک تابع باشد که عمق یک فرمول وجهی  را محاسبه می‌کند:
 ، که  یک فرمول اتمی است.

مثال 
محاسبه زیر عمق وجهی  را بدست می‌دهد:

منطق موجهات