The New Encyclopædia BritannicaEncyclopædia Britannica, 1983 - Encyclopedias and dictionaries |
From inside the book
Results 1-3 of 30
Page 45
... predicate cal- culus ( III . ) and for various systems of modal logic ( IV . Alternative systems of modal logic ) . III . The predicate calculus Propositions may also be built up , not out of other prop- ositions but out of elements ...
... predicate cal- culus ( III . ) and for various systems of modal logic ( IV . Alternative systems of modal logic ) . III . The predicate calculus Propositions may also be built up , not out of other prop- ositions but out of elements ...
Page 48
... predicate calculi , though formulable , are mostly very complicated ; and , to avoid the necessity for these rules , axioms for these systems are therefore usually given by axiom schemata in the sense explained in II . Ax- iomatization ...
... predicate calculi , though formulable , are mostly very complicated ; and , to avoid the necessity for these rules , axioms for these systems are therefore usually given by axiom schemata in the sense explained in II . Ax- iomatization ...
Page 1083
... predicate calculus as usually for- mulated , is a theorem in it . It is then easy to use the usual rules of the predicate calculus to derive also the state- ment , " There exists an x such that , for every y , x is not M of y " ; i.e. ...
... predicate calculus as usually for- mulated , is a theorem in it . It is then easy to use the usual rules of the predicate calculus to derive also the state- ment , " There exists an x such that , for every y , x is not M of y " ; i.e. ...
Other editions - View all
Common terms and phrases
applied army atoms bearings became become body called cause central centre century church complete connected continued cutting direction Dutch early effect electric electrons energy equal example expressions fact field Figure force France French function gears German give given House important increased industry Italy King known land later load logic London Louis lubricant machines magnetic major material means mechanical ment miles motion move movement natural obtained operations original period political population position possible principles problem produced properties propositions region relations remained result River rotation rule shaft speed square surface temperature theory tion tool towns true turn types United universal usually valid