Lógica

«Soy Filetas de Cos. Me hicierón morir "El mentiroso" y las noches de insomnio por su causa»

VERDAD LÓGICA: 🔎

una fbf es logicamente verdadera en L syss es verdadera en todas las interpretaciones de L. (Haack, 1978).

Claves: Falso, Lenguaje formal, Verdad lógica, Verdadero

Entrada más reciente Entrada antigua Inicio

ÍNDICE

PÁGINA PRINCIPAL
🚩PRESENTACIÓN
🌐 HISTORIA
👥 AUTORES
📜 OBRAS CLÁSICAS
🔎 GLOSARIO
📚 BIBLIOGRAFÍA
📐MATERIALES
💻 LINKS

CLAVES

A posteriori A priori Alética Algebra Booleana Algoritmo Analítico Antecedente Argumento Aritmética Atómico Atomismo lógico Axioma Bicondicional Bivalente Cálculo de oraciones Cálculo de predicados Clase Cláusulas Combinatoria Completitud Completo Conclusión Condición Condición necesaria Condición suficiente Condicional Condicionales subjuntivos Conectivas Conjunción Conjunto Conjuntos Connotación Consecuencia Consecuente Consistencia Consistente Constante Constructivismo Contradicción Contradictorio Contrario Converso Corrección Correcto Correspondencia Cuadro de oposición Cuantificadores Decidibilidad Decidible Deducción Deducción natural Definición Demstrable Denotación Descripción definitiva Diádico Dilema disyuntivo Disposicional Disyunción Disyunción exclusiva Disyunción inclusiva Divergencia Doble negación Dominio Entidad Entidades Entimema Enunciado Epistemología Equivalencia Equivalencia material Escuelas filosoficas Esquema Existencial Expresión Extensión Extensión / Intensión Extensional Falso fbf Finito Formalismo Fórmula Función Función variable Hipotesis Iconos Implicación Implicación estricta Implicación material Incompletud Indecidible Independiente Índice Inducción Inferencia Infinito Inteligencia artificial (IA) Intensional Interpretación Intuicionismo Juicios Lenguaje de primer orden Lenguaje formal Lenguaje objeto Ley lógica Lógica bivalente Lógica clásica Lógica constructivista Lógica de predicados Lógica deóntica Lógica dialógica Lógica dinámica Lógica divergente Lógica epistémica Lógica extendida Lógica formal Lógica intuicionista Lógica libre Lógica modal Lógica plurivalente Lógica polivalente Lógica proposicional Lógica tradicional Lógica trivalente Lógicas polivalentes Logicismo Matemáticas Matriz caracteristica Mecánica cuántica Mención Metafísica Metalenguaje Metalógica Modus ponens Modus tollens Molecular Monádica Mundos posibles Negación Operadores Oración Orden Paradoja Pertenencia Poliádico Predicados Premisas Primitivo Principio de bivalencia Principio de explosión Proposición Recursivo Referencia Refutable Reglas de formación Reglas de inferencia Reglas lógica Salva veritate Satisfacibilidad Satisfacible Semántica Semiótica Sentido Signos Silogismo Símbolo Símbolo incompleto Sintaxis Sintaxis Lenguaje formal Sintético Sistema formal Sistema lógico syss Tablas de verdad Tautología Teorema Teoría Teoría de conjuntos Teoría de juegos Teoría de la demostración Teoría de modelos Tercero excluido Términos generales Términos singulares Universal Universo de discurso Uso Validez Valor Valores Valores de verdad Variable Verdad lógica Verdadero

BUSCA

CONTACTA, CORRIGE, APORTA, COMENTA ...

Nombre

Correo electrónico *

Mensaje *

Tema Sencillo. Imágenes del tema: gaffera. Con la tecnología de Blogger.