سؤال حول المنطق الرياضي

A(F) -> B (T) = T

برأيي المتواضع، ومن خلال خبرتي البسيطة أقول ما يأتي:

لنفهم علاقة الاستلزام، ومتى تكون صحيحة ومتى تكون خاطئة.

علاقة الاسلتزام، محورها هو النتيجة B (هل هي صواب أم خطأ).

ولا يكون التقرير خاطئًا إلا أثناء وجود ( أن تكون قيمة صوابه T ) التقرير البسيط الأول (A) ، وعدم وجود (أن تكون قيمة صوابه F ) التقرير البسيط الثاني (B) ، فحينها يكون التقرير المركب خاطئًا لأن وُجد ما يسلتزم وجود B ولم توجد!

من هذا نفهم أن:

الاستلزام، ليس من جهتين، أي أن عدم وجود الشمس F ، لا يستلزم أن الوقت ليس نهارًا T -فربما يكون هناك كسوف أو غيوم-، بالتالي تكون النتيجة T .

بلغة الرياضيات:

x > 20 -> x > 15 .

لكن ماذا لو اخترنا 16 ؟ لن تكون أكبر من 20 ، أي أن المقدمة ستكون خاطئة F ، بينما هي أكبر من 15 أي أن النتيجة صحيحة(T) ، بالتالي التقرير صحيح لأن النتيجة صحيحة.

فصحّة النتيجة، لا يستلزم صحة المقدمة(لأنه يمكن أن يوجد ألف سبب غيرها)، بينما صحّة المقدمة(السبب) يلزم صحّة النتيجة.

وفي الفلسفة، لها تطبيقات عديدة، خصوصًا في السببية.

هذا والله أعلم.