Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Un best-of d'exos de probabilités (après le bac)
- Ensemble et application Partie II
- Espaces vectoriels et Applications linéaires - supérieur
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
Logique Propositionel
Posté par bastos90
bonsoir a tous j'ai une proposition a traduire en langage des proposition et je ne sais pas si c'est correct une petit aide ne serai pas de refus voila :
" s'il n'a pas déjà redouble et s'il a une moyenne proche de 10, alors il poura etre rachete et il n'est racheter que dans le seul cas ou il a moins de 6 absences. "
voila ce que j'ai fait :
p : il a deja redouble
q : il a une moyenne proche de 10
r : il pourra etre racheter
s : il a moin de 5 absences ;
( (
p
q)->r ) (s->r) ;
voila si quelqu'un pouvait me corriger merci
Bonsoir Bastos.
Avoir moins de cinq absences est nécessaire pour être racheté.
La deuxième partie est : (s -> r) ou encore (r -> s).
je revient une derniere fois pour demander une petit aide sur mon premier post et pour me dire si ce que j'ai fait est juste ! silvouplait .
merci
Bonjour.
La réponse est bonne.
Il faut simplement permuter r et s à la fin (dans les dernières parenthèses).