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
- Ensemble et application Partie II
- Ensemble et application Partie I
- Espaces vectoriels et Applications linéaires - supérieur
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - 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... Autre LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Bonsoir,
Ton commentaire et ton exemple sont absolument caricacturaux : Le problème était que tu revenais sans cesse à une approche (table de vérité) qui n'apportait absolument rien dans la compréhension et la résolution du problème. Passons...
Quant au nouvel exercice (peut-être nécessiterait-il un nouveau fil : un fil, un problème), ca serait une occasion d'employer une table de vérité. Sauf qu'ici avec 5 variables propositionelles, il faudrait 25=32 lignes. On peut se restreindre à 16 lignes en remarquant que, la clause 4 imposant l'équivalence de A et D, la variable propositionnelle D est superflue et chacune de ses occurences peut être remplacée par A.
Je t'engage à faire ce tableau et à vérifier que sur aucune des seize lignes, les cinq clauses 1-2-3-5-6 ne sont simultanément satisfaites (avec valeur 1). Ca qui montrera l'incompatibilité du système. Par contre, il existe au moins une ligne où les clauses 1-2-3-5 sont simultanément satisfaites.
Tu pourras même vérifier que, si on retire la clause 6, alors le club est uniquement constitué de célibataires écossais ne portant ni jupe, ni chaussettes oranges et sortant le dimanche.
Bonjour
Effectivement, je vérifie que le système est incompatible avec les clauses 1-2-3-5-6.En retirant la 6, on obtient une ligne ou' les clauses 1-2-3-5 ont la valeur 1 et en déduit "um membre du club est célibataire, écossais ne portant ni jupe, ni chaussettes oranges et sortant le dimanche"
Voici un exercice sur la formalisation:
Soit les propositions : P : « il fait 30° «
Q : « il fait chaud »
Formaliser
1) S'il fait 30°, il fait chaud
2) Puisqu'il fait 30°, il fait chaud
3) Ou il fait 30°, ou il fait chaud ( ou exclusif)
4) S'il fait 30°, il fait chaud ; mais il fait 30° ; donc il fait chaud »
Réponse:
1) P ===> Q
2) je ne sais pas
3) P Et Non(Q) OU Non(P)Et Q
4) (P ===> Q )====> Q ? je ne sais pas comment formaliser "mais"
Merci pour l'aide
Bonsoir,
Tu vas me trouver encore une fois critique, mais je trouve idiots ces exercices de traduction de phrases ordinaires en formules logiques. On n'est pas du tout dans le même registre. On peut formaliser un raisonnement mathématique. C'est de la stupidité de faire formaliser une phrase de conversation.
Mes critiques ne s'adressent pas à toi, mais aux personnes qui posent ces exercices stupides.
Bonjour,
Ces phrases de conversations sont dans des livres de mathématiques chapitre logique.
Personnellement je débute et ça me convient pour apprendre les rudiments ou les débuts de la logique.Pour la formalisation de raisonnement mathématiques comme les quantificateurs ou choses comme çà,je ne sais pas trop, j'y suis pas encore.J'avance petit à petit.
Je comprends tout à fait que quelqu'un de ton niveau trouve ça stupide car ça l'ennuie plus qu'autre chose. A moins que tu peux me proposer des paragraphes interessants de logique mathématique mais à mon niveau de débutant (post bac).Je te remercie pour toute l'aide que tu m'as apportée.
mais j'aimerai bien qu'on m'aide, si possible,sur les exos que je poste.
Merci