Logic, Part 1, Propositions and Relations