Artículos

Prueba formal
/
0 Comentario
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…