Logique et raisonnements - partie 1 : logique

Summary

Ce chapitre introduit les bases de la logique mathématique en définissant les assertions, véritables ou fausses, et leurs combinaisons à l'aide des opérateurs logiques : et, ou, non, ainsi que l'implication et l'équivalence. Il explore les quantificateurs « pour tout » et « il existe », leur négation, et l'importance de l'ordre des quantificateurs. Des exemples concrets illustrent les notions, depuis des phrases simples jusqu'aux implications et équivalences complexes. L'objectif est de développer un raisonnement rigoureux, permettant d'analyser, construire et démontrer des assertions de manière claire et précise, préparant le terrain pour des exercices pratiques et l'étude approfondie du raisonnement logique.

Takeaways

• 😀 Une assertion est une phrase qui est soit vraie, soit fausse, mais pas les deux en même temps.
• 😀 Les relations logiques comme l'AND (P et Q), l'OR (P ou Q) et la négation (non P) permettent de combiner et manipuler les assertions.
• 😀 L'implication (P implique Q) est une relation logique essentielle, où P étant vrai implique que Q soit aussi vrai.
• 😀 Les quantificateurs 'pour tout' (∀) et 'il existe' (∃) sont utilisés pour décrire des propriétés générales ou existentielles dans les mathématiques.
• 😀 Une fonction est continue si, en termes rigoureux, elle peut être définie sans lever le crayon, ce qui se traduit par une définition mathématique précise.
• 😀 Les tables de vérité sont utilisées pour vérifier la validité des différentes opérations logiques comme l'AND, l'OR et l'implication.
• 😀 Les équivalences logiques, telles que 'P et non non P' ou 'P implique Q' équivaut à 'non Q implique non P', permettent de simplifier des expressions logiques complexes.
• 😀 L'ordre des quantificateurs est très important. Par exemple, 'pour tout x, il existe y tel que x + y est positif' diffère de 'il existe y tel que pour tout x, x + y est positif'.
• 😀 Une implication fausse, comme 'P implique Q' lorsque P est vrai et Q est faux, est toujours importante pour l'analyse logique.
• 😀 La négation de phrases logiques et d'assertions implique de changer la quantification, par exemple 'il existe x tel que P(x)' devient 'pour tout x, non P(x)'.

Q & A

Qu'est-ce qu'une assertion en logique ?

Une assertion est une phrase qui est soit vraie soit fausse, mais jamais les deux en même temps.

Comment définit-on la conjonction de deux assertions P et Q ?

La conjonction 'P et Q' est vraie si et seulement si P et Q sont tous les deux vrais, sinon elle est fausse.

Quelle est la différence entre 'P et Q' et 'P ou Q' ?

'P et Q' est vrai seulement si les deux assertions sont vraies, alors que 'P ou Q' est vrai si au moins l'une des deux assertions est vraie.

Comment définit-on la négation d'une assertion P ?

La négation 'non P' est vraie si P est fausse et fausse si P est vraie.

Qu'est-ce qu'une implication P ⇒ Q et quand est-elle fausse ?

L'implication 'P implique Q' signifie que si P est vrai, alors Q doit être vrai. Elle est fausse uniquement lorsque P est vrai et Q est faux.

Qu'est-ce que la contraposée d'une implication et quelle est sa propriété ?

La contraposée de 'P ⇒ Q' est 'non Q ⇒ non P'. Une implication et sa contraposée sont toujours équivalentes.

Comment lit-on une assertion avec le quantificateur 'pour tout' ?

L'assertion 'pour tout x appartenant à E, P(x)' est vraie si P(x) est vrai pour tous les éléments x de l'ensemble E.

Comment lit-on une assertion avec le quantificateur 'il existe' ?

L'assertion 'il existe x appartenant à E tel que P(x)' est vraie si au moins un élément x de l'ensemble E satisfait P(x).

Comment négation d'une phrase avec un quantificateur fonctionne-t-elle ?

La négation d'une phrase avec 'pour tout' devient 'il existe x tel que non P(x)', et la négation de 'il existe x tel que P(x)' devient 'pour tout x, non P(x)'.

Pourquoi l'ordre des quantificateurs est-il important dans une phrase logique ?

Parce que changer l'ordre des quantificateurs peut modifier la vérité de la phrase : dans 'pour tout x il existe y', y dépend de x, tandis que dans 'il existe y pour tout x', y est fixe pour tous les x, ce qui peut rendre la phrase fausse.

Quelles sont les règles de négation des inégalités ?

La négation d'une inégalité stricte '<' devient '≥', et la négation d'une inégalité large '≤' devient '>' ; inversement, la négation d'une inégalité large '≥' devient '<', et '>' devient '≤'.

Donnez un exemple d'équivalence entre assertions.

L'assertion 'P et Q' est équivalente à 'Q et P'. De même, 'non (P et Q)' est équivalente à 'non P ou non Q'.