sa:propositional_calculus