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
- Ensemble et application Partie II
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
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... École ingénieur LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau école ingénieur
Logique
Posté par Makaina
Bonjour a tous j'aimerai que vous m'aidiez à résoudre cet exercice:
démontrer que (1=2) => ( 2=3)
Bonjour
Tu dois appliquer des opérations licites (ici une seule opération) à ta première égalité pour arriver à la deuxième
bonjour,
curieuse question !
Si tu te place au niveau de la logique qui est équivalent à
qui est vrai si p est faux ce qui est le cas
En revanche
Un argument basé sur la construction de
Dans l'axiomatique qui permet de définir
n+0=n
On note le suivant de n,
et donc 1=2 signifie
ce qui est évidement une proposition fausse
alors que a=b implique mais si on revient à la logique ton hypothèse fausse avec le respect de l'axiomatique implique un résultat faux mais l'implication est vraie (ne pas confondre implication et inférence)
bonjour
DOMOREA @ 21-03-2021 à 12:12
Si tu te place au niveau de la logique
qui est équivalent à 
Si tu te place au niveau de la logique
euh... non, je ne crois pas ...