discussion:sa:la:propositional_logic