1)Notion de logique(Introduction 1) variables 2) proposition 3) connecteurs logique 4)lois logiques)
2)Quantificateurs logiques
3)Propriétés des quantificateurs
4)réciproque et contraposée
5Différents types de démonstrations
Introduction:
La logique mathématique est une science du raisonnement et du jugement (langages) qui ne tient pas compte du contenu. Elle a pour outils (ou éléments de base de la logique) des propositions et des variables.
1. Variables
Une variable est une grandeur dont la valeur peut même être inconnue, mais elle doit appartenir à un ensemble. Sur celle-ci est effectuée une combinaison d'opérations, soit avec des constantes, soit avec d'autres variables.
Exemples : 1)
x est une variable de
qui devient une constante quand elle prend une valeur donnée (x=4 ou x= a)
2)
x est appelée variable de f(x)
2) propositions
*) Une proposition(assertion) est un énoncé pouvant être vrai ou faux ( c'est à dire le sens qu'on peut attribuer à une expression ou à un énoncé)
On désigne généralement une proposition par une lettre : p; q; r....
Si la proposition p est vraie est noté par p ≡V ou 1
Si la proposition p est fausse est noté par: p ≡ F ou 0
Exemples :
. 1+4 =5 : vraie (V)
. 17=20 -3: vraie (V)
. 5+2 (n'est pas une proposition)
.
Une proposition vraie sur l 'intervalle
Une proposition fausse sur l 'intervalle
**) Une proposition fonctionnelle est un énoncé mathématique qui a une signification et contient une variable (ou plusieurs variables) appartenant à un ensemble E et devient une proposition Chaque fois que nous remplaçons la variable avec une certaine valeur
Exemple:
déterminer les valeurs de la variable x pour lesquelles la proposition fonctionnelle suivante :
On a :
***) Proposition composé :est une proposition construite à partir de propositions simples reliées par des connecteurs logiques
exemple 1+0 =1 et 3+6 =9

3) connecteurs logique
le connecteur est le mot qui marque un rapport de sens entre les propositions ou entre les énoncés.
les connecteurs servent essentiellement à construire, déduire de nouvelles propositions à partir des propositions de base et les propositions déjà formées
exemple:"il fait beau et 5 -4 =1" par la conjonction et on obtient la proposition composéea)négation d'une proposition
Une proposition prenant la valeur de vérité opposée à celle de p est la négation de p . On la note non p ou ¬p
اقرا ايضاNombre rationnel : الأعداد الجذرية
اقرا ايضامقارنة دالتين
exemple: p:
b)Conjonction de deux propositions:
si on relie deux proposition par le mot "et" on obtient une proposition composée dite la conjonction de deux proposition on la note "p et q" ou
les valeurs de vérité de
exemples :
est une proposition vraie
Remarque : le symbole
rappelle celui de l 'intersection
qui désigne : si 
c)Disjonction de deux propositions:
si on relie deux proposition par le mot "ou" on obtient une proposition composée dite la disjonction de deux proposition on la note "p ou q" ou 
les valeurs de vérité de
sont représentées dans la table de vérité ci- contre
est vraie si l'une des propositions est vraie autrement dit
est fausse si les deux propositions sont fausse

exemples:
remarques:
*) Le « ou » en français n'est pas le « ou » de la logique Il est parfois inclusif et parfois exclusif
le « ou » est inclusif ( l'addition des deux possibilités à la fois) .
Mais dans le langage courant le« ou » prend une valeur exclusive (ambigu)( l'addition des deux possibilité est exclue).
exemple:
On recherche un professeur qui connaisse le mathématique ou la physique . dans cette phrase il suffit que le professeur recherché connaitre une seule de ces deux matière ou les deux à la fois.(ici « ou » est inclusif )
dans d'un restaurant on lit "Le menu du jour propose du dessert ou de formage" dans cette phrase le « ou » est exclusive . Pour éviter toutes ambiguïté on devrait dire :"Le menu du jour propose du dessert ou bien de formage" ( autrement : "Le menu du jour propose soit du dessert soit de formage")
**) le symbole
rappelle celui de la réunion
qui désigne 
d) implication (proposition conditionnelle)
la proposition p
q se lit "p implique q" ou" si p alors q" est fausse lorsque l'on a simultanément la proposition p vraie et la proposition q fausse , la proposition p
q est vraie dans tous les autres cas
dans p
q , p est l'antécédent de l'implication et q le conséquent de l'implication , qui indique une relation logique où le conséquent découle logiquement de l'antécédent
On peut exprimer "p implique q" par :p
q = 
les valeurs de vérité de p
q sont représentées dans la table de vérité ci- contre
Exemples:
e)transitivité de l’implication:
soient p , q et r des propositions mathématiques: si p implique q et q implique r alors p implique r c'est à dire 
f)l'équivalence logique(proposition biconditionnelle )
La proposition
ou ( p si et seulement si q) ou (p équivalent à q) est vraie lorsque l 'on a simultanément p et q vraies ou fausses .la proposition est fausse dans les autres cas
les valeurs de vérité de
sont représentées dans la table de vérité ci-dessous
exemples:
Remarque :lorsque p est équivalent à q
donc p est une condition suffisante de q ( q est une condition nécessaire de p)
donc q est une condition suffisante de p ( p est une condition nécessaire de q)
p est une condition nécessaire et suffisante de q et inversement
donc pour démontrer une équivalence logique
la démonstration se fait en deux étapes :
i) démontrer
ii) démontrer
f)l'équivalence logique(proposition biconditionnelle )
La proposition
les valeurs de vérité de
exemples:

Remarque :lorsque p est équivalent à q
p est une condition nécessaire et suffisante de q et inversement
donc pour démontrer une équivalence logique
i) démontrer
ii) démontrer
Le tableau ci-dessous montre que
et
ont même table de vérité
4)lois logiques
loi logique est une proposition composée qui est vraie quelles que soient les valeurs de vérité des propositions qui la compose

4)lois logiques
loi logique est une proposition composée qui est vraie quelles que soient les valeurs de vérité des propositions qui la compose
Exemple: "
"pour vérifier que cette proposition est une loi logique on construit sa table de vérité
On remarque que la dernière colonne est formée uniquement de la valeur V
d'autres propositions composées dites lois logiques sont les suivantes:
Commentaires
Enregistrer un commentaire