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

propositional logic
informat.	satslogik; satskalkyl
Anglais glossaire
propositional logic
abrév.	assertion-level logic (ssn); proposition logic (ssn)