Calcul propositionnelle



  • Bonjour,

    Je demande votre aide pour un exercice,

    Soit (G,+) et (H,+) deux groupes : G ∪ H est un groupe ssi G⊂H ou H⊂G.

    Je dois énoncer ce résultat sous forme d'une formule du calcul propositionnelle utilisant les variables propositionnelles A,B,C.

    j'ai montré que les formules suivantes sont équivalentes
    -((B∪C)⇒A)
    -((B⇒A)∩(C⇒A))
    et
    -(A⇒B∪C)
    -(A∩nonB)⇒C)

    J'ai fait des tableaux de vérité et j'ai trouvé qu'ils avaient la même table de vérité donc c'est équivalent.

    Merci d’avance de l'aide


 

Découvre aussi nos cours et fiches méthode par classe

Les cours pour chaque niveau

Encore plus de réponses par ici

Il semble que votre connexion ait été perdue, veuillez patienter pendant que nous vous re-connectons.