حساب القضايا في المنطق الرياضي …3