Quote: Boole used the symbol 'v' instead of the universal qualifier; e.g., y=vx for \forall y x

Quotation

From such considerations we derive the following Rule, for expressing an affirmative universal proposition whose predicate is particular: [prefix the predicate with 'v', e.g., "All men are mortal" is y=vx where y represents men and x stands for "mortal beings."   Google-1   Google-2

Published before 1923

Related Topics

Topic: logic (84 items)