The New Encyclopædia BritannicaEncyclopædia Britannica, 1992 |
From inside the book
Results 1-3 of 48
Page 268
... calculus and the predi- cate calculus ( see above Formal logic ) . The propositional calculus . It is easy to show that the propositional calculus is complete in the sense that every valid sentence in it - i.e . , every tautology , or ...
... calculus and the predi- cate calculus ( see above Formal logic ) . The propositional calculus . It is easy to show that the propositional calculus is complete in the sense that every valid sentence in it - i.e . , every tautology , or ...
Page 269
... calculus . Instead of using the function f as before , a can be arbitrarily denoted by 1. Since equation ( 3 ) is ... calculus ) . Thus , ~ M12 V ... V ~ Mg9 is a tautology , and this re- mains true if 1,2 , . . . , 9 are replaced by ...
... calculus . Instead of using the function f as before , a can be arbitrarily denoted by 1. Since equation ( 3 ) is ... calculus ) . Thus , ~ M12 V ... V ~ Mg9 is a tautology , and this re- mains true if 1,2 , . . . , 9 are replaced by ...
Page 578
... calculus . Although Barrow's decision to proceed geometrically prevented him from taking the final step to a true calculus , his lectures influenced both Newton and Leibniz . Newton and Leibniz . The essential insight of Newton and ...
... calculus . Although Barrow's decision to proceed geometrically prevented him from taking the final step to a true calculus , his lectures influenced both Newton and Leibniz . Newton and Leibniz . The essential insight of Newton and ...
Other editions - View all
Common terms and phrases
20th century Aeschylus allegory ancient Aristotle audience axiomatic axioms ballads biography calculus called character children's literature classical comedy comic criticism culture D.H. Lawrence derived dialects drama electrons elements Émile Zola energy England English epic essay example fiction Figure formal France French function genre German grammar Greek hero human inference interpretation John John Locke known language Latin light Lincoln linguistics Lisbon literary logic logician London luminescence Luther meaning medieval mereology metalogic metre modal logic modern moral morpheme nanometres narrative nature novel novelists original philosophical phoneme photons plays poem poet poetry predicate premises propositions prose prosody relation Renaissance romance rules saga satire semantic sense sentence social story structure style syllogisms syllogistic symbols T.S. Eliot tagmeme theatre theme theorem theory tion tradition tragedy tragic true truth valid variables verse wave wff's words writing written