論理学

Logic

正しい推論と誤った推論を、形の上で見分ける方法の学問。