Update PropLogic example to use modern syntax

Also add another proof of completeness, following approach in
Johnstone's book and getting things like compactness as a corollary.