اثبات استنتاجهای بی واسطه در قضیه های محصوره

در کتابهای منطق قدیم در تعریف انواع استنتاجهای بی واسطه ( همچون تناقض، تضاد، دخول، تحت تضاد و تداخل) و نحوه صدق و کذب آنها خلطهایی رخ داده و مطالبی بدون اثبات گفته شده است. این مقاله بر آن است تا ضمن نشان دادن این بی نظمی در بعضی از متون مذکور، پس از ارائه تعریف دقیقی از هر یک از این عناوین، قضایایی را که برای اثبات ادعاهای صدق و کذب باید اثبات شوند نشان دهد و سپس آنچه را که در این کتابها بدون اثبات ادعا شده است مستدل کند.