No anoi de 1981, quando Kurt Godel demosntrou um fato que torna verdaderia a seguinte afirmação: dada uma linguagem L_ da lógica elementar de prime...
No anoi de 1981, quando Kurt Godel demosntrou um fato que torna verdaderia a seguinte afirmação: dada uma linguagem L_ da lógica elementar de primeira ordem, então as noções de consequência lógica e dedução são equivalentes.
Compartilhar