first-order logic - Turc Anglais Dictionnaire