Casse-tête — Vrai ou faux logique

What’s inside

• En logique classique, quelle formule est équivalente à l’implication « si P, alors Q » ?
• La converse de « si P, alors Q » est logiquement équivalente à cette implication dans tous les cas.
• Quelle est la contraposée de l’implication « si A, alors B » ?
• Dans l’énoncé « A est une condition nécessaire de B », quelle formalisation est correcte ?
• Si A est une condition suffisante de B, alors la vérité de A garantit la vérité de B.
• Que signifie précisément l’expression « A seulement si B » ?
• À partir de « si P, alors Q » et de « Q est vraie », on peut toujours conclure que P est vraie.
• Dans le modèle où un menteur énonce toujours une proposition fausse, un menteur affirme « P est vraie ». Que peut-on…