Logic diagram

Argumentkaarten edit

een Argumentkaart is een visuele representatie van de structuur van een argument in de informele logica. Het bevat de componenten van een argument zoals een hoofdstrijd, premissen, mede-premissen, bezwaren, weerleggingen en lemma ‘ s. Zie Categorie:Argumenttoewijzingen

een binaire beslissingsdiagram op het gebied van logica, zoals een negatie normale vorm of een propositioneel gerichte acyclische grafiek, is een datastructuur die wordt gebruikt om een Booleaanse functie weer te geven. Zie Categorie:Binaire beslissingsdiagrammen

Concept mapsEdit

een conceptmap is een logisch diagram dat de relaties tussen Concepten toont. Zie categorie: Concept kaarten

conceptuele grafieken edit

conceptuele grafieken geven een geformaliseerde representatie van natuurlijke taal is gebaseerd op semantische netwerken en Peirce ‘ s existentiële grafieken, zie categorie:Conceptuele grafieken

existentiële grafiek is een grafische weergave van propositionele logica, voorgesteld door Charles Sanders Peirce, die zijn eerste artikel over grafische logica schreef in 1882 en de methode verder ontwikkelde tot aan zijn dood in 1914. Zie Categorie:Existentiële grafieken

Hasse diagram

een Hasse diagram is een diagram in de orde theorie, dat een eenvoudig beeld is van een eindige gedeeltelijk geordende verzameling, die een tekening vormt van de transitieve reductie van de partiële orde, zie categorie:Hasse diagrammen

implicatie diagramsEdit

een logische implicatie, in de logica en de wiskunde, is een logische relatie die geldt tussen een verzameling T van formules en een formule B wanneer elk model of interpretatie of waardering van T ook een model van B.:Implicatie diagrammen

Kripke modelsEdit

Kripke modellen zijn diagrammen gemaakt voor modale logica, en later aangepast aan intuïtionistische logica en andere niet-klassieke systemen. Zie categorie: Kripke modellen

Logic gatesEdit

zie categorie:Logic gates

Porfyrische boomdit

een porfyrische boom, gemaakt door de Fenicische neoplatonische filosoof Porphyrius (233-309 n.Chr.), is een hiërarchische ontologie, constructie in logica bestaande uit drie rijen of kolommen van woorden; de middelste waarvan de reeks van geslacht en soorten bevat, en draagt een analogie met de stam.

semantische tableauEdit

het semantische tableau is een logisch diagram, dat een besluitvormingsprocedure toont voor sententiële en gerelateerde logica ‘ s, en een bewijsprocedure voor formules van de eerste orde logica. Zie categorie:semantische tabellen