. : بَ / صفر . : ا بَ / صفر « 1 » .
ج - أما العكس البسيط فهو سيكون صحيحا ، لأنه ليس إلا تعبيرا آخر عن القضية المعكوسة . وكذلك نقض المحمول ، الذي ليس هو الآخر إلا تعبيرا آخر عن ذات الفكرة .
حساب القضايا :
حساب القضايا هو نوع من حساب الأصناف . إذ يمكن ان نجري عليه ذات القواعد ، والرموز ، التي أجريناها على حساب الأصناف ، مع فارق أن الرمز في حساب الأفراد يدل على صنف ، بينما في حساب القضايا يدل على القضية .
فمثلا كنا سابقا نقول : أ ، ب ، ج ، ونعني صنف الإنسان والحيوان . ولكنا إذا استخدمنا ذات الرموز في حساب القضايا ، فإنا سنعني بها أصناف أنواع القضايا .
فلو قلنا : ( أ ) يساوي الإنسان . و ( آ ) يساوي لا إنسان ففي القضايا : ( أ ) يساوي القضية صادقة و ( آ ) يساوي القضية كاذبة . إلا أن هناك بعض القواعد الإضافية والرموز الإضافية جعلت حسب القضية فصلا بذاته . وقبل ان نبين هذه القواعد والرموز نحتاج إلى :
هامش
( 1 ) - هذا في حالة أن يكون 1 / صفر ، إذ آنئذ يكون أب / صفر وأب / صفر أما إذا كنا نعلم بوجود صنف 1 بمعنى إذا كان 1 صفر فإن المعادلة تتغير ويمكن الاستدلال آنئذ إذ يكون ا ب / صفر متضمنا ا ب / صفر ، ويكون ا ب صفر تتضمن ا ب صفر . ومن هنا نستتنتج أنه إذا كانت أب ت صفر وكانت 1 / صفر فإن ا ت صفر وذلك لأنه إذا كانت أب / صفر ( - 4 - ) وكانت 1 - صفر فإن ت صفر إذا ت صفر ا ت صفر صفر أت صفر .