کسی شرطیہ کے مقدم کی نفی لازماً پورے شرطیہ کی نفی ہوتی ہے۔تناقض کی تعریف، شرائط اور قضایا میں اس کا اطلاق