Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03362860n
Noun Concept
Categories: Logique mathématique, Logique
FR
logique classique
FR
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique. Wikipedia
Definitions
Relations
Sources
FR
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique. Wikipedia
Un type de raisonnement mathématique faisant appel au principe du tiers exclu. Wikipedia Disambiguation
IS A
système logique
HAS PART
principe du tiers exclu
modus ponens
DE
Regress
PART OF
logique
HAS KIND
logique traditionnelle
principe de non-contradiction
FOLLOWED BY
logique floue
HAS QUALITY
principe de non-contradiction
principe du tiers exclu
EN
Idempotency of entailment
élimination de la double négation
EN
commutativity of conjunction
+2 relations
STUDIED BY
logique mathématique
Wikipedia
FR
logique classique
Wikidata
FR
logique classique
Wikipedia Translations
FR
logique classique

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