Cartes d’arguments
Une carte d’arguments est une représentation visuelle de la structure d’un argument en logique informelle. Il comprend les éléments d’un argument tels qu’une dispute principale, des prémisses, des co-prémisses, des objections, des réfutations et des lemmes. Voir la Catégorie:Cartes d’arguments
Diagrammes de décision binairesdit
Un diagramme de décision binaire dans le domaine de la logique, comme une forme normale de négation ou un graphe acyclique dirigé propositionnel, est une structure de données utilisée pour représenter une fonction booléenne. Voir la Catégorie:Diagrammes de décision binaires
Cartes conceptionsmodifier
Une carte conceptuelle est un diagramme logique montrant les relations entre les concepts. Voir la catégorie : Cartes conceptuelles
Graphes conceptuelsmodifier
Les graphes conceptuels donnent une représentation formalisée du langage naturel est basée sur les réseaux sémantiques et les graphes existentiels de Peirce, voir Catégorie:Graphiques conceptuels
Graphe existentieldit
Le graphe existentiel est une représentation graphique de la logique propositionnelle, proposée par Charles Sanders Peirce, qui a écrit son premier article sur la logique graphique en 1882 et a continué à développer la méthode jusqu’à sa mort en 1914. Voir la Catégorie:Graphiques existentiels
Diagramme de Hasse
Un diagramme de Hasse est un diagramme de la théorie des ordres, qui est une image simple d’un ensemble partiellement ordonné fini, formant un dessin de la réduction transitive de l’ordre partiel, voir Catégorie:Diagrammes de Hasse
Diagrammes d’implication
Une implication logique, en logique et en mathématiques, est une relation logique qui existe entre un ensemble T de formules et une formule B lorsque chaque modèle ou interprétation ou évaluation de T est également un modèle de B. Voir Catégorie:Diagrammes d’implication
Modèles de Kripke
Les modèles de Kripke sont des diagrammes conçus pour les logiques modales, puis adaptés à la logique intuitionniste et à d’autres systèmes non classiques. Voir la catégorie: Modèles Kripke
Logic gatesEdit
Voir la catégorie:Portes logiques
Arbre porphyrienmodifier
Un arbre porphyrien, créé par le philosophe néoplatonicien phénicien Porphyre (233-309 AP.), est une ontologie hiérarchique, construction en logique composée de trois rangées ou colonnes de mots; la plus intermédiaire contient la série des genres et des espèces, et porte une certaine analogie avec le tronc.
Tableau sémantique
Le tableau sémantique est un diagramme logique, qui montre une procédure de décision pour les logiques sententielles et connexes, et une procédure de preuve pour les formules de logique du premier ordre. Voir la catégorie : Tables sémantiques