la:sa:propositional_calculus