logical proposition - French English Dictionary