On requirements for conditional probability functions
- 1 September 1960
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 25 (3), 238-242
- https://doi.org/10.2307/2964681
Abstract
Let the prepositional calculus (PC) be cast in the following form: (a) The primitive signs of PC are to be a denumerably infinite hst of propositional letters, the two connectives ‘∼’ and ‘&’, and the two parentheses ‘(‘and’)’; (b) The formulas of PC, referred to hereafter by ‘A’, ‘B’, ‘C’, and ‘D,’ are to be all finite sequences of primitive signs of PC; (c) The well-formed formulas (wffs) of PC are to be all propositional letters, all formulas of the form ∼A, where A is a wff of PC, and all formulas of the form (A&B), where A and B are wffs of PC; (d) (A⊃B) is to be short for ∼(A&∼B), (AνB) short for ∼(∼A&∼B), and (A ≡ B) short for (((A ⊃B)&(B⊃A)).Keywords
This publication has 1 reference indexed in Scilit:
- Logic for Mathematicians. By J. B. Rosser. Pp. xiv, 530. 85s. 1953. (McGraw-Hill)The Mathematical Gazette, 1954