désolé
Annuler
connectez vous
logique en Bts
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- BTS SIO Obligatoire Polynésie 2016
- BTS SIO Métropole Obligatoire 2016 et son corrigé
- BTS SIO Obligatoire Polynésie 2013 et son corrigé
- BTS SIO Obligatoire Métropole 2013 et son corrigé
- Sujet corrigé BTS CGO Pondichery 2016
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... BTSForum de maths BTS LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau BTS
écriture d'un prédicat
Posté par raphael013
Bonjour,
Dans un exercice je dois écrire un prédicat mais je ne suis aps sur de la bonne méthode que j'utilise, je vous montre:
Soit un ensemble E de nombres entiers de [0;50]
Ecrire un prédicat associé à l'ensemble exposé:
B={2;3;5;7;11;13;17;23;29;31;37;41;43;47}
Il faut que:
x soit entier
x est incrémenté de 2
x est inférieur ou égal à 47
0 est exclu
(x
)
(x=x+2)(x
47)(0
x)
Voila ce que je trouve, merci bien de votre aide.
Salut
B={2;3;5;7;11;13;17;23;29;31;37;41;43;47} est la liste des nombres premiers plus petit ou égal à 50 et différents du nombre 19
Le 19 est inclu je l'ai simplement oublié.
Ptinoir, en langage prédicat ca donne quoi ? comment je peux définir qu'il s'agit de nombre premier ?
Je calcule la racine du nombre et j'essaie de diviser le résultat par tous les nombres premiers inférieurs à ce dernier
Ce n'est pas la définition. C'est un procédé pour tester si un nombre est premier. Je répète : quelle est la définition de "nombre premier" ?
bonjour
si je puis me permettre ne serait ce pas :
un nombre est premier s'il n'est divisible que par 1 ou lui même ?