Let us conceive, then, of an Algebra in which the symbols x, y, z, &c. admit indifferently of the values 0 and 1, and of these values alone. The laws, the axioms, and the processes, of such an Algebra will be identical in their whole extent with the laws,... An Investigation of the Laws of Thought: On which are Founded the ... - Pagina 37door George Boole - 1854 - 424 pagina’sVolledige weergave - Over dit boek
| George Hugh Smith - 1901 - 306 pagina’s
...symbols x, y, z, etc., " admit indifferently of the values of i and o and of those values alone," then " the laws, the axioms, and the processes of such an...be identical in their whole extent with the laws, axioms, and process of an algebra of Logic." Accordingly, Mr. Boole's system is founded on this hypothesis,... | |
| George Hugh Smith - 1901 - 298 pagina’s
...symbols x, y, z, etc., " admit indifferently of the values of i and o and of those values alone," then " the laws, the axioms, and the processes of such an...be identical in their whole extent with the laws, axioms, and process of an algebra of Logic." Accordingly, Mr. Boole's system is founded on this hypothesis,... | |
| 1910 - 426 pagina’s
...symbols г, у, г. Ac. admit indifferently of the values 0 and I, and of these values alone. The Uws, the axioms, and the processes of such an Algebra will...laws, the axioms, and the processes of an Algebra of Ix>gic. Difference of interpietation will a'one divide them. Upon this principle the method of the... | |
| William Calvert Kneale, Martha Kneale - 1962 - 802 pagina’s
...conceive, then, of an Algebra in which the symbols x,y, z etc. admit indifferently of the values o and i , and of these values alone. The laws, the axioms, and...their whole extent with the laws, the axioms, and the 1 Couturat, Lo Log1qut de Leibniz., pp. 345-50. processes of an Algebra of Logic. Differences of interpretation... | |
| Sal P. Restivo - 1992 - 230 pagina’s
...only of the values 0 and 1 . Let us conceive, then, of an Algebra in which the symbols x, y, z & c admit indifferently of the values 0 and 1 , and of...Difference of interpretation will alone divide them. Thus does Boole set forth the principle upon which his method rests. If we look at the earlier paragraphs... | |
| Witold Marciszewski, Roman Murawski - 1995 - 288 pagina’s
...interpreted numerically. He wrote: Let us conceive, then, of an Algebra in which the symbols x, y, 2 etc. admit indifferently of the values 0 and 1, and of...axioms, and the processes of an Algebra of Logic. Differences of interpretation will alone divide them. Upon this principle the method of the following... | |
| Koichi Furukawa, Kōichi Furukawa, Donald Michie, Stephen Muggleton - 1999 - 518 pagina’s
...in uhieh the symbols .ryz &c. admit indifferently of the values 0 and L and of these values atone. The laws. the axioms. and the processes. of such an algebra will be identical in iheir whole extent with the laws. the axioms. and the processes of an Algehra of Lngic. Difference... | |
| James Gasser - 2000 - 374 pagina’s
...from the same universe, and the sum the description of two disjoint classes, and he goes on to assert: The laws, the axioms, and the processes, of such an...their whole extent with the laws, the axioms, and processes of an Algebra of Logic. Difference of interpretation will alone divide them. Upon this principle... | |
| Hans Wußing - 2008 - 529 pagina’s
...conceive, then, of an Algebra in which the Symbols x,y,z,&zc . admit indifferently of the values 0 and l , and of these values alone. The laws, the axioms, and...Difference of Interpretation will alone divide them. " [Boole 1854, S. 37f.] Es handelte sich für Boole also nicht um eine Anwendung eines Systems der... | |
| Dov M. Gabbay, John Woods - 2004 - 780 pagina’s
...principle that appears for the first time is expressed by [Boole, 1952a, 4l] in the following words: Let us conceive, then, of an Algebra in which the...Difference of interpretation will alone divide them. This principle yields the basis for a rather powerful proof method [Boole, 1854, 76]. Boole uses it... | |
| |