¡Más rápido que el navegador!
166 relaciones: Absorción (lógica), Acertijo lógico, Adjunción lógica, Adjunción opuesta, Afirmación lógica, Aibofobia, Alfabeto lógico, Alfred Tarski, Algoritmo de Davis-Putnam, Algoritmo DPLL, Aritmética recursiva primitiva, Asociatividad (álgebra), Ateísmo cristiano, Axioma, Álgebra de Boole, Álgebra de conjuntos, Álgebra de Lindenbaum-Tarski, Cálculo, Cálculo lógico, Cálculo proposicional de Frege, Cláusula (lógica), Cláusula de Horn, Compacidad (lógica), Completitud (lógica), Completitud funcional, Condicional material, Conectiva lógica, Conjunción lógica, Conjunción opuesta, Conmutatividad, Consecuente, Consistencia (lógica), Constante lógica, Contradicción, Contraposición lógica, Decidibilidad, Deducción natural, Definición extensional, Demostración automática de teoremas, Demostración en matemática, Dilema constructivo, Dilema destructivo, Distributividad, Disyunción, Disyunción exclusiva, Disyunción lógica, Disyunción opuesta, Doble negación (lógica), El acertijo lógico más difícil, Eliminación de la disyunción, ..., Equisatisfactibilidad, Escuela megárica, Estoicismo, Eubulides, Evolución histórica de la lógica, Exportación (lógica), Fórmula atómica, Fórmula proposicional, FOIL, Forma lógica, Forma normal negativa, General Problem Solver, Gottlob Frege, Gráficos existenciales, Historia de la inteligencia artificial, Historia de la lógica, Historia del cálculo, Hugh MacColl, Igualdad lógica, Implicación material, Implicación material (desambiguación), Implicación opuesta, Introducción a la filosofía, Introducción de la conjunción, Introducción de la disyunción, Introducción de la negación, Introducción del bicondicional, Intuición lógica, Jan Łukasiewicz, Jean Dullaert de Gante, John Corcoran, Juan de Santo Tomás, Lógica, Lógica aristotélica, Lógica clásica, Lógica cuántica, Lógica de clases, Lógica de orden superior, Lógica de primer orden, Lógica de segundo orden, Lógica doxástica, Lógica estoica, Lógica filosófica, Lógica híbrida, Lógica intensional, Lógica intuicionista, Lógica matemática, Lógica modal, Lógica no clásica, Lógica probabilística, Lógica relevante, Lógica trivalente, Lenguaje formalizado, Lenguaje proposicional, Leon Henkin, Leyes de De Morgan, Lincos, Literal (lógica matemática), Logic Theorist, Luis Cuéllar, Matemática médica, Metalógica, Metalenguaje, Modus ponendo ponens, Modus ponendo tollens, Modus tollendo ponens, Modus tollendo tollens, Notación polaca, Numeración de Gödel, Operador, Paradoja del cuervo, Paradojas de la implicación material, Paul Bernays, Predicado (lógica), Principio de explosión, Principio de identidad, Principio de no contradicción, Principio del tercero excluido, Probabilidad bayesiana, Producto exterior, Proposición, Prueba condicional, Puerta cuántica, Razonamiento automático, Razonamiento deductivo, Refutación, Regla de inferencia, Reglas de reemplazo, Representación del conocimiento, Satisfacibilidad, Saul Kripke, Sentencia atómica, Ser, Silogismo hipotético, Simplificación, Sistema axiomático, Sistema B, C, K, W, Sistema deductivo, Sistema formal, Soft computing, Tabla de verdad, Tautología, Tautología (regla de inferencia), Teoría de conjuntos (Lógica proposicional), Teorema, Teorema de Frege, Teorema de la deducción, Transposición (lógica), Unidad de la ciencia, Validez (lógica), Variable discreta y variable continua, Variable proposicional, Vel, Verdad lógica, Virgulilla, Walter Burley. Expandir índice (116 más) »
Absorción (lógica)
Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional.
¡Nuevo!!: Lógica proposicional y Absorción (lógica) · Ver más »
Acertijo lógico
Los acertijos lógicos son pasatiempos o juegos que consisten en hallar la solución de un enigma o encontrar el sentido oculto de una frase solo por vía de la intuición y el razonamiento, y no en virtud de la posesión de determinados conocimientos.
¡Nuevo!!: Lógica proposicional y Acertijo lógico · Ver más »
Adjunción lógica
En razonamiento formal, la adjunción Lógica o negación de la implicación (\nrightarrow) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso.
¡Nuevo!!: Lógica proposicional y Adjunción lógica · Ver más »
Adjunción opuesta
En razonamiento formal, la adjunción opuesta o negación de la implicación opuesta (\nleftarrow) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es falsa y la condición b es verdadera, y es falso de cualquier otro caso.
¡Nuevo!!: Lógica proposicional y Adjunción opuesta · Ver más »
Afirmación lógica
En matemáticas, especialmente en lógica, una afirmación lógica es la presentación de una proposición o predicado lógico como su afirmación o su consideración como verdad cierta.
¡Nuevo!!: Lógica proposicional y Afirmación lógica · Ver más »
Aibofobia
La aibofobia es una hipotética fobia contra los palíndromos.
¡Nuevo!!: Lógica proposicional y Aibofobia · Ver más »
Alfabeto lógico
El alfabeto lógico, también llamado Alfabeto Lógico X-stem (XLA), constituye un conjunto icónico de símbolos lógicos booleanos que representan sistemáticamente dieciséis posibles funciones de verdad binarias de la lógica.
¡Nuevo!!: Lógica proposicional y Alfabeto lógico · Ver más »
Alfred Tarski
Alfred Tarski -originalmente Alfred Teitelbaum- (14 de enero de 1901—26 de octubre de 1983) fue un lógico, matemático y filósofo polaco.
¡Nuevo!!: Lógica proposicional y Alfred Tarski · Ver más »
Algoritmo de Davis-Putnam
El algoritmo de Davis-Putnam fue desarrollado por Martin Davis y Hilary Putnam para comprobar la satisfacibilidad de las fórmulas de la lógica proposicional en forma normal conjuntiva, es decir, en conjuntos de cláusulas.
¡Nuevo!!: Lógica proposicional y Algoritmo de Davis-Putnam · Ver más »
Algoritmo DPLL
El algoritmo DPLL/Davis-Putnam-Logemann-Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfactibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el problema CNF-SAT.
¡Nuevo!!: Lógica proposicional y Algoritmo DPLL · Ver más »
Aritmética recursiva primitiva
La aritmética recursiva primitiva (PRA por sus siglas en inglés) es una formalización libre de cuantificadores de los números naturales.
¡Nuevo!!: Lógica proposicional y Aritmética recursiva primitiva · Ver más »
Asociatividad (álgebra)
La asociatividad es una propiedad en el álgebra y la lógica proposicional que se cumple, si dados tres o más elementos cualquiera de un conjunto determinado, se verifica que existe una operación: \circledcirc, que cumpla la igualdad: Es decir, en una expresión asociativa con dos o más ocurrencias seguidas de un mismo operador asociativo, el orden en que se ejecuten las operaciones no altera el resultado, siempre y cuando se mantenga intacta la secuencia de los operandos.
¡Nuevo!!: Lógica proposicional y Asociatividad (álgebra) · Ver más »
Ateísmo cristiano
El ateísmo de valores cristianos o ateísmo cristiano es una postura aplicable a la vida real por ateos o por "cristianos", creada a partir de una mediación entre opuestos como la fe y la razón propuestas por Santo Tomás de Aquino ("Creer es un acto del entendimiento que asiente a la verdad divina por imperio de la voluntad movida por Dios mediante la gracia"), que rechaza al Dios del cristianismo, pero sigue las enseñanzas de Jesús.
¡Nuevo!!: Lógica proposicional y Ateísmo cristiano · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Lógica proposicional y Axioma · Ver más »
Álgebra de Boole
En matemáticas, electrónica digital e informática, el álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza operaciones lógicas.
¡Nuevo!!: Lógica proposicional y Álgebra de Boole · Ver más »
Álgebra de conjuntos
En matemáticas, álgebra de conjuntos es el estudio de las operaciones básicas que pueden realizarse con conjuntos, como la unión, intersección y complementación.
¡Nuevo!!: Lógica proposicional y Álgebra de conjuntos · Ver más »
Álgebra de Lindenbaum-Tarski
En lógica matemática, el álgebra de Lindenbaum-Tarski (también conocida como álgebra de Lindenbaum) de una teoría lógica T consiste en las clases de equivalencia de sentencias de la teoría (es decir, el cociente, bajo la relación de equivalencia ~ definida de tal manera que p ~ q exactamente cuando p y q son probablemente equivalentes en T). Es decir, dos oraciones son equivalentes si la teoría T prueba que cada una implica a la otra.
¡Nuevo!!: Lógica proposicional y Álgebra de Lindenbaum-Tarski · Ver más »
Cálculo
En general el término cálculo (del latín calculus, piedrecita, usado para contar o como ayuda al calcular) hace referencia al resultado correspondiente a la acción de calcular.
¡Nuevo!!: Lógica proposicional y Cálculo · Ver más »
Cálculo lógico
El cálculo lógico, o derivación lógica, es un algoritmo o sistema lógico que permite inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos.
¡Nuevo!!: Lógica proposicional y Cálculo lógico · Ver más »
Cálculo proposicional de Frege
Cálculo proposicional de Frege, en la Lógica matemática, el cálculo proposicional de Frege fue la primera axiomatización del cálculo proposicional.
¡Nuevo!!: Lógica proposicional y Cálculo proposicional de Frege · Ver más »
Cláusula (lógica)
En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando es verdadero al menos uno de los literales que la forman.
¡Nuevo!!: Lógica proposicional y Cláusula (lógica) · Ver más »
Cláusula de Horn
En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo.
¡Nuevo!!: Lógica proposicional y Cláusula de Horn · Ver más »
Compacidad (lógica)
En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo.
¡Nuevo!!: Lógica proposicional y Compacidad (lógica) · Ver más »
Completitud (lógica)
En metalógica, la completitud o completitud semántica es la propiedad metateórica que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas las verdades lógicas) del sistema son además teoremas del sistema.
¡Nuevo!!: Lógica proposicional y Completitud (lógica) · Ver más »
Completitud funcional
En lógica, un conjunto funcionalmente completo de conectivas lógicas u operadores booleanos es aquel que puede ser usado para expresar todas las tablas de verdad posibles combinando sus elementos en expresiones booleanas.
¡Nuevo!!: Lógica proposicional y Completitud funcional · Ver más »
Condicional material
El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es un conectiva lógica que conecta dos proposiciones, representado usualmente como A \to B. En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso.
¡Nuevo!!: Lógica proposicional y Condicional material · Ver más »
Conectiva lógica
En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
¡Nuevo!!: Lógica proposicional y Conectiva lógica · Ver más »
Conjunción lógica
En razonamiento formal, una conjunción lógica (\land) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.
¡Nuevo!!: Lógica proposicional y Conjunción lógica · Ver más »
Conjunción opuesta
En razonamiento formal, una conjunción opuesta (\uparrow) (también conocida como incompatibilizador, barra de Nicod, trazo de Sheffer o negación alternativa) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso solo si ambas proposiciones son ciertas, y en cierto de cualquier otra forma.
¡Nuevo!!: Lógica proposicional y Conjunción opuesta · Ver más »
Conmutatividad
En matemáticas, la propiedad conmutativa o conmutatividad es una propiedad fundamental que tienen algunas operaciones según la cual el resultado de operar dos elementos no depende del orden en el que se toman.
¡Nuevo!!: Lógica proposicional y Conmutatividad · Ver más »
Consecuente
En lógica matemática, un consecuente es un tipo muy general de afirmación condicional.
¡Nuevo!!: Lógica proposicional y Consecuente · Ver más »
Consistencia (lógica)
En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.
¡Nuevo!!: Lógica proposicional y Consistencia (lógica) · Ver más »
Constante lógica
En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición,Véase la introducción de y por extensión la validez o invalidez de los argumentos.
¡Nuevo!!: Lógica proposicional y Constante lógica · Ver más »
Contradicción
En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones.
¡Nuevo!!: Lógica proposicional y Contradicción · Ver más »
Contraposición lógica
En lógica, la contraposición lógica es una ley que dice que, para cada sentencia condicional, hay una equivalencia lógica entre la misma y su contraposición.
¡Nuevo!!: Lógica proposicional y Contraposición lógica · Ver más »
Decidibilidad
En metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema.
¡Nuevo!!: Lógica proposicional y Decidibilidad · Ver más »
Deducción natural
La deducción natural es una aproximación a la teoría de la demostración en la que se busca capturar la manera en que las personas razonan naturalmente al construir demostraciones matemáticas.
¡Nuevo!!: Lógica proposicional y Deducción natural · Ver más »
Definición extensional
En lógica, filosofía del lenguaje y otras disciplinas que estudian los signos y el significado, la extensión de una expresión es el conjunto de cosas a las cuales se aplica.
¡Nuevo!!: Lógica proposicional y Definición extensional · Ver más »
Demostración automática de teoremas
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
¡Nuevo!!: Lógica proposicional y Demostración automática de teoremas · Ver más »
Demostración en matemática
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.
¡Nuevo!!: Lógica proposicional y Demostración en matemática · Ver más »
Dilema constructivo
Dilema constructivo es una regla de inferencia válida de lógica proposicional.
¡Nuevo!!: Lógica proposicional y Dilema constructivo · Ver más »
Dilema destructivo
Dilema destructivo es una regla de inferencia válida de lógica proposicional.
¡Nuevo!!: Lógica proposicional y Dilema destructivo · Ver más »
Distributividad
En matemáticas, la distributividad es la propiedad de las operaciones binarias que generaliza la propiedad distributiva del álgebra elemental.
¡Nuevo!!: Lógica proposicional y Distributividad · Ver más »
Disyunción
Disyunción (del latín disiunctĭo, -ōnis 'desunión') significa separar o desunir.
¡Nuevo!!: Lógica proposicional y Disyunción · Ver más »
Disyunción exclusiva
En lógica proposicional, la disyunción exclusiva (también llamado bidisyuntor lógico, disyuntor excluyente, "or" fuerte, "or" exclusivo, o desigualdad material) es un operador lógico simbolizado como XOR, EOR, EXOR, ⊻, ⊕ o \nleftrightarrow es un tipo de disyunción lógica de dos operandos.
¡Nuevo!!: Lógica proposicional y Disyunción exclusiva · Ver más »
Disyunción lógica
En razonamiento formal y lógica proposicional, una disyunción lógica (\lor) (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.
¡Nuevo!!: Lógica proposicional y Disyunción lógica · Ver más »
Disyunción opuesta
En lógica proposicional, la disyunción opuesta, también conocida como inalternador, daga de Sheffer, negación conjunta o flecha de Peirce (por su simbolización \downarrow debida a Charles Sanders Peirce), es una conectiva lógica cuyo valor de verdad resulta en verdadero si y sólo si ambas proposiciones son falsas, y falso de cualquier otra forma.
¡Nuevo!!: Lógica proposicional y Disyunción opuesta · Ver más »
Doble negación (lógica)
En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso que la declaración no es cierta".
¡Nuevo!!: Lógica proposicional y Doble negación (lógica) · Ver más »
El acertijo lógico más difícil
«El acertijo lógico más difícil del mundo» es un título que acuñó George Boolos en La República (1992) bajo el título «L'indovinello più difficile del mondo» para el siguiente acertijo lógico inspirado en Raymond Smullyan: Tres dioses A, B, y C son llamados, en algún orden, Verdad, Falso, y Aleatorio.
¡Nuevo!!: Lógica proposicional y El acertijo lógico más difícil · Ver más »
Eliminación de la disyunción
En lógica proposicional, la eliminación de la disyunción (a veces llamada prueba por casos o análisis de casos), es una forma de argumento válido y regla de inferencia que permite la eliminación de un argumento disjunctivo de una prueba lógica.
¡Nuevo!!: Lógica proposicional y Eliminación de la disyunción · Ver más »
Equisatisfactibilidad
En lógica, dos fórmulas son equisatisfactibles si la primera fórmula es satisfactible siempre que la segunda fórmula lo fuera también, y viceversa.
¡Nuevo!!: Lógica proposicional y Equisatisfactibilidad · Ver más »
Escuela megárica
La Escuela megárica (griego Μεγαρική σχολή) fue una escuela filosófica del fundada por Euclides de Mégara, discípulo de Sócrates.
¡Nuevo!!: Lógica proposicional y Escuela megárica · Ver más »
Estoicismo
El estoicismo es una escuela filosófica fundada por Zenón de Citio en Atenas a principios del Es una filosofía de ética personal basada en su sistema lógico y sus puntos de vista sobre el mundo natural.
¡Nuevo!!: Lógica proposicional y Estoicismo · Ver más »
Eubulides
Eubulides de Mileto (griego antiguo Εὑβουλίδης, fl. siglo IV a. C.) fue un filósofo griego de la Escuela megárica, discípulo y sobrino de Euclides de Megara.
¡Nuevo!!: Lógica proposicional y Eubulides · Ver más »
Evolución histórica de la lógica
La lógica es una ciencia formal que estudia la estructura o formas del pensamiento humano (como proposiciones, conceptos y razonamientos) para establecer leyes y principios válidos, con fin de obtener criterios de verdad.
¡Nuevo!!: Lógica proposicional y Evolución histórica de la lógica · Ver más »
Exportación (lógica)
Exportación es una regla de reemplazo válida de la lógica proposicional.
¡Nuevo!!: Lógica proposicional y Exportación (lógica) · Ver más »
Fórmula atómica
En lógica formal, una fórmula atómica es una fórmula bien formada que no tiene una estructura formal más profunda.
¡Nuevo!!: Lógica proposicional y Fórmula atómica · Ver más »
Fórmula proposicional
En la lógica proposicional,una fórmula proposicional es un tipo de fórmula sintáctica la cual está bien formada y tiene un valor verdadero.
¡Nuevo!!: Lógica proposicional y Fórmula proposicional · Ver más »
FOIL
FOIL es un algoritmo usado en informática en el campo de la inteligencia artificial y más concretamente en el campo de la programación lógica inductiva (ILP) para aprender reglas de la lógica de primer orden que describan un predicado a partir de un conocimiento base y de un conjunto de ejemplos, denominado conjunto de entrenamiento, donde puede haber tanto ejemplos positivos como negativos.
¡Nuevo!!: Lógica proposicional y FOIL · Ver más »
Forma lógica
La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados.
¡Nuevo!!: Lógica proposicional y Forma lógica · Ver más »
Forma normal negativa
En lógica proposicional, una fórmula lógica está en forma normal negativa si, de poseer negaciones, estas únicamente afectan las fórmulas atómicas, y si además los únicos conectivos existentes son.
¡Nuevo!!: Lógica proposicional y Forma normal negativa · Ver más »
General Problem Solver
El General Problem Solver (GPS), en español Solucionador General de Problemas, es un programa de ordenador creado en 1957 por Herbert Simon, J.C. Shaw, y Allen Newell con el objetivo de construir una máquina capaz de resolver problemas de carácter general.
¡Nuevo!!: Lógica proposicional y General Problem Solver · Ver más »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán.
¡Nuevo!!: Lógica proposicional y Gottlob Frege · Ver más »
Gráficos existenciales
Se denomina Gráficos existenciales (en inglés: existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano Charles Sanders Peirce.
¡Nuevo!!: Lógica proposicional y Gráficos existenciales · Ver más »
Historia de la inteligencia artificial
La inteligencia artificial surge definitivamente a partir de algunos trabajos publicados en la década de 1940 que no tuvieron gran repercusión, pero a partir del influyente trabajo en 1950 de Alan Turing, matemático británico,con lo cual se abre una nueva disciplina de las ciencias de la información.
¡Nuevo!!: Lógica proposicional e Historia de la inteligencia artificial · Ver más »
Historia de la lógica
La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia.
¡Nuevo!!: Lógica proposicional e Historia de la lógica · Ver más »
Historia del cálculo
El cálculo, originalmente llamado cálculo infinitesimal, es una disciplina matemática centrada en los límites, la continuidad, las derivadas, las integrales y las series infinitas.
¡Nuevo!!: Lógica proposicional e Historia del cálculo · Ver más »
Hugh MacColl
Hugh MacColl (1837-1909) fue un matemático escocés que se destacó en el campo de la lógica.
¡Nuevo!!: Lógica proposicional y Hugh MacColl · Ver más »
Igualdad lógica
La igualdad lógica es una conectiva lógica que corresponde a la igualdad en el álgebra de Boole y a la proposición bicondicional en lógica proposicional.
¡Nuevo!!: Lógica proposicional e Igualdad lógica · Ver más »
Implicación material
En lógica proposicional, la implicación material o definición del condicional es una regla de reemplazo válida que permite que una declaración condicional sea sustituida por una disyunción si y solo si el antecedente es negado.
¡Nuevo!!: Lógica proposicional e Implicación material · Ver más »
Implicación material (desambiguación)
El término implicación material puede referirse en lógica proposicional a.
¡Nuevo!!: Lógica proposicional e Implicación material (desambiguación) · Ver más »
Implicación opuesta
En razonamiento formal, la implicación opuesta (\leftarrow), conversa o recíproca, entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso sólo si la implicación es falsa mientras la condición es cierta, y en cierto de cualquier otra forma.
¡Nuevo!!: Lógica proposicional e Implicación opuesta · Ver más »
Introducción a la filosofía
Introducción a la filosofía es un libro escrito por Luis Cuéllar Bassols y José María Rovira Martínez que presenta la historia de la filosofía de una manera didáctica.
¡Nuevo!!: Lógica proposicional e Introducción a la filosofía · Ver más »
Introducción de la conjunción
Introducción de la conjunción (a veces abreviado simplemente como conjunción) es una regla de inferencia válida de la lógica proposicional.
¡Nuevo!!: Lógica proposicional e Introducción de la conjunción · Ver más »
Introducción de la disyunción
Introducción de la disyunción o adición es una simple forma de argumento válido, una inferencia inmediata y una regla de inferencia de la lógica proposicional.
¡Nuevo!!: Lógica proposicional e Introducción de la disyunción · Ver más »
Introducción de la negación
La introducción de la negación es una regla de inferencia, o regla de transformación, en el campo del cálculo proposicional.
¡Nuevo!!: Lógica proposicional e Introducción de la negación · Ver más »
Introducción del bicondicional
La introducción del bicondicional es una regla de inferencia válida en lógica proposicional.
¡Nuevo!!: Lógica proposicional e Introducción del bicondicional · Ver más »
Intuición lógica
La intuición lógica, o la intuición matemática o la intuición racional, es el conjunto de previsión o anticipación instintiva, conocimiento y sabiduría a menudo asociados con la capacidad de percibir la verdad lógica o matemática, y la capacidad de resolver desafíos matemáticos de manera eficiente.
¡Nuevo!!: Lógica proposicional e Intuición lógica · Ver más »
Jan Łukasiewicz
Jan Łukasiewicz (21 de diciembre de 1878 - 13 de febrero de 1956) fue un matemático, lógico y filósofo polaco que nació en Leópolis, Galitzia (actual Ucrania).
¡Nuevo!!: Lógica proposicional y Jan Łukasiewicz · Ver más »
Jean Dullaert de Gante
Jean Dullaert de Gante (flamenco Jan Dullaert, latinizado como Ioannis Dullardi, Gante, c. 1480 - París, 19 de septiembre de 1513) fue un filósofo y lógico flamenco que vivió en Francia como fraile agustino.
¡Nuevo!!: Lógica proposicional y Jean Dullaert de Gante · Ver más »
John Corcoran
John Corcoran (1937, Baltimore) fue un lógico, filósofo y matemático estadounidense.
¡Nuevo!!: Lógica proposicional y John Corcoran · Ver más »
Juan de Santo Tomás
Juan de Santo Tomás O.P. (1589-1644) fue un fraile portugués, filósofo y teólogo de la segunda escolástica perteneciente a la Escuela de Salamanca, confesor del rey Felipe IV.
¡Nuevo!!: Lógica proposicional y Juan de Santo Tomás · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Lógica proposicional y Lógica · Ver más »
Lógica aristotélica
La lógica aristotélica es la lógica basada en los trabajos del filósofo griego Aristóteles, quien es ampliamente reconocido como el padre fundador de la lógica.
¡Nuevo!!: Lógica proposicional y Lógica aristotélica · Ver más »
Lógica clásica
Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios.
¡Nuevo!!: Lógica proposicional y Lógica clásica · Ver más »
Lógica cuántica
En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas.
¡Nuevo!!: Lógica proposicional y Lógica cuántica · Ver más »
Lógica de clases
La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo clasificado por poseer una determinada propiedad.
¡Nuevo!!: Lógica proposicional y Lógica de clases · Ver más »
Lógica de orden superior
En matemáticas y lógica, una lógica de orden superior (abreviada LOS) es una forma de lógica de predicados que se distingue de la lógica de primer orden por cuantificadores adicionales y, a veces, por su semántica lógica.
¡Nuevo!!: Lógica proposicional y Lógica de orden superior · Ver más »
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
¡Nuevo!!: Lógica proposicional y Lógica de primer orden · Ver más »
Lógica de segundo orden
Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.
¡Nuevo!!: Lógica proposicional y Lógica de segundo orden · Ver más »
Lógica doxástica
La lógica doxástica (del griego antiguo δόξα, doxa, "creencia") es un sistema lógico que se ocupa del razonamiento acerca de las creencias.
¡Nuevo!!: Lógica proposicional y Lógica doxástica · Ver más »
Lógica estoica
La lógica estoica es el sistema de lógica proposicional desarrollado por los filósofos del estoicismo en la antigua Grecia.
¡Nuevo!!: Lógica proposicional y Lógica estoica · Ver más »
Lógica filosófica
Entendida en un sentido estricto, la lógica filosófica es el área de la filosofía que estudia la aplicación de métodos lógicos a problemas filosóficos, a menudo en forma de sistemas lógicos extendidos como la lógica modal.
¡Nuevo!!: Lógica proposicional y Lógica filosófica · Ver más »
Lógica híbrida
La lógica híbrida es un tipo de extensión de la lógica modal proposicional con mayor poder expresivo, aunque sin llegar a ser una lógica de primer orden.
¡Nuevo!!: Lógica proposicional y Lógica híbrida · Ver más »
Lógica intensional
La lógica intensional es un sistema formal donde los aspectos intensionales del lenguaje pueden ser representados.
¡Nuevo!!: Lógica proposicional y Lógica intensional · Ver más »
Lógica intuicionista
La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer.
¡Nuevo!!: Lógica proposicional y Lógica intuicionista · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: Lógica proposicional y Lógica matemática · Ver más »
Lógica modal
Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.
¡Nuevo!!: Lógica proposicional y Lógica modal · Ver más »
Lógica no clásica
Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas.
¡Nuevo!!: Lógica proposicional y Lógica no clásica · Ver más »
Lógica probabilística
La lógica probabilística (o lógica probabilista) es una forma de razonamiento que tiene como objetivo combinar la capacidad de manejar la incertidumbre que tiene la teoría de probabilidad con la capacidad de explotar la estructura de la argumentación formal que tiene la lógica deductiva.
¡Nuevo!!: Lógica proposicional y Lógica probabilística · Ver más »
Lógica relevante
La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub-estructurales no clásicas que impone ciertas restricciones en la implicación.
¡Nuevo!!: Lógica proposicional y Lógica relevante · Ver más »
Lógica trivalente
Se llama lógica ternaria o lógica trivalente a cualquier sistema lógico multivaluado en el que hay tres valores de verdad, indicando Verdadero, Falso y algún otro valor indeterminado.
¡Nuevo!!: Lógica proposicional y Lógica trivalente · Ver más »
Lenguaje formalizado
El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados».
¡Nuevo!!: Lógica proposicional y Lenguaje formalizado · Ver más »
Lenguaje proposicional
Dentro de la lógica formal, el lenguaje proposicional estudia las propiedades de los conectivos proposicionales como y, o, no, si y solo si y entonces entre otros, usados en el desarrollo de sistemas lógicos en la lógica matemática.
¡Nuevo!!: Lógica proposicional y Lenguaje proposicional · Ver más »
Leon Henkin
Leon Albert Henkin (Brooklyn, Nueva York, 19 de abril de 1921-Oakland, California, 1 de noviembre de 2006) fue uno de los lógicos y matemáticos más importantes del.
¡Nuevo!!: Lógica proposicional y Leon Henkin · Ver más »
Leyes de De Morgan
En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas.
¡Nuevo!!: Lógica proposicional y Leyes de De Morgan · Ver más »
Lincos
Lincos (acrónimo de la expresión latina lingua cosmica) es una lengua construida diseñada para ser comprensible por cualquier forma de vida extraterrestre inteligente, para su uso en transmisiones de radio interestelar.
¡Nuevo!!: Lógica proposicional y Lincos · Ver más »
Literal (lógica matemática)
En lógica matemática, un literal es una fórmula atómica o su negación.
¡Nuevo!!: Lógica proposicional y Literal (lógica matemática) · Ver más »
Logic Theorist
El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y Cliff Shaw en 1955.
¡Nuevo!!: Lógica proposicional y Logic Theorist · Ver más »
Luis Cuéllar
Luis Cuéllar Bassols (Olot, 5 de marzo de 1925-Barcelona, 22 de noviembre de 1993) fue un filósofo, profesor y escritor español.
¡Nuevo!!: Lógica proposicional y Luis Cuéllar · Ver más »
Matemática médica
La matemática para ciencias de la salud o matemática biomédica es un campo interdisciplinario de la ciencia en el cual las matemáticas explican fenómenos, procesos o eventos asociados a la medicina o a la biología.
¡Nuevo!!: Lógica proposicional y Matemática médica · Ver más »
Metalógica
La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.
¡Nuevo!!: Lógica proposicional y Metalógica · Ver más »
Metalenguaje
En lógica y filosofía del lenguaje, un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje.
¡Nuevo!!: Lógica proposicional y Metalenguaje · Ver más »
Modus ponendo ponens
El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens, eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.
¡Nuevo!!: Lógica proposicional y Modus ponendo ponens · Ver más »
Modus ponendo tollens
Modus ponendo tollens (latín: "el modo que, al afirmar, niega") es una regla de inferencia válida de la lógica proposicional, a veces abreviado MPT.
¡Nuevo!!: Lógica proposicional y Modus ponendo tollens · Ver más »
Modus tollendo ponens
El modus tollendo ponens (latín: "el modo que, al negar, afirma")1 también conocido como eliminación de la disyunción o eliminación del "o", abreviado ∨E,HurleyCopi y Cohen o silogismo disyuntivo (cabe anotar que para algunos autores son dos reglas diferentes) es, en lógica clásica, una forma de argumento válida que contiene una declaración disyuntiva en una de sus premisas,HurleyCopi y Cohen y en lógica proposicional, una regla de inferencia válida.
¡Nuevo!!: Lógica proposicional y Modus tollendo ponens · Ver más »
Modus tollendo tollens
El modus tollendo tollens (latín: "el modo que, al negar, niega", conocido como modus tollens, negación del consecuente o ley de contraposición) es una forma de argumento válida y una regla de inferencia en lógica proposicional.
¡Nuevo!!: Lógica proposicional y Modus tollendo tollens · Ver más »
Notación polaca
La notación polaca, también conocida como notación de prefijo o notación prefija, es una forma de notación para la lógica, la aritmética, el álgebra y la computación.
¡Nuevo!!: Lógica proposicional y Notación polaca · Ver más »
Numeración de Gödel
La numeración de Gödel es una función que asigna a cada símbolo y fórmula de un lenguaje formal un número único, denominado Número de Gödel (GN).
¡Nuevo!!: Lógica proposicional y Numeración de Gödel · Ver más »
Operador
En matemáticas, lógica y física el término operador puede ser usado con diversas acepciones.
¡Nuevo!!: Lógica proposicional y Operador · Ver más »
Paradoja del cuervo
La paradoja del cuervo fue propuesta por el filósofo alemán Carl Hempel en la década de 1940 para ilustrar un problema donde la lógica inductiva desafía a la intuición.
¡Nuevo!!: Lógica proposicional y Paradoja del cuervo · Ver más »
Paradojas de la implicación material
Las paradojas de la implicación material son un conjunto de fórmulas de la lógica proposicional, reconocidas como verdades lógicas, pero que golpean al sentido común como cuestionables, o incluso absurdas.
¡Nuevo!!: Lógica proposicional y Paradojas de la implicación material · Ver más »
Paul Bernays
Paul Isaac Bernays (Londres, 17 de octubre de 1888-Zúrich, 18 de septiembre de 1977) fue un matemático suizo que hizo importantes contribuciones a la lógica matemática, la teoría de conjuntos axiomáticos y la filosofía de las matemáticas.
¡Nuevo!!: Lógica proposicional y Paul Bernays · Ver más »
Predicado (lógica)
En lógica, existen muchas concepciones diferentes de la noción de predicado según el contexto y la tradición.
¡Nuevo!!: Lógica proposicional y Predicado (lógica) · Ver más »
Principio de explosión
El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición.
¡Nuevo!!: Lógica proposicional y Principio de explosión · Ver más »
Principio de identidad
El principio de identidad es un principio clásico de la lógica y la filosofía, según el cual toda entidad es idéntica a sí misma.
¡Nuevo!!: Lógica proposicional y Principio de identidad · Ver más »
Principio de no contradicción
El principio de no contradicción (PNC), o a veces llamado principio de contradicción, ley de la contradicción o ley de no contradicción, es un principio clásico de la lógica y la filosofía, según el cual una proposición (A) y su negación (\neg A) no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.
¡Nuevo!!: Lógica proposicional y Principio de no contradicción · Ver más »
Principio del tercero excluido
El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del cuarto excluido o excluso o en latín principium tertii exclusi o bien tertium non datur (“una tercera cosa no se da”), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.
¡Nuevo!!: Lógica proposicional y Principio del tercero excluido · Ver más »
Probabilidad bayesiana
La probabilidad bayesiana es una de las diferentes interpretaciones del concepto de probabilidad.
¡Nuevo!!: Lógica proposicional y Probabilidad bayesiana · Ver más »
Producto exterior
En matemáticas, el producto exterior de vectores (o producto de cuña, por el símbolo \wedge utilizado para denotarlo) es una construcción algebraica utilizada en geometría para estudiar áreas, volúmenes y sus análogos de dimensiones superiores.
¡Nuevo!!: Lógica proposicional y Producto exterior · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Lógica proposicional y Proposición · Ver más »
Prueba condicional
Una prueba condicional es una prueba de que toma la forma de afirmar un condicional, y demostrando que el antecedente del condicional lleva necesariamente al consecuente.
¡Nuevo!!: Lógica proposicional y Prueba condicional · Ver más »
Puerta cuántica
Una puerta cuántica, puerta lógica cuántica o compuerta lógica cuántica es un circuito cuántico básico que opera sobre un pequeño número de qubits.
¡Nuevo!!: Lógica proposicional y Puerta cuántica · Ver más »
Razonamiento automático
El razonamiento automatizado es un área de la ciencias de la computación dedicada a comprender diferentes aspectos del razonamiento de manera que permita la creación de programas informáticos que posibiliten a los ordenadores razonar de forma completamente automática, o casi automática.
¡Nuevo!!: Lógica proposicional y Razonamiento automático · Ver más »
Razonamiento deductivo
El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas.
¡Nuevo!!: Lógica proposicional y Razonamiento deductivo · Ver más »
Refutación
RefutaciónTexto en o pruebas.
¡Nuevo!!: Lógica proposicional y Refutación · Ver más »
Regla de inferencia
En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).
¡Nuevo!!: Lógica proposicional y Regla de inferencia · Ver más »
Reglas de reemplazo
En lógica, las reglas de reemplazo o reglas de sustitución son reglas de transformación que pueden ser aplicadas únicamente a un segmento particular de una expresión.....
¡Nuevo!!: Lógica proposicional y Reglas de reemplazo · Ver más »
Representación del conocimiento
La representación del conocimiento y el razonamiento es un área de la inteligencia artificial cuyo objetivo fundamental es representar el conocimiento de una manera que facilite la inferencia (sacar conclusiones) a partir de dicho conocimiento.
¡Nuevo!!: Lógica proposicional y Representación del conocimiento · Ver más »
Satisfacibilidad
En lógica proposicional, la satisfacibilidad se define como la propiedad de un conjunto de fórmulas de tener un modelo.
¡Nuevo!!: Lógica proposicional y Satisfacibilidad · Ver más »
Saul Kripke
Saul Aaron Kripke (Bay Shore, Nueva York, 13 de noviembre de 1940-15 de septiembre de 2022) fue un profesor, filósofo y lógico estadounidense.
¡Nuevo!!: Lógica proposicional y Saul Kripke · Ver más »
Sentencia atómica
En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición, declaración o portador de la verdad) y que no puede ser dividida en otras sentencias más simples.
¡Nuevo!!: Lógica proposicional y Sentencia atómica · Ver más »
Ser
Ser es el más general de los términos.
¡Nuevo!!: Lógica proposicional y Ser · Ver más »
Silogismo hipotético
En lógica, el silogismo hipotético es una forma de argumento válido que consiste en un silogismo con una sentencia condicional para una o ambas de sus premisas.
¡Nuevo!!: Lógica proposicional y Silogismo hipotético · Ver más »
Simplificación
En lógica proposicional, la simplificación (equivale a la sustitución de una conjunción por uno de sus componentes) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad (o bien "B también es verdad", otra conclusión).
¡Nuevo!!: Lógica proposicional y Simplificación · Ver más »
Sistema axiomático
En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.
¡Nuevo!!: Lógica proposicional y Sistema axiomático · Ver más »
Sistema B, C, K, W
El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, y W. Este sistema fue propuesto originalmente por el matemático estadounidense Haskell Curry en su tesis doctoral Grundlagen der kombinatorischen Logik (Fundamentos de la lógica combinatoria).
¡Nuevo!!: Lógica proposicional y Sistema B, C, K, W · Ver más »
Sistema deductivo
Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) está constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema.
¡Nuevo!!: Lógica proposicional y Sistema deductivo · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Lógica proposicional y Sistema formal · Ver más »
Soft computing
Soft computing es una rama de la Inteligencia Artificial que engloba diversas técnicas empleadas para solucionar problemas que manejan información incompleta, con incertidumbre y/o inexacta.
¡Nuevo!!: Lógica proposicional y Soft computing · Ver más »
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.
¡Nuevo!!: Lógica proposicional y Tabla de verdad · Ver más »
Tautología
En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.
¡Nuevo!!: Lógica proposicional y Tautología · Ver más »
Tautología (regla de inferencia)
En lógica proposicional, la tautología es una regla de reemplazo comúnmente utilizada para eliminar la redundancia en disyunciones y conjunciones en las demostraciones lógicas.
¡Nuevo!!: Lógica proposicional y Tautología (regla de inferencia) · Ver más »
Teoría de conjuntos (Lógica proposicional)
La lógica proposicional describe las formas en que podemos combinar enunciados (también llamados proposiciones) verdaderos para producir otros enunciados verdaderos.
¡Nuevo!!: Lógica proposicional y Teoría de conjuntos (Lógica proposicional) · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: Lógica proposicional y Teorema · Ver más »
Teorema de Frege
En matemáticas, el teorema de Frege es un teorema que establece que los axiomas de Peano de la aritmética pueden ser derivados en lógica de segundo orden a partir del principio de Hume.
¡Nuevo!!: Lógica proposicional y Teorema de Frege · Ver más »
Teorema de la deducción
El teorema de la deducción es un metateorema de la lógica proposicional, la lógica de primer orden y otros sistemas lógicos, que es bastante utilizado para demostrar otros metateoremas.
¡Nuevo!!: Lógica proposicional y Teorema de la deducción · Ver más »
Transposición (lógica)
En la lógica proposicional, la transposición o transformación del condicional es una regla de reemplazo válida de que permite que se cambie el antecedente con el consecuente de una sentencia condicional en una prueba lógica si ellos también son ambos negados.
¡Nuevo!!: Lógica proposicional y Transposición (lógica) · Ver más »
Unidad de la ciencia
En filosofía de la ciencia, la unidad de la ciencia es la idea de que todas las ciencias forman una integralidad o un todo unificado, que no puede ser separado o desmembrado a riesgo de perder la visión de conjunto.
¡Nuevo!!: Lógica proposicional y Unidad de la ciencia · Ver más »
Validez (lógica)
En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión.
¡Nuevo!!: Lógica proposicional y Validez (lógica) · Ver más »
Variable discreta y variable continua
Una variable discreta es una variable que no puede tomar algunos valores dentro de un mínimo conjunto numerable, quiere decir, no acepta cualquier valor, únicamente aquellos que pertenecen al conjunto,otra manera de explicar este tipo de variables es como aquella que puede tomar únicamente un número de valores finito.
¡Nuevo!!: Lógica proposicional y Variable discreta y variable continua · Ver más »
Variable proposicional
En lógica matemática, una variable proposicional (también llamada variable sentencial o letra sentencial) es una variable discreta que puede ser verdadera o falsa.
¡Nuevo!!: Lógica proposicional y Variable proposicional · Ver más »
Vel
Vel es la palabra latina para expresar el sentido inclusivo de una disyunción.
¡Nuevo!!: Lógica proposicional y Vel · Ver más »
Verdad lógica
Una verdad lógica o verdad matemática es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje.
¡Nuevo!!: Lógica proposicional y Verdad lógica · Ver más »
Virgulilla
La virgulilla (~) es un signo ortográfico en forma de coma, onda o trazo.
¡Nuevo!!: Lógica proposicional y Virgulilla · Ver más »
Walter Burley
Walter Burley (o Burleigh; c. 1275-1344/45) fue un filósofo y lógico escolástico inglés con al menos 50 obras atribuidas a él.
¡Nuevo!!: Lógica proposicional y Walter Burley · Ver más »
Redirecciona aquí:
Calculo proposicional, Conjuncion logica, Cálculo proposicional, Logica de proposiciones, Logica proposicional, Lógica de orden cero, Lógica de proposiciones.
