mapsEdit
Un mapa de argumentos es una representación visual de la estructura de un argumento en lógica informal. Incluye los componentes de un argumento, como un argumento principal, premisas, co-premisas, objeciones, refutaciones y lemas. Ver Categoría:Argumento de mapas
decisión Binaria diagramsEdit
Una decisión Binaria diagramas en el campo de la lógica, como una negación forma normal o un proposicional gráfico acíclico dirigido, es una estructura de datos que se utiliza para representar una función Booleana. Ver Categoría:Diagramas de decisión binaria
Concepto mapsEdit
Un mapa conceptual es un diagrama de la lógica que muestra las relaciones entre los conceptos. Ver Categoría: Mapas conceptuales
Gráficos conceptualeseditar
Los gráficos conceptuales dan una representación formalizada del lenguaje natural basada en redes semánticas y los gráficos existenciales de Peirce, ver Categoría:Gráficos conceptuales
Gráfico existencialeditar
El gráfico existencial es una representación gráfica de la lógica proposicional, propuesta por Charles Sanders Peirce, quien escribió su primer artículo sobre lógica gráfica en 1882 y continuó desarrollando el método hasta su muerte en 1914. Ver Categoría:Gráficos existenciales
Diagrama de Hasse Edit
Un diagrama de Hasse es un diagrama en la teoría del orden, que es una imagen simple de un conjunto finito parcialmente ordenado, formando un dibujo de la reducción transitiva del orden parcial, ver Categoría:Diagramas de Hasse
Diagramas de implicacióneditar
Una implicación lógica, en lógica y matemáticas, es una relación lógica que se mantiene entre un conjunto T de fórmulas y una fórmula B cuando cada modelo o interpretación o valoración de T es también un modelo de B. Ver Categoría:Diagramas de implicación
Modelos de Kripke Edit
Los modelos de Kripke son diagramas hechos para lógicas modales, y más tarde adaptados a la lógica intuicionista y otros sistemas no clásicos. Ver Categoría:modelos de Kripke
la Lógica gatesEdit
Ver Categoría:Puertas lógicas
Árbol porfirioeditar
Un árbol porfirio, creado por el filósofo neoplatónico fenicio Pórfido (233-309 d.C.), es una ontología jerárquica, construcción en lógica que consiste en tres filas o columnas de palabras; la mitad de las cuales contiene la serie de géneros y especies, y lleva alguna analogía con el tronco.
Tabla semánticaeditar
La tabla semántica es un diagrama lógico, que muestra un procedimiento de decisión para lógicas sentenciales y relacionadas, y un procedimiento de prueba para fórmulas de lógica de primer orden. Ver Categoría:Semántica tablas