lógica formal

Español
lógica formal
pronunciación (AFI) [ˌlo.xi.ka foɾˈmal]
rima al

Sustantivo femenino
Singular Plural
logica formal logicas formales
1 Matemática
Rama de las matemáticas que estudia las representaciones formales del lenguaje matemático o de los lenguajes o sistemas formales, el modelado matemático, el razonamiento matemático y las relaciones entre estos.
  • Sinónimo: lógica matemática.

Véase también

Traducciones
Traducciones
  • Francés: logique mathématique (fr), logique formelle (fr)
  • Inglés: mathematical logic (en)

Referencias y notas
    Este artículo ha sido escrito por Wiktionary. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.