tého
tého
Réponses
-
Bonjour,Merci, pour les réponses.Donc, en Logique "classique" :\( \exists n \in \mathbb{N}, ( n \ pair \Rightarrow n \ impair ) ~~~ \equiv ~~~ \exists n \in \mathbb{N}, ( \neg…Bonjour,Merci pour les réponses !Je pense avoir compris en "logique classique".Mais par contre,la proposition suivante est-elle démontrable en logique intuitionniste ?\( \ex…BonjourMerci pour les confirmations.La proposition suivante est donc alors vraie !?\( \exists x \in \R, \ ( x^2 = -4 \implies x = -2 ) \).Ainsi que la suivante !?\( \exists n \in \N ,\ (…Bonjour, et merci pour la confirmation Matimax.
Est-il alors correct de dire qu'elles sont "valides" ?Bonjour Christophe,
J'ai beau chercher, je ne trouve pas ma faute de frappe !
(est-il correct de dire que la première est vraie car les deux "membres" de l'équivalence sont faux ? )
Merci d'avance dans Négation et équivalence Commentaire de tého August 2021Merci pour les réponses.
(Juste pour information, j'ai pris pour définition d'une suite :
"On appelle suite d'éléments d'un ensemble $E$ une famille d'éléments de $E$
dont l'ensemble d'indices est l'ensemble $ \mathbb N$ de…Bonjour,
"en fait c'est très simple. Si $E= \emptyset $ il n'y a pas de suite dans $E$"
J'ai le "problème" suivant à résoudre.
Définition 1 :
Quels que soient les ensembles $u, E$
$u$ es…Bonjour,
Maintenant j'ai un doute,
"C'est vrai. Mais il est vrai aussi que toute suite possède une valeur d'adhérence..."
Si : $E = \emptyset $ muni de $\{ \emptyset \}$ est un espace topologique.
Si…Bonjour,
et merci !
Je viens de lire que "le paradoxe du buveur n’est pas vrai en logique intuitionniste".
Ce qui suit est-il un Théorème de la logique intuitionniste ?
Quel que soit le triangle T du plan,Bonjour,
"Attention, là, tu es en logique classique"
Le "théorème" ci-dessous est-il encore vrai en logique "non classique" ?
Quel que soit le triangle T du plan,
si T est isocèle alors T n’est pas isocèleMerci,
Si j'ai bien compris ?
Quel que soit le triangle T du plan,
si T est isocèle alors T n’est pas isocèle
OU
si T n’est pas isocèle alors T est isocèle.
est "équivalent" à ?
Quel que …Merci,
Ce qui suit est donc aussi un théorème !?
Quel que soit le triangle T du plan,
si T est isocèle alors T n’est pas isocèle
OU
si T n’est pas isocèle alors T est isocèleMerci,
si j'ai compris ?
Quel que soit le triangle T du plan,
Si T est équilatéral Alors T est (triangle) rectangle
Ou
Si T est (triangle) rectangle Alors T est isocèle.
est vrai à cause des tables de …Merci bcp beaucoup,
dans le cas isocèle je n'arrive pas à trouver une des deux vraiesQuel que soit le triangle T du plan,
Si T est équilatéral Alors T est (triangle) rectangle
ça, c'est faux car les trois angles sont de 60 degrés et donc aucun n'est de 90 degrés.
Quel que soit le triangle T …"n premier " est faux ?
ou
"n pair " est faux ?
Je ne comprends pluspardon
je me suis trompé c'était n+1 est premier