Logic/Propositional logic

In other languages