"propositional logic"@en-us . .