discussion:sa:en:propositional_calculus