## Logic for Mathematicians |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

What Is Symbolic Logic? | 1 |

The Statement Calculus | 12 |

The Use of Names | 49 |

Copyright | |

44 other sections not shown

### Other editions - View all

### Common terms and phrases

Antisym Arg(fl Arg(S Assume the hypothesis AV(fl AV(P AV(Q AV(R axiom of choice Axiom scheme bound variables Burali-Forti paradoxes Can(a cardinal number Clearly Clos(a,P Connex contradiction Conversely Corollary CoroUary deduction theorem define definition denote denumerable derived finite free variables Funct function value Hausdorff space Hence infer Infin intuitive Lemma mathematicians mathematics modus ponens n e Nn n):n t Nn namely Nc(a Nc(USC(a Nc(V Nn.m Nn.x No(P notation open set ordered pairs ordering relation P D Q Professor X Proo Proof prove rational numbers real numbers reductio ad absurdum restricted restricted quantification rule G RUSC2(P SC(a SC(Nn sm USC(a smor Q Sord stratified strong induction subset symbolic logic theorem follows truth-value table Val(fl Val(S weak induction Word write x t a