Argomento mapsEdit
Una mappa argomento è una rappresentazione visiva della struttura di un argomento in logica informale. Include i componenti di un argomento come una contesa principale, premesse, co-premesse, obiezioni, confutazioni e lemmi. Vedi Categoria:Argomento mappe
Binario di decisione diagramsEdit
Un Binario di decisione diagrammi nel campo della logica, come una negazione forma normale o una funzione propositiva grafo orientato aciclico, è una struttura di dati che viene utilizzato per rappresentare una funzione Booleana. Vedi Categoria:Diagrammi decisionali binari
Mappa concettualedit
Una mappa concettuale è un diagramma logico che mostra le relazioni tra i concetti. Vedi Categoria: Mappe concettuali
Grafici concettualimodifica
I grafici concettuali forniscono una rappresentazione formalizzata del linguaggio naturale basata su reti semantiche e grafici esistenziali di Peirce, vedi Categoria:Concettuale grafici
Esistenziale graphEdit
Esistenziale grafico è una rappresentazione grafica della logica proposizionale, proposto da Charles Sanders Peirce, che scrisse il suo primo articolo sulla grafica logica nel 1882 e ha continuato a sviluppare il metodo fino alla sua morte nel 1914. Vedi Categoria:Esistenziale grafici
Hasse diagramEdit
Un diagramma di Hasse è un diagramma in ordine teoria, che è una semplice immagine di un finito parzialmente ordinato set, formando un disegno di transitivo riduzione parziale dell’ordine, vedere la Categoria:I diagrammi di Hasse
Implicazione diagramsEdit
Un’implicazione logica, la logica e la matematica, è una logica di relazione che si instaura tra un insieme T di formule e di una formula di B quando ogni modello o di interpretazione o di valutazione di T è anche un modello della B. V. Categoria:Diagrammi di implicazione
Kripke modelsEdit
I modelli Kripke sono diagrammi realizzati per logiche modali e successivamente adattati alla logica intuizionistica e ad altri sistemi non classici. Vedi Categoria: Modelli Kripke
Logic gatesEdit
Vedi Categoria:Porte logiche
Albero porfirianomodifica
Un albero porfiriano, creato dal filosofo neoplatonico fenicio Porfido(233-309 DC.), è un’ontologia gerarchica, costruzione in logica composta da tre righe o colonne di parole; la parte centrale contiene la serie di generi e specie e porta qualche analogia con il tronco.
Semantica tableauEdit
semantic tableau è un diagramma della logica, che mostra una procedura di decisione per sentential e le relative logiche, e di una procedura di prova per le formule della logica del prim’ordine. Vedi Categoria: Tabelle semantiche