lógica formal

Español

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

Locución sustantiva y femenina

lógica formal (copulativa) ¦ plural: lógicas formales

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 ^(fr); logique formelle ^(fr)
• Inglés: mathematical logic ^(en)