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

propositional logic
informat.	logique propositionnelle; calcul des propositions; calcul propositionnel; logique de proposition
logiq.	logique des propositions
Anglais glossaire
propositional logic
abrév.	assertion-level logic (ssn); proposition logic (ssn)