logically true formula - Alemán Inglés Diccionario