Lorsque en "logique"

Mar0wwa

Bonjour , 
Que signifie "lorsque" en logique mathématique ?
a-t-elle une signification ? Est-ce-qu'on peut dire qu'elle représente l'implication ?
Merci beaucoup.

Dom

« Lorsque » est synonyme de « si » ou « quand » ou « dans le cas où ». 

Mar0wwa

Dom

En logique mathématique ? 🙂

[Inutile de reproduire le message précédent. AD]

Mar0wwa

Dom

Merci

[Inutile de reproduire le message précédent. AD]

Foys

"Lorsque $x$ satisfait $P$ alors il satisfait aussi $Q$" est la version en prose de $\forall x \left (P \Rightarrow Q \right )$ (avec $x$ pouvant figurer ou non dans $P,Q$)

Mar0wwa

Foys
Oui c'est ça la définition de l'implication, mais est-ce qu'on peut considérer "A lorsque B" comme une implication d'hypothèse B et de conclusion A ?

Merci.

[Inutile de reproduire le message précédent. AD]

Dom

« A lorsque B » c’est « B => A »

GaBuZoMeu

Bonjour,

Dans un texte mathématique, avec $A$ et $B$ des propositions mathématiques, oui.