Annuler
connectez vous
logique en Bts
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- BTS SIO Métropole Obligatoire 2016 et son corrigé
- BTS SIO Obligatoire Polynésie 2016
- BTS SIO Obligatoire Métropole 2013 et son corrigé
- BTS SIO Obligatoire Polynésie 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
théorie sans modèle
Posté par 
amethyste
amethysteBonjour et merci d'avance
pour toute réponse à mes deux questions
_________________________________
première question:
A t-on le droit de se donner un langage "A" de la logique du premier ordre
et après avoir définis ses invariants et sa signature
(les seuls connecteurs logiques des invariants de "A" seront la négation et l'implication")
on définit une suite de formules closes qui ne se contredisent pas et dont on dira qu'elle constitue "une théorie des bidules"
(ici les variables et les constantes seront donc des bidules)
sans pour autant que l'on pose de modèle à ce langage
les variables contraintes par le quantificateur universel varient dans un univers de tous les possibles puisque tout objet peut suffir à définir un "bidule" dans la mesure où les formules sont vérifiées
Quand on part depuis la première formule, tout objet qui satisfait cette formule est susceptible d'être un bidule
au fur et à mesure que l'on avance dans la lecture de ces formules
la seule chose que l'on saura sur les "bidules" c'est qu'ils vérifient tous ces formules
donc ma question est : a t-on le droit de faire ça et d'appeler ça une théorie comme je l'ai fait ici ?
____________________________
deuxième question : (si jamais la réponse à la première question est affirmative)
dans la mesure où ces formules ne se contredisent pas , peut-on les qualifier d'axiomes de cette théorie?
Bonjour
pour moi (j'ai oublié de dire comment je répondais à ces deux questions)
-la réponse à la première question est:
oui
-la réponse à la deuxième question est :
il faut aussi pour cela qu'aucune formule soit déductible des autres
Bonjour
en absence de réponse je ferais mienne mes propres réponses
certes au risque de tout jeter à la poubelle mâme si c'est très embêtant car j'écris tout au propre) mais ce qui compte est que je ne garde rien dans ma cervelle qui soit faux au jour de mon dernier départ(ce jour là j'ai intérêt à être armé et pas me retrouver comme un con et rien pour me défendre)
si j'écris au propre c'est que ma cervelle ne dispose pas de mémoire infaillible (surtout que j'ai une idée bien précise de cette "théorie des bidules" et de ses formules)
l'avantage d'avoir ouvert ce sujet est qu'il est très généraliste il ne dit rien de concret , sa lecture est agréable et ne demande pour le lecteur aucun effort à faire sans avoir à se faire chier à lire des formules imbuvables de la logique du premier ordre
amethyste @ 11-08-2019 à 11:06
en absence de réponse je ferais mienne mes propres réponses
en absence de réponse je ferais mienne mes propres réponses
c'est donc accepté (qui ne dit mot consent)
Bonsoir
je ne vois pas pourquoi on n'aurait pas le droit
Après, une autre question qui se pose, je pense, tôt ou tard, c'est "à quoi ça va bien pouvoir servir ?", mais j'ai l'impression que ce n'est pas ton souci actuellement ?
lafol @ 11-08-2019 à 22:30
Bonsoir
je ne vois pas pourquoi on n'aurait pas le droit
Après, une autre question qui se pose, je pense, tôt ou tard, c'est "à quoi ça va bien pouvoir servir ?", mais j'ai l'impression que ce n'est pas ton souci actuellement ?
Bonsoir
je ne vois pas pourquoi on n'aurait pas le droit
Après, une autre question qui se pose, je pense, tôt ou tard, c'est "à quoi ça va bien pouvoir servir ?", mais j'ai l'impression que ce n'est pas ton souci actuellement ?
merci vous êtes une ange!!!
ni actuellement ni de tout temps non mon soucis n'est certes pas l'utilité
ça fait des décennies que je fais des choses inutiles c'est psychologique ou alors mon cerveau va se venger et me foutre un cancer sur les bras -ou toute autre maladie qui m'empêchera de faire des trucs qui servent
je le connais cet animal
vous me pardonnerez de ne pas citer votre pseudo (à chaque fois que je le fais j'ai un problème qui m'arrive , soit c'est mon chat qui est malade soit j'ai un incendie chez moi (sérieux j'en ai eu un) bref j'ai toujours un truc pas bon qui m'arrive
c'est un bien beau pseudo certes mais ...comment dire ou alors je dirais
merci la pasi fol là c'est ok !
bonne continuation à vous
j'ai la trouille
des fois que le fait que vous n'ayez pas vu ce message joue contre moi
ceci dit en le postant une nouvelle fois je considère que vous l'avez vu et mon cerveau le pensera comme tel
amethyste @ 11-08-2019 à 23:05
vous me pardonnerez de ne pas citer votre pseudo (à chaque fois que je le fais j'ai un problème qui m'arrive , soit c'est mon chat qui est malade soit j'ai un incendie chez moi (sérieux j'en ai eu un) bref j'ai toujours un truc pas bon qui m'arrive
c'est un bien beau pseudo certes mais ...comment dire ou alors je dirais
merci la pasi fol là c'est ok !
bonne continuation à vous
vous me pardonnerez de ne pas citer votre pseudo (à chaque fois que je le fais j'ai un problème qui m'arrive , soit c'est mon chat qui est malade soit j'ai un incendie chez moi (sérieux j'en ai eu un) bref j'ai toujours un truc pas bon qui m'arrive
c'est un bien beau pseudo certes mais ...comment dire ou alors je dirais
merci la pasi fol là c'est ok !
bonne continuation à vous