## Formalization of logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Logic | 3 |

A THE PROPOSITIONAL CALCULUS PC 2 The Calculus PCi | 7 |

Prepositional Connectionsc in PC | 10 |

30 other sections not shown

### Other editions - View all

### Common terms and phrases

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