Logical System hausman Tutorials 1 to 10: Sentential Logic, using the Hausman syntax. Plus Tutorials 1 to 3: Sentential Truth Trees