logique mathématique
nom
Légende Types et catégories Parties et touts Liés et contraires
- Type de mot
- nom
- verbe
- adjectif
- adverbe
- Style de trait
- relation principale
- instance, membre ou dérivé
- substance, domaine ou voir aussi
- Direction
- la flèche pointe vers le concept plus général
- Cliquez sur un mot pour le déployer.
Sens
Sens 1 nom
tout système logique qui abstrait la forme des énoncés de leur contenu afin d'établir des critères abstraits de cohérence et de validité (traduction automatique)
Types et catégories
- logique hypernym
- algèbre booléenne hyponym
- calcul des propositions hyponym
- calcul des prédicats hyponym
- logique modale hyponym
- logique floue hyponym
Vue tableau de ce graphe
| Sense | Relation | Group | Word |
|---|---|---|---|
| 1 | hypernym | Types et catégories | logique |
| 1 | hyponym | Types et catégories | algèbre booléenne |
| 1 | hyponym | Types et catégories | calcul des propositions |
| 1 | hyponym | Types et catégories | calcul des prédicats |
| 1 | hyponym | Types et catégories | logique modale |
| 1 | hyponym | Types et catégories | logique floue |