Archivo de etiquetas para: prueba

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