What people are saying - Write a review
We haven't found any reviews in the usual places.
Reasoning and Beliefs
AXIOMATIC TREATMENT OF
18 other sections not shown
Other editions - View all
abbreviating form acceptable antecedent apply argument assigned the value assumed value assumption chapter complex statement-form complex wff composite statement-form construct constructive dilemma contingent contraposition corresponding statement-form course D G(x demonstration elementary inference-form ence-form English enthymemes equivalence evaluation evaluation-procedure example exemplifying symbol EXERCISE existential existential quantifier Express the form false statement formal logic formalized language formally unsound formula genuine inference-form immediate inference individual individual-constant inference-form is valid inference-forms of Class introduced intuitively invalid kind logic of predicates logic of statements lung cancer main functor materially sound matrix matrix-definition ments minimal interpretation moods of immediate N-functor negation possible premiss-set primitive functors Principia notation principle Prior Analytics proof replaced result selective matrix-analysis self-inconsistent sentence specious Stalin statement-constants statement-form statement-variables step syllogism tautologous term-functor theorems of TL tion traditional logic truth-functor truth-value unit-statement universal quantifier valid and genuine variable Voltaire well-formed wff-variables