Forum de Mathématiques: Maths-Forum

pour moi,ça tient la route... D'accord, merci :happy2: La formule que tu cherches à prouver est une tautologie. Toutes les contorsions que tu fais (agrandir la théorie, lemme de déduction, etc) n'est que poudre aux yeux. Bonsoir, mais je ne dois pas faire de tables de vérités :hein: donc la déducti...

bonsoir, Ta démo n'utilise pas le tiers exclu, à savoir que A v 7A est une tautologie ? je n'ai pas très bien compris ce que tu veux dire, je n'ai pas utilisé la règle du tiers exclus (peut être si je l'avais fait la démonstration aurait été plus courte). A v 7A est une tautologie mais je ne l'ai p...

Elvis a écrit:ben c'est ce que j'ai fait, mais ça bloque toujours, alors je sais pas trop ce que je fais de mal ... (pour info, nxclient est un programme qui permet de se connecter à un ordinateur à distance)

Bonsoir,
je crois qu'il fait d'abord voir la compatibilité de ta version avec ton système d'exploitation

Bonsoir, Merci busard_des_roseaux pour la réponse, j'ai essayé de la résoudre ce matin et voici ma démonstration que j'espère juste. (1) A -> B , 7A |- 7A ............(axiome) (2) A -> B , 7A |- 7A v B ...........(introduction2 du "ou" sur la (1)) (3) A->B |- 7A -> (7A v B) ............(in...

je ne l'ai pas trouvé et j'aimerai savoir s'il y a une méthode ou une petite astuce pour le retrouver facilement

D'après ce que tu me dis A \Rightarrow B \Leftrightarrow \not {A \lor B} Et je n'ai pas venu d'axiome. Bref je te propose de prouver que ces deux formules sont sémantiquement équivalentes grâce à leurs tables de vérité. je te remercie pour ta patience :happy2: la question était de prouver ça par dé...

OK, décris moi ton système formel alors, alphabet,axiomes, etc ... c'est un système booléen où les seuls valeurs sont "vrai" et "faux" avec les connecteurs usuels "et" "ou" "implication" "négation" "équivalence" les parenthèses. ...

Argentoratum a écrit:Bref, de toute façon la réponse est simple
A implique B est équivalent à nonA ou B

et bien la question est de prouver ça! :hein:

Argentoratum a écrit:CP1 ça te dis quelque chose ?

:triste:

mais on fait le calcul des prédicats dans le premier ordre :hein:

désolée pour l'écriture je ne sais pas écrire en latex

|- (A->B) -> ( ¬ A v B)

déduction ( A implique B) implique ( négation A ou B)

voilà désolée encore pour cette écriture

je ne comprends pas très bien la question sur le système formel, logique du premier ordre? :peur:

Bonsoir,

je dois démontrer par déduction:

|- (A->B) -> (7 A v B)

seulement je n'arrive pas à trouver le bon début pour arriver à la solution, pouvez vous m'aider avec l'axiome par lequel recommencer s'il vous plait? :cry:

merci Floredelarab pour ta réponse :++:

bonne journée

alors je fais 2 puissance 8?

d'abord je vous remercie pour vos réponses, le fait que ce soit 8 différents caractères sur 8 cases me pose problème de compréhension, (lequel des 8 est celui des caractères) alors j'expose mon problème autrement si vous le permettez, on a deux caractères différents ex: a, b sur 8 cases on peut auss...

Bonsoir,

alors voilà, dites moi s'il vous plait combien de combinaison on peut faire avec 8 caractères sur 8 cases?

ma réponse était 16777216

autrement dit, j'ai calculé 8 puissance 8 :hein:

Bonjour Cowboy vider est le contraire de remplir donc on mettera le (-) moins dans l'équation représentant le 3 ème robinet et s'ils sont ouverts en même temps, une durée d'une heure est suffisante pour remplir le bassin mais je ne suis pas du tout certaine, c'est un calcul vite fait, je vais revoir...

emdro a écrit:C'est un peu faire les choses à l'envers, mais pour t'en convaincre, à partir de la formule de Stirling, prends le logarithme, et tu verras ce qui se passe.

NB Tu trouveras facilement une démo de Stirling sur le net.

Merci emdro :we:

emdro a écrit:Attention, ce ne sont pas des égalités, mais des équivalents.

Et si:
implique ,
on n'a pas:
implique

ok j'ai confondu

et comment :hein:

Ben .... c bizarre comme question. C'est comme demander si le carré assure la continuité géométrique du rectangle .... ou si le cercle assure la continuité géométrique de l'ellipse. Je dirais non car c'est la même chose et oui car c'est la même chose. je me suis peut être mal exprimé je parle des c...

Bonjour, A-t-on \ln(n!) \sim n \ln{n} ? A-t-on n! \sim n^n ? Pourriez vous m'aider à justifier si ces équivalents sont vrais ou non ? Merci d'avance :zen: si n! = n exp n alors ln(n) = ln (n exp n) = n ln (n) désolée je ne sais pas écrire en latex (j'aimerai comprendre comment le n! = n exp...