Loading AI tools
En logique mathématique, l'implication stricte est une construction de Clarence Irving Lewis fondée sur la logique modale. L'objectif de l'implication stricte est d'éviter les apparents paradoxes de l'implication logique, qui est appelée dans ce contexte implication matérielle. Un exemple de ces paradoxes est le fait, appelé ex-falso quodlibet, qu'un énoncé contradictoire implique tout énoncé[1],[2].
Cet article est une ébauche concernant la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
