The New Encyclopædia BritannicaEncyclopædia Britannica, 1992 |
From inside the book
Results 1-3 of 94
Page 244
... true and true when p is false ; ( when thus interpreted ) is known as the negation sign and ~ p as the negation of p . ( ii ) Given any two propositions , p and q , then p⚫ q ( " p and q " ) is to count as true when p and q are both true ...
... true and true when p is false ; ( when thus interpreted ) is known as the negation sign and ~ p as the negation of p . ( ii ) Given any two propositions , p and q , then p⚫ q ( " p and q " ) is to count as true when p and q are both true ...
Page 247
... true except when p is true but q false . The truth - table test of validity can then be straightforwardly applied to wff's of PIC . The task of axiomatizing PIC is that of finding a set of valid wff's , preferably few in number and ...
... true except when p is true but q false . The truth - table test of validity can then be straightforwardly applied to wff's of PIC . The task of axiomatizing PIC is that of finding a set of valid wff's , preferably few in number and ...
Page 266
... true sentences having universal logical ranges and factually true ones having more restricted ranges . ( Roughly speaking , the log- ical range of a sentence is the set of all possible worlds in which it is true . ) A formal solution of ...
... true sentences having universal logical ranges and factually true ones having more restricted ranges . ( Roughly speaking , the log- ical range of a sentence is the set of all possible worlds in which it is true . ) A formal solution of ...
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