Notions de base de logique

786 mots 4 pages
Notion de base de logique mathématique | Vocabulaire :

Proposition : phrase qui représente une affirmation, un événement, une propriété.
Axiome : proposition évidente par elle même et qui n'est pas démontrable.
Théorème : proposition qui peut être démontrée.
Lemme : proposition auxiliaire pour faciliter la démonstration d'une autre proposition.
Conjecturer : fonder son opinion sur des apparences, avoir une idée de la propriété sans l'avoir démontré.
Incompatibles : deux propositions sont incompatibles si elles ne peuvent pas être vérifiées en même temps. | Algèbre des propositions | Opérations sur les propositions :
Soient p et q deux propositions , on peut définir sur ces propositions plusieurs opérations :

La négation d'une proposition que l'on p se prononce " non p " et signifie contraire de p exemple : p : " j'ai perdu ma calculatrice " p : " je n'ai pas perdu ma calculatrice ".
La disjonction que l'on note v p v q signifie : " p ou (inclusif ) q " exemple : p : " j'ai perdu ma calculatrice " q : " j'ai 8 au dernier devoir de maths " p v q : "j'ai perdu ma calculatrice ou j'ai 8 au dernier devoir de maths "
Signification en langage courant : j'ai 8 au dernier devoir de maths ou j'ai perdu ma calculatrice ou j'ai 8 au dernier devoir et en plus j'ai perdu ma calculatrice.

La conjonction que l'on note ^ p ^ q signifie : " p et q " exemple : p : " j'ai perdu ma calculatrice " q : " j'ai 8 au dernier devoir de maths " p ^ q : " j'ai perdu ma calculatrice et j'ai 8 au dernier devoir de maths "
Signification en langage courant :
J'ai perdu ma calculatrice et j'ai 8 au dernier devoir de maths (en plus, comme si ça ne suffisait pas ) .

Implication que l'on note p q signifie : " si p alors q " exemple : p : " j'ai perdu ma calculatrice " q : " j'ai 8 au dernier devoir de maths " p q : "Si j'ai perdu ma calculatrice alors j'ai 8 au dernier devoir de maths "
Signification en langage courant :
Si j'ai

en relation

  • Inscription
    345 mots | 2 pages
  • kit survie ts
    7396 mots | 30 pages
  • chose
    568 mots | 3 pages
  • Sketech
    467 mots | 2 pages
  • Principes de logique
    752 mots | 4 pages
  • L'île de la merci
    813 mots | 4 pages
  • Droit de la marque
    2128 mots | 9 pages
  • Test de lecture La Nuit de Valognes
    354 mots | 2 pages
  • Organisation du territoire des etats unis
    2998 mots | 12 pages
  • Resume du texte "rhetorique de l'image"
    867 mots | 4 pages
  • Tableau de bord
    12298 mots | 50 pages
  • anthologie baudelaire
    402 mots | 2 pages
  • Ecjs
    1064 mots | 5 pages
  • Ionesco
    365 mots | 2 pages
  • Faut-il reprocher au langage d'être équivoque ?
    1504 mots | 7 pages