Formalization of Logic |
Contents
A THE PROPOSITIONAL CALCULUS PC | 7 |
Application of LConcepts to Junctives | 22 |
Junctives in Syntax | 23 |
13 other sections not shown
Other editions - View all
Common terms and phrases
analogous atomic sentences binary connective binary general connective C-comprehensive C-equivalent calculus containing cConn closed sentences column components conjunctive connectionsc connectives of PC constructed contains NTT contains PC defined definitions direct C-implicate disc extensional FC₁ following holds form of PC free variable fulfill the conditions fulfill the following full formalization full sentence implication interpretation for K junctives L-]characteristic value L-]normal interpretation L-]satisfies L-concepts L-extensional L-false L-range L-true by NTT least one sentence Let K contain Let K fulfill likewise metalanguage negc negc(S negc(S1 nege non-extensional non-normal interpretations normal interpretation PC₁ primitive sentence Proof propositional logic propositional variables R₁ R₂ rule for Conn rule of refutation rules of deduction rules of inference rules of NTT S₁ semantical sentence in K sentential class sign of disjunction sign of negation signs of negationc singulary connection singulary general connective syntax tence tion transfinite true interpretation truth-tables truth-value violates N2