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).
- Contributions : Récentes | Sans réponse
Pages : 1
Discussion fermé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
Pages : 1
Discussion fermée