What people are saying - Write a review
We haven't found any reviews in the usual places.
A THE PROPOSITIONAL CALCULUS PC 2 The Calculus PCi
Prepositional Connectionsc in PC
30 other sections not shown
analogous atomic sentences basis binary connective C-comprehensive C-equivalent C-true calculus containing calculus FC cConn closed sentences column components conjunctive connectionsc connectives of PC constructed contains NTT contains PC corresponding customary defined definition direct C-implicate directly C-false disc disjunctive rule equivalent extensional following holds form of PC free variable fulfill the conditions fulfill the following full formalization full sentence functional calculus functional logic implication implicationc interpretations for PC junctives Km and Kn L-]characteristic L-]normal interpretation L-concepts L-extensional L-true by NTT least one sentence likewise metalanguage negc negc(Ši non-normal interpretations normal interpretation primitive sentences Proof propositional calculus propositional logic propositional variables respect rule of refutation rules of deduction rules of inference rules of NTT semantical system sentential classes sentential function sign of disjunction sign of disjunctionc sign of negation signs of negationc singulary connection syntactical concepts syntax tence theorems concerning tion transfinite true interpretation truth-tables truth-value