اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
يمكن برهنة صحة أو عدم صحة القضايا باستعمال حساب القضايا، حيث يتم استنتاج ذلك حسب تعريف حساب القضايا وباستعمال قواعد التحويل في خطوات تسمى استنتاجات أو تحويلات.
يوضح الجدول التالي برهانا للقضية س ← س، حيث تظهر خطوات البرهان سطرا بسطر:
تُقرأ س ┤ س ك: "لنفرض س، إذن س"، وتُقرأ ┤ س ← س ك: "لنفرض لاشيئ، إذن س تستلزم س".