Discussion:Introduction à la logique mathématique/Quiz/Manipulation des opérateurs IMPLIQUE et EQUIVALENT

Bonjour. N'y a-t-il pas un problème dans l'exercice 4 ?

(G ⟺ A) ⟺ (« 3 × 8 = 32 » ⟺ « Paris est la capitale de la France. ») ⟺ (Faux ⟺ Vrai) ⟺ Faux (et le correcteur m'impose : Vrai) ⋁ « On a changé les tables de multiplications sans me prévenir » ⋁ « Paris a bougé ⋀ je n'étais pas informé. »

--FrViPofm (discuter) 15 mars 2022 à 00:18 (UTC)

FrViPofm : C'est sûrement une erreur en effet. Les deux doivent être vrais ou faux pour que la relation soit vraie, mais pas l'un vrai et l'autre faux. 2001:861:3206:2C0:1575:B235:9F07:1B94 16 mars 2022 à 22:09 (UTC)