Logique

e 1 : Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi ?

e 1 Compléter les pointillés par le connecteur logique qui s'impose : ⇔, ⇐, ⇒ 1 x ∈ R x2 = 4

Logique et raisonnements - Exo7 - Cours de mathématiques

ch_logiquePDF

TD : Exercices de logique - Mathématiques à Angers

ématiques : logique 1/9 TD : Exercices de logique négation Exercice 1 Ecrire la négation des

Logique, ensembles, raisonnements 1 Logique

e 9 Montrer par contraposition les assertions suivantes, E étant un ensemble : 1 ∀A, B ∈ P(E) (A

Logique - Licence de mathématiques Lyon 1

e 1 : Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi ?

Feuille dexercices 3 Logique et raisonnement - Licence de

PDF

s de langage, le mot proposition désigne souvent, dans la pratique des cours de mathématiques,

Exercices de logique : corrigé - Normale Sup

es de logique : corrigé PCSI 2 Lycée Pasteur 24 septembre 2007 Exercice 1 : • (2 + 2 = 4) ∧ (1

Logique - Sofad

que mathématique a donc repris l'objectif de la logique, soit étudier le raisonnement, mais en suivre concernant la théorie, les exemples, les exercices et les devoirs La théorie

Pascal Lainé

Logique

Exercice 1 :

Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi ?

1. Si Napoléon était chinois alors ͵െ-ൌ-

2. Soit Cléopâtre était chinoise, soit les grenouilles aboient.

5. Les roses ne sont ni des animaux, ni des fleurs.

6. Paris est en France ou Madrid est en chine.

7. La pierre ponce est un homme si et seulement si les femmes sont des sardines.

Aller à : Correction exercice 1 :

Exercice 2 :

Aller à : Correction exercice 2 :

Exercice 3 :

Ecrire sa négation.

Aller à : Correction exercice 3 :

Exercice 4 :

Donner la négation mathématique des phrases suivantes 1.

2. Certains nombres entiers sont pairs.

Soit ݂ǣԹ՜Թ

4. ݂ -à-dire " ׊ݔא

5. ݂ est paire sur Թ, -à-dire " ׊ݔא

Aller à : Correction exercice 4 :

Exercice 5 :

Aller à : Correction exercice 5 :

Exercice 6 :

Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi ?

Pascal Lainé

Aller à : Correction exercice 6 :

Exercice 7 :

Aller à : Correction exercice 7 :

Exercice 8 :

Aller à : Correction exercice 8 :

Exercice 9 :

Notons ܵ ܧ

son heure de réveil le jour ݆.

a) Ecrire avec des symboles mathématiques la proposition " Tout étudiant se réveille au moins un

jour de la semaine avant 8h »

b) Ecrire la négation de cette proposition avec des symboles mathématiques puis en français.

Aller à : Correction exercice 9 :

Exercice 10 :

ܣ est une partie finie de Գ, ܣ

Tout entier naturel ݊൒- admet un diviseur premier, les éléments de ܣ commun, les éléments de ܣ

Aller à : Correction exercice 10 :

Exercice 11 :

Soit ݊ un entier naturel quelconque. Parmi les implications suivantes, lesquelles sont vraies, lesquelles sont

fausses et pourquoi ? Donner leur contraposée et leur négation.

Aller à : Correction exercice 11 :

Exercice 12 :

Parmi les équivalences suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi ?

Aller à : Correction exercice 12 :

Pascal Lainé

Exercice 13 :

a. ׌ݔאԹ ׊ݕא b. ׊ݔאԹ ׌ݕא c. ׊ݔאԹ ׊ݕא d. ׌ݔאԹ ׊ݕא

1. Les assertions ܽǡܾǡܿ

2. Donner leur négation

Aller à : Correction exercice 13 :

Exercice 14 :

Attention

Aller à : Correction exercice 14 :

Exercice 15 :

1. Donner la négation de la phrase mathématique suivante :

2. Donner la contraposée de la phrase mathématique suivante :

Aller à : Correction exercice 15 :

Exercice 16 :

Soient ݔ଴א

Donner la négation et la contraposée de cette phrase logique.

Allez à : Correction exercice 16 :

Exercice 17 :

׊ ou ׌ a) ǥݔא b) ǥݔא c) ǥݔא d) ǥݔא

Aller à : Correction exercice 17 :

Exercice 18 :

Les propositions suivantes sont-elles vraies

a) ׌ݔא b) ׊ݔא c) ׊ݔאԳǡ׌ݕא d) ׌ݔאԳǡ׊ ݕא

Aller à : Correction exercice 18 :

Pascal Lainé

Corrections

Correction exercice 1 :

1. Napoléon est chinois » est faux et " ͵െ-ൌ- » est faux, or la

2. Une phrase, en français, du genre " » se traduit mathématiquement par " »

" Cléopâtre était chinoise » est faux et " les grenouilles aboient fausse. vraie.

4. " » est faux et "il parle 4. est vraie.

5. " les roses ne sont ni des animaux, ni des fleurs » peut se traduire par " les roses ne sont pas des

animaux et les roses ne sont pas des fleurs ». " les roses ne sont pas des animaux » est vrai et " les

roses ne sont pas des fleurs » est faux donc " les roses ne sont ni des animaux, ni des fleurs » est

6. " Paris est en France » est vrai et " Madrid est en chine » est faux, donc " Paris est en France ou

Madrid est en chine » est vrai.

7. " la pierre ponce est un homme » est faux et "les femmes sont des sardines » est faux, une

équivalence entre deux assertion fausse est vraie.

8. " les poiriers ne donnent pas de melons » est vrai, donc

" les poiriers n » est vrai.

Aller à : Exercice 1 :

Correction exercice 2 :

a) b)

Aller à : Exercice 2 :

Correction exercice 3 :

Pascal Lainé

Aller à : Exercice 3 :

Correction exercice 4 :

1. pour tout » est " il existe » et la

négation " rouge » est " »).

2. Tous les nombres entiers sont pairs. (La négation de " il existe certains » signifie

" il existe ») est " tous ». Dans cette question on ne se demande pas si la proposition est vraie ou

fausse.

4. ׌ݔא

5. ׌ݔא

Aller à : Exercice 4 :

Correction exercice 5 :

pas équivalentes.

Aller à : Exercice 5 :

Correction exercice 6 :

faux. vrai. vrai. assertions sont fausses.

Aller à : Exercice 6 :

Correction exercice 7 :

Aller à : Exercice 7 :

Correction exercice 8 :

1. ׊ݔאԹǡאܰ׌Գǡܰ

Aller à : Exercice 8 :

Pascal Lainé

Correction exercice 9 :

a) ׊ݔܧאǡ׌݆ܵא b) ׌ݔܧאǡ׊ ݆ܵא

Aller à : Exercice 9 :

Correction exercice 10 :

Aller à : Exercice 10 :

Correction exercice 11 :

La négation est : ׌݊א

Sa négation est

est vraie.

On aura pu aussi voir que :

vrai.

La négation est : ׌ ݊א

faux. En effet une assertion vraie ne peut pas impliquer une assertion fausse.

La négation est ൫׌݊א

Pascal Lainé

Sa négation est ׌݊א

Aller à : Exercice 11 :

Correction exercice 12 :

Aller à : Exercice 12 :

Correction exercice 13 :

1. a. est faux car si un tel ݔ existe, il suffit de prendre ݕൌെݔെͳ pour que ݔ൅ݕ൐- soit faux, en

c. est faux car si on prend ݔൌݕൌെͳ alors ݔ൅ݕൌെ- ݔ൅ݕ൐-

d. Il suffit de prendre ݔൌെͳ, ainsi pour tout ݕא

2. a. ׊ݔאԹ ׌ ݕא

e cette assertion quantifiée est vraie). b. ׌ݔאԹ ׊ݕא c. ׌ݔאԹ ׌ݕא d. ׊ݔאԹ ׌ݕא

Aller à : Exercice 13 :

Correction exercice 14 :

Aller à : Exercice 14 :

Correction exercice 15 :

1. 2.

Aller à : Exercice 15 :

Correction exercice 16 :

La négation est :

La contraposée est

Allez à : Exercice 16 :

Correction exercice 17 :

Pascal Lainé

8 a) ׊ݔא b) ׌ݔא c) ׌ݔא

Aller à : Exercice 17 :

Correction exercice 18 :

a) Vraie b) Fausse par exemple pour ݔൌͳ, la négation est : ׌ݔא c) Vraie

d) Fausse car la négation est manifestement vraie, la négation est : ׊ݔאԳǡ׌ݕא

Aller à : Exercice 18 :

quotesdbs_dbs18.pdfusesText_24

[PDF] Logique - Licence de mathématiques Lyon 1

Pascal Lainé

Logique

Exercice 1 :

1. Si Napoléon était chinois alors ͵െ-ൌ-

2. Soit Cléopâtre était chinoise, soit les grenouilles aboient.

5. Les roses ne sont ni des animaux, ni des fleurs.

6. Paris est en France ou Madrid est en chine.

7. La pierre ponce est un homme si et seulement si les femmes sont des sardines.

Aller à : Correction exercice 1 :

Exercice 2 :

Aller à : Correction exercice 2 :

Exercice 3 :

Ecrire sa négation.

Aller à : Correction exercice 3 :

Exercice 4 :

2. Certains nombres entiers sont pairs.

Soit ݂ǣԹ՜Թ

4. ݂ -à-dire " ׊ݔא

5. ݂ est paire sur Թ, -à-dire " ׊ݔא

Aller à : Correction exercice 4 :

Exercice 5 :

Aller à : Correction exercice 5 :

Exercice 6 :

Pascal Lainé

Aller à : Correction exercice 6 :

Exercice 7 :

Aller à : Correction exercice 7 :

Exercice 8 :

Aller à : Correction exercice 8 :

Exercice 9 :

Notons ܵ ܧ

Aller à : Correction exercice 9 :

Exercice 10 :

ܣ est une partie finie de Գ, ܣ

Aller à : Correction exercice 10 :

Exercice 11 :

Aller à : Correction exercice 11 :

Exercice 12 :

Aller à : Correction exercice 12 :

Pascal Lainé

Exercice 13 :

1. Les assertions ܽǡܾǡܿ

2. Donner leur négation

Aller à : Correction exercice 13 :

Exercice 14 :

Attention

Aller à : Correction exercice 14 :

Exercice 15 :

1. Donner la négation de la phrase mathématique suivante :

2. Donner la contraposée de la phrase mathématique suivante :

Aller à : Correction exercice 15 :

Exercice 16 :

Soient ݔ଴א

Allez à : Correction exercice 16 :

Exercice 17 :

Aller à : Correction exercice 17 :

Exercice 18 :

Les propositions suivantes sont-elles vraies

Aller à : Correction exercice 18 :

Pascal Lainé

Corrections

Correction exercice 1 :

1. Napoléon est chinois » est faux et " ͵െ-ൌ- » est faux, or la

2. Une phrase, en français, du genre " » se traduit mathématiquement par " »

4. " » est faux et "il parle 4. est vraie.

5. " les roses ne sont ni des animaux, ni des fleurs » peut se traduire par " les roses ne sont pas des

6. " Paris est en France » est vrai et " Madrid est en chine » est faux, donc " Paris est en France ou

Madrid est en chine » est vrai.

7. " la pierre ponce est un homme » est faux et "les femmes sont des sardines » est faux, une

8. " les poiriers ne donnent pas de melons » est vrai, donc

Aller à : Exercice 1 :

Correction exercice 2 :

Aller à : Exercice 2 :

Correction exercice 3 :

Pascal Lainé

Aller à : Exercice 3 :

Correction exercice 4 :

1. pour tout » est " il existe » et la

2. Tous les nombres entiers sont pairs. (La négation de " il existe certains » signifie