TD de Logique et Circuits n 8 (Correction) Calcul Propositionnel ...
Correction : P ?M , M ?¬P , ¬(P ?M ?J), ¬P ?¬M , P ? M ?J , M ?J ? P , (M ? P)?(P ? M). Exercice 2 Une contrée est peuplée de bons, qui disent ...
Correction : P ?M , M ?¬P , ¬(P ?M ?J), ¬P ?¬M , P ? M ?J , M ?J ? P , (M ? P)?(P ? M). Exercice 2 Une contrée est peuplée de bons, qui disent ...