Introduction to Logic

Formal work in propositional and predicate logic. The patterns of valid inference are studied via a formal system, and connections are drawn between elements of the system and the types of argument and inference used in ordinary language.

References

• Volker Halbach, The Logic Manual (OUP).