ExoCo-LMD
Mathématique => L2 Mathématiques (Les modules de deuxième année) => Logique mathématique => Discussion démarrée par: sabrina le Janvier 04, 2019, 05:27:06 PM
cours logique mathématique
chap1
Objectif de la logique mathématique est de savoir trois notions :
Logique propositionnelle
Logique des prédicat
Calculabilité
Introduction
Le mot logique vient du grecque « logos » qui signifie parole discours.
Logique est la science qui étude les règles qui doivent respecter tout raisonnement valide et qui permet de distinguer un raisonnement valide, d'un raisonnement qui ne l'est pas
Logique mathématique elle s'intéresse à l'organisation et à la cohérence du discours mathématique c-à-d aux notions de validité et de presse.
chap 2
Les limites de la logique propositionnelle
Exp 1 :Prenons la proposition suivante : « x2=1 » est ce que cette proposition est vraie ou faux ?
On ne peut pas dire que la proposition x2=1 est vraie ou faux tant qu'on ne sait pas ce que vaut x, cette proposition vraie quand x=1 ou x=-1 et faux dans les autres cas