Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 11-10-2018 08:50:54

Nouwezem william
Invité

Calcul propositionnelle

Bonjour
        S'il vous plaît débloquer moi cet exercice
     On a les formules de calcul suivante
Q1=r ou (p non((etq) inplique non r))
Q2= p et (r et ((non q) inplique non p))
Q3= ((q ou non p) inplique (non non q ou non p))et((non non q ou non p) inplique (non p ou non q))

       Pour chaque formule Qi€{Q1,Q2,Q3}
  1) Dessinez son arbre syntaxique
  2) énumérez ses sous-formule
  3) énumérez les synboles propositionnelle ayant une occurrence dans Qi
   Je ne comprends pas grand chose à cet exercice

Pied de page des forums