قالب:حقيقة منطقية عنتالحقيقة المنطقيةوظيفي: قيمة الحقيقة دالة الحقيقة طوطولوجيا شكلي: نظرية برهان مبرهنة النفي: ⊥ زائف تناقضات تناسق