قضیه گزاره یا جملهای خبری است که در ریاضیات همیشه درست است و درستی آن بهکمک استدلال ثابت میشود، اما در منطق گزارهای است که میتواند درست یا نادرست باشد. قضیه