Logique

[biss]

Salut et , j'ai quelque exo à vous montrez
Exo1:
Sur le portail d'une maison il y a une pa'carte : ''Chien qui aboie, ne mord pas. Notre chien n'aboie pas''. Franchiriez vous cette porte.
Exo2: dire si les phrases suivantes sont des propositions ; si c'est le cas, écrire leurs négation.
a) P=''Toute personne dans cette salle possède un téléphone portable''
b)Q='' pour tout x dans R, il existe y dans R tel que x=2y''
Exo3 :
Soient les propositions définies par P(x)=''x≤1'' et Q(x)=''x≥2''. Donner les valeurs de x dans R pour lesquelles
1.''P et Q'' est vraie
2.''P et Q'' est fausse
3.''P ou Q'' est vraie
4.''P ou Q'' est fausse
C'est tout
J'aimerai avoir la correction et aussi savoir dans l'exo 1 , si nous pouvons affirmé avec certitude que si il n'aboie pas alors il mord.

[Robot]

Commence par dire ce que tu proposes.
Pour l'exo 1, penses tu que de "A => (non M)" on peut déduire "(non A) => M" ?
Par exemple de "les filles de mon groupe de TD ne sont pas bêtes" peux tu déduire "à part les filles, les étudiants de mon groupe de TD sont bêtes" ?

[biss]

Commence par dire ce que tu proposes.
Pour l'exo 1, penses tu que de "A => (non M)" on peut déduire "(non A) => M" ?
Par exemple de "les filles de mon groupe de TD ne sont pas bêtes" peux tu déduire "à part les filles, les étudiants de mon groupe de TD sont bêtes" ? sur [a,b]

Non je ne peux pas affirmé. Pour repondre à l'exo1 je dirais non ( pour plus de sécurité)
Et pour les autres exo. Tu dis quoi ?

[Robot]

J'attends de voir ce que tu proposes. C'est ton exercice, non ?

[biss]

Exo3
1)S={ }
2)]1;2[
3)R-]1;2[
4)]1;2[
Exo2
a) c'est une proposition et la négation est : au moins une personne dans cette salle ne possède pas de phone
b) c'est pas une proposition car on ne peut pas répondre par vraie ou fausse

[Robot]

Exo 3 :
Tu penses que l'ensemble des x tels que et est ?
Ce n'est pas parce que ça s'appelle "Logique" qu'il faut perdre son bon sens.
Reprends cet exercice en formulant tes réponses sous forme de réunion d'intervalles.

Exo 2 : "c'est pas une proposition car on ne peut pas répondre par vraie ou fausse"
Décode ce que veut dire '' pour tout x dans R, il existe y dans R tel que x=2y'' sans perdre ton bon sens.
La négation d'une proposition obéit par ailleurs à des règles mécaniques, qui figurent sans doute dans ton cours.

[biss]

J'ai repris l'Expo 2