Logique mathématique

Vérifier au moyen des tables de vérité si les conséquences sémantiques sont valides

  1. A, (A → B) ╞ B

  2. A, (B → C), (A → (B → C)) ╞ C

  3. (A → C), (C → B), ﹁A ╞ ﹁B

PrécédentPrécédentSuivantSuivant
AccueilAccueilImprimerImprimerRéalisé avec Scenari (nouvelle fenêtre)