argumentti mapsEdit
Argumenttikartta on epämuodollisessa logiikassa argumentin rakenteen visuaalinen esitys. Se sisältää argumentin osat, kuten pääväitteen, tilat, yhteistilat, vastaväitteet, vastaväitteet ja lemmas. Katso Luokka:Argumenttikarttoja
binäärinen ratkaisukaavio
logiikan alalla binäärinen ratkaisukaavio, kuten negaation normaali muoto tai propositionaalinen suunnattu asyklinen kuvaaja, on tietorakenne, jota käytetään esittämään Boolen funktiota. Katso Luokka:Binääripäätösdiagrammit
käsite mapsEdit
konseptikartta on logiikkakaavio, joka esittää käsitteiden välisiä suhteita. Katso Kategoria: Konseptikartat
käsitteelliset graafitedit
käsitteelliset graafit antavat muodollisen esityksen luonnollisesta kielestä perustuu semanttisiin verkkoihin ja Peircen eksistentiaalisiin kuvioihin, katso Luokka:Käsitteelliset kaaviot
Existential graphEdit
Existential graph on propositiologiikan graafinen esitys, jota ehdotti Charles Sanders Peirce, joka kirjoitti ensimmäisen tutkielmansa graafisesta logiikasta vuonna 1882 ja jatkoi menetelmän kehittämistä kuolemaansa saakka vuonna 1914. Katso Luokka:Eksistentiaaligrafiikka
Hasse diagramEdit
a Hasse-Diagrammi on järjestysteoriassa kaavio, joka on yksinkertainen kuva äärellisestä osittain järjestetystä joukosta, joka muodostaa piirroksen osittaisen järjestyksen transitiivisesta reduktiosta, katso Luokka:Hasse-diagrammit
implisiittinen diagramsEdit
looginen implisiitti on logiikassa ja matematiikassa looginen relaatio, joka pätee joukon T ja kaavan B välillä, kun jokainen T: n malli tai tulkinta tai arvostus on myös B: n malli.:Implisiittikaaviot
Kripke-mallit
Kripke-mallit ovat modaalilogiikalle tehtyjä diagrammeja, jotka on myöhemmin sovitettu intuitionistiseen logiikkaan ja muihin ei-klassisiin järjestelmiin. Katso Kategoria: Kripke-mallit
Logic gatesEdit
Katso Luokka:Logiikkaportit
Porfyrialainen puu
foinikialaisen uusplatonilaisen filosofin Porfyrioksen (233-309 Jaa.), on hierarkkinen ontologia, logiikan konstruktio, joka koostuu kolmesta rivistä tai sarakkeesta sanoja; keskimmäinen, jossa on suku-ja lajisarja, ja kantaa jonkin verran analogiaa runkoon.
semanttinen kuvaelma
semanttinen kuvaelma on logiikkakaavio, joka esittää sententiaalisen ja siihen liittyvän logiikan päätöksentekomenettelyn sekä ensimmäisen kertaluvun logiikan kaavojen todistusmenettelyn. Katso Luokka: semanttiset taulukot