الدوال القضائية :
أما القسم الأول من نوعي القضية فإن فيها كما سبق ، جزءان . جزء ثابت وهو الجزء الذي يبين علاقة الرمز بالرمز ، وجزء متغير وهو الذي يدل على القيم التي وراءها . وللدلالة على الجزء الثابت من الدالة القضائية يستخدم الرمز (
F Y Q
) أو ( د . ذ . ر ) ، كما يستخدم للدلالة على الجزء المتغير من الدالة القضائية رمز : (
X . Y . Z .
) أو ( س . ص . ع ) .
وتبعا لجزئي القضية ( الثابت ) و ( المتغير ) ، يمكن أن توصف القضية بالصدق أو الكذب . فبالنسبة إلى الجزء الثابت ، تصبح حالة الدالة القضائية ، كحالة الجبر ذو قيمتين ( النوع السابق ) ، حيث تتصف الدالة القضائية بالصدق دائما أو الكذب دائما . فمثلا : لا يمكن أن تكون القضيتان التاليتان إلا كاذبة دائما ، أو صادقة دائما .
إذا كانت الشمس طالعة فالنهار موجود ، إذا كانت الشمس طالعة ، فالنهار غير موجود . لأن إحداهما ضد الأخرى . أما بالنسبة إلى الجزء المتغير من الدالة القضائية ، فإن اتصافها بالصدق أو الكذب ، مرتبط بقيم القضية ، فأحيانا تكون صادقة ، وأحيانا كاذبة ، ونرمز إليها آنئذ ب - ( س . ذ . س دائما ، أو د . س أحيانا ) بالنسبة إلى الصدق . أو نقول : ( س . د . س دائما . أو د . س أحيانا ) بالنسبة إلى الكذب . يعني كاذبة دائما أو أحيانا . ولا فرق في الدالة القضائية بأن تكون الرموز فيها دالة على أسماء أو أوصاف ، إذ إنها هي الأخرى قد تكون صادقة أو كاذبة .
وقد وضع رسل (
Ruessll )
رمزين لحاصل الضرب المنطقي . وهما (
XQX ) .
1 - لحاصل الضرب المنطقي ، ويمكن ترجمته ب - ( " س " . د . س ) أي