lógica formal
Español[editar]
| lógica formal | |
| pronunciación (AFI) | [ˌlo.xi.ka foɾˈmal] |
| rima | al |
Sustantivo femenino[editar]
| 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[editar]
Wikipedia tiene un artículo sobre lógica formal.
