Probability Theory: Plausible reasoning
mag(2003)
关键词
george,boolean algebra,laplace,nand,truth table,disjunctive normal form,disjunction,truth value,copi,ontological,propositional calculus,predicate calculus,syllogism,epistemological,von neumann,common language,conjunction,robot,turing machines,aristotelian logic