Argument mapsEdit
Mapa argumentów jest wizualną reprezentacją struktury argumentu w logice nieformalnej. Obejmuje ona elementy składowe argumentu, takie jak argument główny, przesłanki, współ-przesłanki, obiekcje, obalenia i lematy. Zobacz Kategorię:Mapy argumentów
binarne diagramy decyzyjneedytuj
binarne diagramy decyzyjne w dziedzinie logiki, takie jak negacja normalna forma lub propositional directed acyclic graph, to struktura danych, która jest używana do reprezentowania funkcji logicznej. Zobacz Kategorię:Binarne diagramy decyzyjne
Concept mapsEdit
concept map jest diagramem logicznym pokazującym relacje między pojęciami. Zobacz kategorię: Mapy koncepcyjne
wykresy Pojęcioweedit
wykresy pojęciowe dają sformalizowaną reprezentację języka naturalnego opartą na sieciach semantycznych i wykresach egzystencjalnych Peirce ’ a, zobacz kategorię:Wykresy pojęciowe
Existential graphEdit
Existential graph jest graficzną reprezentacją logiki propositional, zaproponowaną przez Charlesa Sandersa Peirce ’ a, który napisał swoją pierwszą pracę na temat logiki graficznej w 1882 roku i kontynuował rozwój tej metody aż do swojej śmierci w 1914 roku. Zobacz Kategorię:Wykresy egzystencjalne
diagram Hasse 'a
diagram Hasse’ a to diagram w teorii porządku, który jest prostym obrazem skończonego zbioru częściowo uporządkowanego, tworzącym rysunek przechodniej redukcji porządku częściowego, zobacz kategorię:Diagramy Hasse ’ a
Schematy Implikacjiedit
implikacja logiczna, w logice i matematyce, jest logiczną relacją, która utrzymuje się między zbiorem t formula_1 a formula_1, gdy każdy model lub interpretacja lub wycena T jest również modelem B. Zobacz kategorię:Diagramy implikacyjne
modele Kripkeedit
modele Kripke są diagramami stworzonymi dla logiki modalnej, a później dostosowanymi do logiki intuicjonistycznej i innych nieklasycznych systemów. Zobacz kategorię: modele Kripke
Logic gatesEdit
Zobacz kategorię:Bramki logiczne
drzewo Porfiryjskieedytuj
drzewo Porfiryjskie, stworzone przez fenickiego filozofa Neoplatońskiego Porfira (233-309 AD.), jest hierarchiczną ontologią, konstrukcją w logice składającą się z trzech rzędów lub kolumn słów; środkowa z nich zawiera szereg rodzajów i gatunków i nosi pewną analogię do pnia.
Semantic tableauEdit
semantic tableau jest diagramem logicznym, który pokazuje procedurę decyzyjną dla logiki sentential i pokrewnych oraz procedurę dowodu dla formuł logiki pierwszego rzędu. Zobacz kategorię: tabele semantyczne