Implication en logique classique
Bonjour,
Comment montre-t-on $\mathrm{non}(\forall x, P(x)) \implies \exists x , \mathrm{non} P(x)$ en logique classique ? Car il me semble que c'est faux en logique intuitioniste ?
Est-ce qu'en logique intuitionniste $\mathrm{non}( A)$ est par définition $A \implies \mathrm{Faux}$ ?
Merci d'avance.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses