Artículos

Prueba formal

/

En lógica, una derivación formal (o prueba formal) es una secuencia finita de sentencias donde ca…

Lenguaje formal

/

Para otros usos de este término, véase Lenguaje formalizado. En matemáticas, lógica y ciencias de…