અલગ તર્ક આનુમાનિક તર્કનું સબસેટ છે.