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
Vue tableau de ce graphe
| Sense | Relation | Group | Word |
|---|---|---|---|
| 1 | hypernym | Types et catégories | logique |
| 1 | hyponym | Types et catégories | Algèbre de Boole |
| 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 |