गणितीय तर्क में, एक निर्णय (या निर्णय) या दावा धातुभाषा में एक बयान या घोषणा है। उदाहरण के लिए, प्रथम क्रम तर्क में सामान्य निर्णय यह होगा कि एक स्ट्रिंग एक अच्छी तरह से गठित सूत्र है, या एक प्रस्ताव सत्य है। इसी प्रकार, एक निर्णय ऑब्जेक्ट भाषा की अभिव्यक्ति में एक…