«si A alors B» est trompeur car il se cache une notion de séquence (A est avant B), alors que le temps n'intervient pas en logique classique. Pour modéliser le temps, il faut regarder du côté de la logique_temporelle.
La proposition « Kevin lance un caillou dans la vitre implique la vitre est brisée » est en fait équivalente à « Kevin ne lance pas de caillou dans la vitre ou la vitre est brisée ».
En d'autres termes, cette proposition est vraie si et seulement si au moins une de ces propositions est vraie :
- Kevin n'envoie pas de caillou dans la vitre
- la vitre est brisée
[^] # Re: Curieux
Posté par Dr BG . En réponse au journal Système d'exploitation et religion. Évalué à 3.
La proposition « Kevin lance un caillou dans la vitre implique la vitre est brisée » est en fait équivalente à « Kevin ne lance pas de caillou dans la vitre ou la vitre est brisée ».
En d'autres termes, cette proposition est vraie si et seulement si au moins une de ces propositions est vraie :
- Kevin n'envoie pas de caillou dans la vitre
- la vitre est brisée