عن القضية:

الجبر الذي يحكم هذا النوع من القضايا هو أن (آ أما/ صفر، أو/ 1) (أي صنف ألف أما صفر أو موجود) وكل الأنظمة الرمزية التي سبق وأن قلناها في حساب الأصناف تأتي هنا، اللهم إلا في طبيعة الرموز، التي لا بد أن نصطلح عليها ببعض الرموز لنفرق بين حساب الأصناف، وحساب القضايا. وهذه هي التالية:

1- في حساب الأصناف كنا نستخدم أ ب ج، أما هنا، فنقول: ق ت ص.

3- وهناك كنا نستخدم آ، للدلالة على سالب 1، وكنا نقرأ لا أ، أما هنا فنستخدم- ونقرأه لا قضية.

3- وللدلالة على ان صنفا هو داخل في صنف آخر، كنا نرمز هكذا أب. أما هنا نرمز للدلالة على علاقة قضية بأخرى في الصدق والكذب، وإنها إن كانت صادقة تلك، كانت هذه صادقة، وإذا كانت كاذبة، كانت هذه أيضا كاذبة، فنكتب هكذا (ق) ت (ق) ت.

4- وفي مكان أ+ ب، التي تدل على معنى نكتب ق 7 ت، للدالة على أن إحدى القضيتين صادقة إما ق أو ت.

5- وبدلا من العلاقة ا/ ب، الدالة على التساوي، نضيف إلى رمز التساوي خطا قصيرا هكذا/ وترمز إلى أن (ق) تكافئ (ت) في الصدق والكذب.