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)

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…