Propositional Calculus
摘要
This chapter develops the calculus of inductive logic. Here, we are concerned only with propositional logic. Much of the work, though, will carry over to the predicate case, which is covered in Chap. 5 .