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