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


Se connecter pour répondre
 

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