The New Encyclopædia Britannica: L-ZEncyclopædia Britannica, 1992 - 32 pages |
From inside the book
Results 1-3 of 56
Page 269
... logic has the same formal properties . In logic , pq signifies that the proposition ( or statement ) p implies the proposition q : that " if p , then q . " The reflexive law pop of logic states that any proposition p implies itself ...
... logic has the same formal properties . In logic , pq signifies that the proposition ( or statement ) p implies the proposition q : that " if p , then q . " The reflexive law pop of logic states that any proposition p implies itself ...
Page 271
... Logic networks . Boolean algebra is used for designing so - called logic networks for digital computers . Such a net- work typically has a finite number n of input leads , each of which goes into one of two states when pulsed , which ...
... Logic networks . Boolean algebra is used for designing so - called logic networks for digital computers . Such a net- work typically has a finite number n of input leads , each of which goes into one of two states when pulsed , which ...
Page 305
... logic : any mathematical theory may be regarded as an algebraic system the elements of which are the theorems ( the provable statements in the theory ) and the operations of which are the usual rules of deduction in logic ( modus ponens ...
... logic : any mathematical theory may be regarded as an algebraic system the elements of which are the theorems ( the provable statements in the theory ) and the operations of which are the usual rules of deduction in logic ( modus ponens ...
Other editions - View all
Common terms and phrases
20th century Abelian group addition aesthetic Afghanistan agriculture Albania alcohol algae algebra animals basin called central centre ceremonial climate coast common complex numbers Congo contains Côte d'Ivoire countries crops cultivation culture dance defined desert developed drinking drug East eastern economic Egypt elements equations European example farm feet field Figure finite fish forest functor Igbo important Indians integers irrigation isomorphism Kabul Kenya Lake Lake Chad Lake Victoria land language lattice Lie algebra linear major mapping miles modern mountains Niger Nigeria Nile northern operations patterns percent period Plains plants Plateau polynomial population rainfall real numbers region ring ritual River Sahara savanna social soil South Africa southern Africa species subgroup Sudan Tanzania theory tion traditional tribes tropical United valley vector space vegetation village West Africa western x₁ Yoruba Zaire Zambia Zimbabwe