# lógica formal
## Español
### Sustantivo femenino
#### 1 Matemáticas

    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

* Wikipedia tiene un artículo sobre lógica formal.

### Traducciones

Traducciones :
* Francés: logique mathématique ; logique formelle
* Inglés: mathematical logic