Olá colegas da lista;
Gostaria que alguém me esclarecesse a seguinte afirmação que eu li:
"O problema de identificar fórmulas válidas é sempre possível em logica
proposicional; possível sob certas condições em lógica de predicados. E
impossível em lógica de segunda ordem"
Obrigado
Denisson