Logical language

Recall that the text lists 7 parts to an axiomatic system:

logical language,

rules of proof,

undefined terms, etc.

Previous slide

Next slide

Back to first slide

View graphic version