Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01004218n
Noun Concept
Categories: Intuitionnisme, Logique formelle, Principe logique
FR
principe du tiers exclu  tertium non datur  tiers exclu  tiers exclus  exclu
FR
En logique formelle, le principe du tiers exclu énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie. Wikipedia
Definitions
Relations
Sources
FR
En logique formelle, le principe du tiers exclu énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie. Wikipedia
IS A
axiome
théorème
PART OF
épistémologie
logique classique
HAS KIND
théorème de Diaconescu
DIFFERENT FROM
principe de non-contradiction
principe de bivalence
Wikipedia
FR
principe du tiers exclu
Wikidata
FR
principe du tiers exclu
Wikipedia Redirections
FR
tertium non datur, tiers exclu, tiers exclus
Wikidata Alias
FR
tertium non datur, Tertium non datur, tiers exclu, Tiers exclu, tiers exclus, Tiers exclus
Wikipedia Translations
FR
exclu, loi du tiers exclu

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License