Vous êtes sur la page 1sur 3

UNIVERSIT PARIS 1 LICENCE PHILOSOPHIE/LOGIQUE

MATHMATIQUES L1-S1

LMENTS DE LOGIQUE I. Le calcul des propositions (logique propositionnelle) Propositions lmentaires et propositions composes On appelle proposition atomique (ou lmentaire) une proposition qui nest pas compose partir dautres propositions (ex : il pleut ). Une proposition compose (ou molculaire) est une proposition compose partir de propositions lmentaires (ex : il pleut et il fait froid est une proposition compose des propositions il pleut et il fait froid ). Les oprations qui permettent de construire des propositions composes partir de propositions atomiques sont appeles des connecteurs. La logique propositionnelle est la partie de la logique qui tudie les connecteurs. Les connecteurs usuels La ngation : non , not La conjonction : et , not La disjonction : ou , not L'implication : implique (si , alors ), not condition ncessaire de . L'quivalence : si et seulement si , not .

est condition suffisante de ,

Les tables de vrit. Une table de vrit donne la valeur de vrit dune proposition compose en fonction de la valeur de vrit des propositions lmentaires qui la composent.

Table de la ngation :
V F F V

Tables des autres connecteurs :

V V F F V F V F V F F F V V V F V F V V V F F V

Les tautologies. Une proposition compose qui est vraie pour toutes les lignes de sa table de vrit est une tautologie. Une proposition compose qui est fausse pour toutes les lignes de sa table de vrit est une antilogie. Une proposition compose qui nest ni une tautologie, ni une antilogie, est une proposition neutre. Exercice : Montrer que les propositions composes suivantes sont des tautologies ( ( ( )( ) (( )( ) ) )

II. Calcul des prdicats Les prdicats Si une proposition affirme quelque chose de quelque chose, on dit qu'elle est de la forme sujet-prdicat, le sujet tant ce dont on parle, et le prdicat ce que l'on en dit. La forme sujet-prdicat la plus simple est Px (x a la proprit P, ou le prdicat P est vrai de x). Ex : Socrate est mortel peut s'crire Ms ( M pour est mortel , s pour Socrate ). Le prdicat prcdent P est affirm d'un seul sujet : c'est un prdicat unaire. Un prdicat peut aussi tre affirm de plusieurs sujets simultanment ; on l'appelle alors une relation. Par exemple, x aime y est un prdicat binaire (que l'on peut noter xAy ou Axy); x est entre y et z est un prdicat ternaire (que l'on peut noter Exyz). De faon gnrale, pour un prdicat affirm de sujets simultanment, on parle d'un prdicat (ou relation) n-aire. Les quantificateurs On note x l'expression pour tout x (ou quel que soit x ), et x l'expression il existe (un) x (tel que) . Ainsi, xP(x) se lira : pour tout x, x a la proprit P , et xP(x) se lira : il existe x, tel que x a la proprit P . x et x sont appels des quantificateurs . Ici, x est une variable . x est un quantificateur universel ; x un quantificateur existentiel. Ces quantificateurs sont lis par les relations : xA x A (dire que A est vrai pour tout x, c'est dire qu'il est faux qu'il existe un x pour lequel A est faux). xA x A (dire qu'il existe un x pour lequel A est vrai, c'est dire qu'il est faux que A soit faux pour tout x).

Do le : Le carr logique d'Aristote CONTRAIRES


Tous les chemins mnent Rome

x (Cx

Rx)

Aucun chemin ne mne Rome

x (Cx

Rx)

Il existe un chemin qui mne Rome

x (Cx

Rx)

SUBCONTRAIRES

Il existe un chemin qui ne mne pas Rome.

x (Cx

Rx)

Ici, Cx = x est un chemin et Rx = x mne Rome . Le long des diagonales, les noncs sont contradictoires : l'un tant la ngation de l'autre, ils ne peuvent avoir la mme valeur de vrit. Les contraires ne peuvent tre vrais en mme temps mais peuvent tre tous deux faux. Les subcontraires peuvent tre vrais en mme temps. (Daprs Aristote, De linterprtation)