Examen de Logique, L2 2010
Exercice 1 Formaliser en Calcul des prédicats les phrases suivantes : 1. Les ... Correction : ?!xP(x) def. = ?xP(x) ? ?y(y = x ? ¬P(y)) ou encore : ?!xP ...
Exercice 1 Formaliser en Calcul des prédicats les phrases suivantes : 1. Les ... Correction : ?!xP(x) def. = ?xP(x) ? ?y(y = x ? ¬P(y)) ou encore : ?!xP ...