صورت نرمال
گزاره را در صورت نرمال عطفی گوییم هرگاه به شکل
باشد.
و را در صورت نرمال فصلی گوییم هرگاه به شکل
باشد.
قضیه
- هر گزاره با گزارهای در صورت نرمال عطفی با همان اتمها معادل است.
- هر گزاره با گزارهای در صورت نرمال فصلی با همان اتمها معادل است.
هر دو قضیه فوق با استقرا روی گزارهها ثابت میشود.
منابع
- محمد اردشیر (۸۳)، منطق ریاضی، هرمس، ص. ۳۸، شابک ۹۶۴-۳۶۳-۲۲۹-۶