اثبات استنتاج‌هاي بي‌واسطه

در قضيه‌هاي محصوره

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

A Proof for Immediate Inferences in Quantified Propositions

There is some confusion in definition of all kinds of immediate inferences (like contradictory, contrary, subcontrary and subalternatory propositions) and also in the manner of their truth and falsity in the old logic books; and something is claimed in these books without proof. It is attempted in this paper, after showing this logical disorder in some of these texts, to clarify and classify those propositions that must be proved for those claims of truth or falsity; and then the arguments that are necessary for those claims will be brought.