தர்க்கவியல் படிவம் தர்க்கத்தை மையமாகக் கொண்டே இருக்கிறது. ஒரு வாதத்தின் செல்லுபடியாகும் காலம், அதன் உள்ளடக்கத்தால் அல்ல அதன் தர்க்கரீதியான படிவத்தால் தீர்மானிக்கப்படுகிறது, அரிசுடாட்டிலின் பாரம்பரியமான நேரியல் வாத தர்க்கமும், நவீன குறியீட்டு வாத தர்க்கமும் சாதாரண தர்க்கத்திற்கான எடுத்துக்காட்டுகள் ஆகும்.

கணிதவியல் தர்க்கம்
தர்க்கவியல் படிவம்
முறையான தர்க்கம்
கோட்பாடுகள்