En cours on avait deux propositions que je mets seulement partiellement :
1) "il y a au moins un réel qui ..."
2) "il y a plusieurs réels qui ..."
On a traduit les deux par :
Je me demandais pourquoi on aurait pas pu préciser pour la seconde, en mettant plutôt quelque chose du genre :
Ça permet de lever la question "un ou plusieurs ?" non ?
Merci.
Si on veut affirmer qu'il existe plusieurs (donc 2 ou plus), il faut écrire :Envoyé par tjou
Je me demandais pourquoi on aurait pas pu préciser pour la seconde, en mettant plutôt quelque chose du genre :
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Pas sûr, mais je dirais oui à peu près, car il faut aussi préciser
Ça permet de lever la question "un ou plusieurs ?" non ?.
Edit : grillé par Médiat
Dernière modification par invite7863222222222 ; 11/09/2009 à 10h14.
Hum je vais paraitre un peu chiant mais les virgules ont-elles une importance dans le formalisme ?
Par exemple est-ce qu'il y a une différence entre :
et
En gros avec une virgule entre les deux parties.
La virgule signifie peut être "tel que" ?
Non, pas dans l'ecriture des propositions, d'ailleurs je n'en mets pas entre les différentes variables quantifiées et après, elles n'auraient pas de sens, il faut des connecteurs logiques.
Par contre dans le formalisme des séquents, la virgule peut signifier "et" ou "ou" suivant sa position !
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Ok merci
J'essaye de poser une nouvelle question ici, à propos du nom qu'on donne à la proposition "P => Q" :
Par exemple si on prend deux propositions P et Q, on peut créer une nouvelle proposition "P et Q" qu'on peut nommer "conjonction de P et Q"
Ma question c'est de savoir comment on nomme la proposition "P => Q", qui lie P et Q par une relation d'implication logique
On dit "implication de P et Q" ? Mais du coup ça donne pas vraiment d'indication sur le "sens" de l'implication ?
Et en fait, même question pour une relation d'équivalence "P <=> Q" : on dit "équivalence de P et Q" ?
Ou alors on donne pas de nom ?
Merci.
Bonjour,
On dit simplement "P implique Q" et "p équivalent à Q"
Bonjour,On dit "P implique Q"Ma question c'est de savoir comment on nomme la proposition "P => Q", qui lie P et Q par une relation d'implication logique
"P est équivalent à Q" ou "P équivaut à Q"Et en fait, même question pour une relation d'équivalence "P <=> Q" : on dit "équivalence de P et Q" ?
Mais je ne suis pas sûr que ça te convienne...
EDIT : grillé !
