logique math

Posté par GaBuZoMeu GaBuZoMeu

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 2⁵=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.

Posté par kader1 kader1

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

Posté par GaBuZoMeu GaBuZoMeu

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.

Posté par kader1 kader1

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