Portuguese_3.0 | Catalan_3.0 | German_3.0 | English_3.0 | Basque_3.0 | French_3.0 | Galician_3.0 | Spanish_3.0 | |
---|---|---|---|---|---|---|---|---|
Aussagenlogik | propositional_calculus, propositional_logic | calcul_des_propositions, calcul_propositionnel | cálculo_proposicional, lógica_proposicional |