Skip to main content
فهرست مقالات

ترکیب گزاره ها در منطق ریاضی

نویسنده:

(11 صفحه - از 116 تا 126)

کلید واژه های ماشینی : گزاره، منطق، ترکیب گزاره‌ها در منطق ریاضی، تالی، ترکیب، صدق، منطق ریاضی، صدق و کذب، قضیه، میان مقدم و تالی، علاقه، گزاره مرکب، مانعة الخلو منطق ریاضی، صدق مقدم کذب تالی، لزومی، صدق تالی، مانعة الخلو منطق، کذب تالی و صدق مقدم، کذب تالی بر کذب مقدم، تالی کاذب، شرطی مادی، صدق تالی با صدق مقدم، منطق ریاضی شرطی مادی، فصلی مادی، کذب مقدم و تالی، کذب تالی، منطق ریاضی صدق و کذب، گزاره شرطی مادی، علاقه منطقی میان گزاره‌ها، مقدم

خلاصه ماشینی: "جدول ارزش این ترکیب چنین خواهد بود: P/q/P-q 1/1/1 1/0/0 1/1/0 0/0/1 شرطی صوری و شرطی مادی (5) میان استعمال ادات شرط در لغت عادی و استعمال آن در منطق ریاضی تفاوت هست، در لغت و زبان روزمره دو جمله را با اگر ربط نمی‌دهیم، مگر اینکه میان آن دو جمله از نظر صورت و مضمون نوعی ارتباط باشد، یعنی از نظر معنا میان مقدم و تالی باید نوعی ارتباط باشد، مثلا از نظر لغوی نمی‌توانیم بگوییم:«اگر 3 عدد فرد باشد پس تهران شهر بزرگی است». بنابراین ترکیب شرطی(شرطی مادی)شرطی متصل لزومی نیست بلکه نسبت به شرطی متصل لزومی (البته لزومی کلی)از نظر تحقق اعم می‌باشد و برای صورت‌بندی کردن شرطی متصل لزومی راه دیگری باید در پیش گرفت، اما اینجا این سؤال مطرح می‌شود که آیا ترکیب شرطی همان قضیه اتفاقی می‌باشد؟ برای روشن شدن جواب این سؤال می‌گوییم که قضیه اتفاقی دو اطلاق دارد:اتفاقی عام و اتفاقی خاص (13) و هر کدام را باید جداگانه بررسی کنیم: اتفاقی به معنای عام قضیه شرطی است که در آن حکم به صدق تالی بر فرض مقدم شده، نه به دلیل وجود علاقه، بلکه صرف صدق تالی است بدون علاقه و ممکن است مقدم در آن صادق یا کاذب باشد، اتفاقی به این اطلاق هر دو صورت صادق است: الف-مقدم و تالی هر دو صادق باشند."

  • دانلود HTML
  • دانلود PDF

برای مشاهده محتوای مقاله لازم است وارد پایگاه شوید. در صورتی که عضو نیستید از قسمت عضویت اقدام فرمایید.