Challenges traditional use of logic in the mathematics curriculum, indicating how it may be better used. Explicit suggestions and justification for placing inferential logic in high school geometry and relegating most of the sentential logic to algebra are provided. Overviews of both forms of logic are also provided. (JN)

The role of sentential logic traditionally taught in high school geometry is challenged. A rationale for shifting that content to algebra and replacing it with inferential logic, which directly affects proof making, is given. (MNS)

A previous article argued that the tradition of teaching sentential logic in geometry should be challenged and suggested that sentential logic be moved to algebra and replaced by inferential logic. Specific inferential logic topics were also suggested. This article elaborates on the inference schemes suggested and describes general proof…