classically valid formula (logic) - Français Anglais Dictionnaire