1.  ઔપચારિક તર્કશાસ્ત્ર.