தர்க்கம் என்பது சரியான பகுத்தறிவுத் தன்மை மற்றும் அனுமானிப்பு போன்ற கொள்கைகளையும், அதே போல் நிலைப்பேறுத் தன்மை, உறுதியானத் தன்மை மற்றும் முழுமைத் தன்மை ஆகிய தத்துவங்களின் ஆய்வாகும். எளிய எடுத்துக்காட்டாக, பெரும்பாலான தர்க்க அமைப்புகளில், பியர்சின் விதி ((("P" →"Q" )→"P" )→"P" ) மெய்யாகும், மேலும் இதை ஒரு உண்மை அட்டவணையின் மூலம் எளிதாகச் சரிபார்க்க முடியும். கணிதவியல் நிரூபணங்களின் ஆய்வுகள் குறிப்பாக தர்க்கத்தில் முக்கியமானவையாகும், மேலும் தானியக்கத் தேற்ற நிரூபணம் மற்றும் மென்பொருள் உருவாக்கம் ஆகியப் பயன்பாடுகளில் இது பயன்படக்கூடியதுமாகும்.

தர்க்கம்
தொடர் கணிதவியலின் தனிநிலை ஒத்தபொருள்கள்
இலக்கமியல் கணிதத்திலுள்ள தலைப்புகள்
பெருஞ்சவால்கள், கடந்தகாலம் மற்றும் தற்காலம்