Académique Documents
Professionnel Documents
Culture Documents
( P et P ) P ( P et V ) P ( P et F ) F ( P et P ) F
( P ou P ) P ( P ou V ) V ( P ou F ) P ( P ou P ) V
( P ou Q ) ( P et Q ) lois de Morgan ( P et Q ) ( P ou Q )
La Contraposée
(P Q) (Q P)
http://www.maths-inter.ma/ 08/09/2018 Réalisé par : Ammari Simo Ex-Inspecteur Principal de maths ammari1042@gmail.com 06 49 11 33 23
1ère Bac Logique Cours : Cr1F Page : 2/2
Soient A et B deux parties d’un ensemble E, par analogie on obtient (je vous laisse le soin de le montrer
vous-même comme applications à la logique)
AA
( A A ) A ( A E) A ( A ) ( A A)
( A A) A ( A E) E ( A ) A ( A A ) E
( A B) ( A B) ( A B) ( A et B
(A B) (B A)
Si E est un ensemble et P(x) une fonction propositionnelle définie dans E, les propositions quantifiée
s’écrivent respectivement :
x E ; P(x) : signifie qu' il nexiste au moins un élément x de E vérifiant la propriété P(x)
les proposition
x E ; P(x) : signifie que tous les éléments x de E vérifiant la propriété P(x)
peuvent contenir plusieurs quantificateurs…les exercices proposés sur le site peuvent vous aider à découvrir
plusieurs choses concernant ce type de phrases….
Reste à donner les règles de négation pour les propositions quantifiées :
http://www.maths-inter.ma/ 08/09/2018 Réalisé par : Ammari Simo Ex-Inspecteur Principal de maths ammari1042@gmail.com 06 49 11 33 23