Anglais ⇄ Allemand Danois Espagnol Espéranto Estonien Finnois Français Grec Italien Japonais Langues chinoises Lituanien Néerlandais Portugais Russe Suédois Ukrainien +

propositional calculus
informat.	calcul des propositions; calcul propositionnel; logique de proposition; logique propositionnelle
logiq.	logique des propositions