propositional calculus

حساب جبرانی، حساب گزارهای