Logique Informatique
Exercice 1 (déduction naturelle classique). Pour chacun des séquents suivants, donner un contre-mod`ele1 ou une preuve dans NK0. 1. ¬¬(A ? ¬A) ? A. Corrigé ...
Exercice 1 (déduction naturelle classique). Pour chacun des séquents suivants, donner un contre-mod`ele1 ou une preuve dans NK0. 1. ¬¬(A ? ¬A) ? A. Corrigé ...