Logique

1283 mots 6 pages
Logique et raisonnement
∗ ∗ ∗

I. Éléments de logique
1. Propositions
Définition 1. On appelle proposition tout énoncé mathématique qui est soit vrai soit faux. Remarque 1. 1. Si P est une proposition, on écrit P pour dire « P est vraie ». 2. Si P (x) est une proposition dépendant de x, elle sera vraie ou fausse suivant les valeurs de x : soit E un ensemble, on écrit « ∀ x ∈ E, P (x) » pour dire que « P (x) est vraie pour toute valeur de x dans l’ensemble E ». Exemples 1. 1. La proposition ∀ x ∈ R, x2 ≥ 0 est vraie. 2. La proposition ∀ x ∈ R, x2 > 0 est fausse.

2. Opérations sur les propositions
Définition 2. Soient P et Q deux propositions. On définit les propositions suivantes : ∗ la négation de P , notée P qui est vraie si P est fausse et réciproquement. ∗ la proposition « P ou Q » qui est vraie si au moins l’une des deux propositions est vraie, fausse sinon, ∗ la proposition « P et Q » qui est vraie si les propositions P et Q sont simultanément vraies, fausse sinon. Remarque 2. Attention : le ou mathématique est inclusif contrairement au « ou »,qui peut être exclusif : « le mardi à 14h, vous avez math ou bio ? ». Proposition 1. Soient P et Q deux propositions. Alors, 1. La négation de « P ou Q » est « P et Q ». 2. La négation de « P et Q » est « P ou Q ». Remarque 3. Lorsque l’on écrit la négation d’une proposition avec quantificateurs, on remplace le quantificateur ∀ par un quantificateur ∃ et inversement. 1. La négation de : ∀ x ∈ E, P (x) est : ∃ x ∈ E, P (x). 2. La négation de : ∃ x ∈ E, P (x) est : ∀ x ∈ E, P (x). Exemples 2. Soit E un ensemble de réels. 1. La négation de la proposition : ∀ x ∈ E, x ≤ 2 est la proposition : ∃ x ∈ E, x > 2.

2

Lycée CHATEAUBRIAND - BCPST 1B
2. La négation de la proposition : ∃ x ∈ E, x > 1 est la proposition : ∀ x ∈ E, x ≤ 1. 3. La négation de la proposition : ∀x ∈ E, 1 < x ≤ 2 est la proposition : ∃x ∈ E, x ≤ 1 ou x > 2.

Exercice 1. Écrire mathématiquement les propositions suivantes et leur négation : 1.

en relation

  • 2007-Amernord-corrige
    2779 mots | 12 pages
  • Geev
    869 mots | 4 pages
  • Loinormales Coursexos
    2177 mots | 9 pages
  • Resolution equadiff
    1402 mots | 6 pages
  • Maths
    483 mots | 2 pages
  • Concours isup
    1669 mots | 7 pages
  • révisions intégrale ECE
    1995 mots | 8 pages
  • M EA ENS JMF 03
    1204 mots | 5 pages
  • devoir de maths bts sio cned
    859 mots | 4 pages
  • Determinant d'un livre de maths
    9922 mots | 40 pages
  • maths
    369 mots | 2 pages
  • Le syllogisme dans l'odyssée
    722 mots | 3 pages
  • TSrecucours
    1158 mots | 5 pages
  • Cas gdf
    374 mots | 2 pages
  • Notions de base de logique
    786 mots | 4 pages