What people are saying - Write a review
We haven't found any reviews in the usual places.
What Is Symbolic Logic?
The Statement Calculus
The Use of Names
44 other sections not shown
Other editions - View all
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