`Logic`

`Logic`Set`

{True, Not, And, Or, Xor}

 

See English definition for �logic�.

 

A comparison of the `Logic` Keywords as Boolean elicitations is in �Logic Elicitations�.

 

Grok32` defines keywords with multiple assignments elicited by different forms.  �True� is a good example.

 

� True has its standard boolean meaning.

  

� True[expr] returns True if expr is unassigned (does not change) when it is evaluated.�

(Conversely, False[expr] returns True if expr is assigned, (would change), if it were Reckoned.)

 

Similarly And[�], Or[�], and Xor[�] all have boolean meanings and Set interpretations.

 

The `Logic` Context includes the `Logic`Set`.�� This subContext develops the PatternSet and its relation to the `Logic` keywords.

 

Various conventional `Logic` keywords assignments, like Nor[�argii�], Nand[�argii�], Not[Xor][�argii�], and others are documented in Logic Constructs.

 

 

 

logic    n.

1. The study of the principles of reasoning, especially of the structure of propositions as distinguished from their content and of method and validity in deductive reasoning.

2. A system of reasoning: Aristotle's logic.

A mode of reasoning: By that logic, we should sell the company tomorrow.

     3. The formal, guiding principles of a discipline, school, or science.

Valid reasoning: Your paper lacks the logic to prove your thesis.

     4. The relationship between elements and between an element and the whole in a set of objects, individuals, principles, or events: There's a certain logic to the motion of rush-hour traffic.

 

Computer Science.

The nonarithmetic operations performed by a computer, such as sorting, comparing, and matching, that involve yes-no decisions.

Computer circuitry.

Graphic representation of computer circuitry.

 

Grok32`

� 2004, 2005

by John Van Wie Bergamini

All rights reserved.