Skip to content
Nydus Open Learning

Symbolic logic

Planning a derivation

Deciding the last line from the shape of the conclusion, turning what that rule demands into new goals, and recognising a legitimate step that leads nowhere.

About 20 minutes7 activities Paper packet