discussion:sa:propositional_logic