Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Instalar
¡Más rápido que el navegador!
 

Conectiva lógica

Índice 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.

64 relaciones: Absorción (lógica), Adjunción lógica, Adjunción opuesta, Afinidad, Afirmación lógica, Alfred Tarski, Algoritmo, Antecedente (lógica), Asociatividad (álgebra), Álgebra de Boole, Bertrand Russell, Bicondicional, Charles Sanders Peirce, Condicional material, Conjunción, Conjunción lógica, Conjunción opuesta, Conmutatividad, Consecuencia lógica, Constante lógica, Constructivismo (matemática), Contradicción, Cuantificador, David Hilbert, Distributividad, Disyunción exclusiva, Disyunción lógica, Disyunción opuesta, DRAM, Dualidad (matemática), Efecto secundario (informática), Evaluación perezosa, Falso, Falso (lógica), Fórmula atómica, Fórmula bien formada, Función booleana, Función de verdad, Función monótona, George Boole, Gerhard Gentzen, Giuseppe Peano, Gottlob Frege, Idempotencia, Implicación opuesta, Involución (matemática), Jan Łukasiewicz, Lógica, Lógica de primer orden, Lógica proposicional, ..., MIT Press, Negación, Negación lógica, Programa informático, Programación, Puerta lógica, Sentencia condicional, Sistema formal, Tabla de verdad, Tautología, University of Chicago Press, Validez (lógica), Valor de verdad, Verdad. Expandir índice (14 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!!: Conectiva lógica y Absorción (lógica) · 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!!: Conectiva lógica 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!!: Conectiva lógica y Adjunción opuesta · Ver más »

Afinidad

Afinidad (del latín affinĭtas) puede referirse a.

¡Nuevo!!: Conectiva lógica y Afinidad · 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!!: Conectiva lógica y Afirmación lógica · 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!!: Conectiva lógica y Alfred Tarski · Ver más »

Algoritmo

En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.

¡Nuevo!!: Conectiva lógica y Algoritmo · Ver más »

Antecedente (lógica)

Un antecedente es la primera parte de una proposición hipotética, siempre que la cláusula "si" preceda a la cláusula "entonces".

¡Nuevo!!: Conectiva lógica y Antecedente (lógica) · 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!!: Conectiva lógica y Asociatividad (álgebra) · 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!!: Conectiva lógica y Álgebra de Boole · Ver más »

Bertrand Russell

Bertrand Arthur William Russell (Trellech, Monmouthshire; 18 de mayo de 1872-Penrhyndeudraeth, Gwynedd, 2 de febrero de 1970) fue un filósofo, matemático, lógico y escritor británico, ganador del Premio Nobel de Literatura.

¡Nuevo!!: Conectiva lógica y Bertrand Russell · Ver más »

Bicondicional

En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.

¡Nuevo!!: Conectiva lógica y Bicondicional · Ver más »

Charles Sanders Peirce

Charles Sanders Peirce (purse en inglés) (Cambridge, Massachusetts, 10 de septiembre de 1839-Milford, Pensilvania, 19 de abril de 1914) fue un filósofo, lógico y científico estadounidense.

¡Nuevo!!: Conectiva lógica y Charles Sanders Peirce · 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!!: Conectiva lógica y Condicional material · Ver más »

Conjunción

Conjunción puede hacer referencia a.

¡Nuevo!!: Conectiva lógica y Conjunción · 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!!: Conectiva lógica 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!!: Conectiva lógica 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!!: Conectiva lógica y Conmutatividad · Ver más »

Consecuencia lógica

En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.

¡Nuevo!!: Conectiva lógica y Consecuencia 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!!: Conectiva lógica y Constante lógica · Ver más »

Constructivismo (matemática)

En filosofía de las matemáticas, el constructivismo o escuela constructivista requiere para la prueba de la existencia de un objeto matemático, que este pueda ser encontrado o «construido».

¡Nuevo!!: Conectiva lógica y Constructivismo (matemática) · Ver más »

Contradicción

En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones.

¡Nuevo!!: Conectiva lógica y Contradicción · Ver más »

Cuantificador

En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden).

¡Nuevo!!: Conectiva lógica y Cuantificador · Ver más »

David Hilbert

David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.

¡Nuevo!!: Conectiva lógica y David Hilbert · 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!!: Conectiva lógica y Distributividad · 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!!: Conectiva lógica 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!!: Conectiva lógica 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!!: Conectiva lógica y Disyunción opuesta · Ver más »

DRAM

La memoria dinámica de acceso aleatorio o DRAM (del inglés dynamic random-access memory) es un tipo de tecnología de memoria de acceso aleatorio (RAM) basada en condensadores, los cuales pierden su carga progresivamente, necesitando de un circuito dinámico de refresco que, cada cierto período, revisa dicha carga y la repone en un ciclo de refresco.

¡Nuevo!!: Conectiva lógica y DRAM · Ver más »

Dualidad (matemática)

En matemáticas, una dualidad, en términos generales, traduce conceptos, teoremas o estructuras matemáticas en otros conceptos, teoremas o estructuras, mediante una correspondencia uno a uno, a menudo (pero no siempre) por medio de una operación de involución: si el dual de A es B, entonces el dual de B es A. Tales involuciones a veces tienen puntos fijos, de modo que el dual de A es A en sí mismo.

¡Nuevo!!: Conectiva lógica y Dualidad (matemática) · Ver más »

Efecto secundario (informática)

En ciencias de la computación se dice que una función o expresión tiene efecto colateral, efecto de lado o efecto secundario si esta, además de retornar un valor, modifica el estado de su entorno.

¡Nuevo!!: Conectiva lógica y Efecto secundario (informática) · Ver más »

Evaluación perezosa

En la teoría de lenguajes de programación, La evaluación perezosa (del inglés lazy evaluation) o llamada por necesidad es una estrategia de evaluación que retrasa el cálculo de una expresión hasta que su valor sea necesario, y que también evita repetir la evaluación en caso de ser necesaria en posteriores ocasiones.

¡Nuevo!!: Conectiva lógica y Evaluación perezosa · Ver más »

Falso

La palabra falso puede hacer referencia a.

¡Nuevo!!: Conectiva lógica y Falso · Ver más »

Falso (lógica)

En Lógica, falso o no veraz es el estado de poseer un valor verdadero negativo o una conectividad lógica nula.

¡Nuevo!!: Conectiva lógica y Falso (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!!: Conectiva lógica y Fórmula atómica · Ver más »

Fórmula bien formada

En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado.

¡Nuevo!!: Conectiva lógica y Fórmula bien formada · Ver más »

Función booleana

En matemáticas, una función booleana es una función cuyo dominio son las palabras conformadas por los valores binarios 0 o 1 ("falso" o "verdadero", respectivamente), y cuyo codominio son ambos valores 0 y 1.

¡Nuevo!!: Conectiva lógica y Función booleana · Ver más »

Función de verdad

En lógica matemática, una función de verdad es una función que toma un conjunto de valores de verdad y devuelve un valor de verdad.

¡Nuevo!!: Conectiva lógica y Función de verdad · Ver más »

Función monótona

En matemáticas, una función entre conjuntos ordenados se dice monótona (o isótona) si conserva el orden dado.

¡Nuevo!!: Conectiva lógica y Función monótona · Ver más »

George Boole

George Boole (Lincoln, Lincolnshire, Inglaterra, 2 de noviembre de 1815-Ballintemple, Condado de Cork, Irlanda, 8 de diciembre de 1864) fue un matemático y lógico británico.

¡Nuevo!!: Conectiva lógica y George Boole · Ver más »

Gerhard Gentzen

Gerhard Gentzen (Greifswald, Alemania, 24 de noviembre de 1909 - Praga, República Checa, 4 de agosto de 1945) fue un matemático y lógico alemán.

¡Nuevo!!: Conectiva lógica y Gerhard Gentzen · Ver más »

Giuseppe Peano

Giuseppe Peano (Spinetta, 27 de agosto de 1858 - Turín, 20 de abril de 1932) fue un matemático, lógico y filósofo italiano, conocido por sus contribuciones a la lógica matemática y la teoría de números.

¡Nuevo!!: Conectiva lógica y Giuseppe Peano · 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!!: Conectiva lógica y Gottlob Frege · Ver más »

Idempotencia

En matemática y lógica, la idempotencia es la propiedad para realizar una acción determinada varias veces y aun así conseguir el mismo resultado que se obtendría si se realizase una sola vez.

¡Nuevo!!: Conectiva lógica e Idempotencia · 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!!: Conectiva lógica e Implicación opuesta · Ver más »

Involución (matemática)

En matemática, una involución o función involutiva es una función matemática que es su propia inversa: Definida la función: Esta función cumple la propiedad involutiva si: para todo x de A, se cumple que la función de la función de x es x. O, de otra manera.

¡Nuevo!!: Conectiva lógica e Involución (matemática) · 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!!: Conectiva lógica y Jan Łukasiewicz · 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!!: Conectiva lógica y Lógica · 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!!: Conectiva lógica y Lógica de primer orden · Ver más »

Lógica proposicional

La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

¡Nuevo!!: Conectiva lógica y Lógica proposicional · Ver más »

MIT Press

MIT Press es una editorial universitaria afiliada a Instituto Tecnológico de Massachusetts (MIT).

¡Nuevo!!: Conectiva lógica y MIT Press · Ver más »

Negación

Negación puede hacer referencia.

¡Nuevo!!: Conectiva lógica y Negación · Ver más »

Negación lógica

En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.

¡Nuevo!!: Conectiva lógica y Negación lógica · Ver más »

Programa informático

Un programa informático o programa de computadora es una secuencia de instrucciones u órdenes basadas en un lenguaje de programación que una computadora interpreta para resolver un problema o una función especifica.

¡Nuevo!!: Conectiva lógica y Programa informático · Ver más »

Programación

La programación es el proceso de crear un conjunto de instrucciones que le dicen a una computadora como realizar algún tipo de tarea.

¡Nuevo!!: Conectiva lógica y Programación · Ver más »

Puerta lógica

Una puerta lógica o compuerta lógica, es un dispositivo electrónico con una función de tipo booleano u otros tipos (ej. «Trivalente»), como sumar o restar, incluir o excluir según sus propiedades lógicas.

¡Nuevo!!: Conectiva lógica y Puerta lógica · Ver más »

Sentencia condicional

Los tipos más conocidos de sentencias condicionales son el SI..ENTONCES (if..then), el SI..ENTONCES..SI NO (if..then..else) y el SEGÚN (case o switch), aunque también podríamos mencionar al manejo de excepciones como una alternativa más moderna para evitar el "anidamiento" de carne condicionales.

¡Nuevo!!: Conectiva lógica y Sentencia condicional · 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!!: Conectiva lógica y Sistema formal · 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!!: Conectiva lógica 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!!: Conectiva lógica y Tautología · Ver más »

University of Chicago Press

La University of Chicago Press es el mayor editor universitario estadounidense.

¡Nuevo!!: Conectiva lógica y University of Chicago Press · 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!!: Conectiva lógica y Validez (lógica) · Ver más »

Valor de verdad

En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.

¡Nuevo!!: Conectiva lógica y Valor de verdad · Ver más »

Verdad

La verdad es la coincidencia entre una afirmación y los hechos, o la realidad a la que dicha afirmación se refiereMerriam-Webster's Online Dictionary,, 2005.

¡Nuevo!!: Conectiva lógica y Verdad · Ver más »

Redirecciona aquí:

Conectiva logica, Conectivas, Conectivas logicas, Conectivas lógicas, Conectivo binario, Conectivo lógico, Conector lógico, Conectores lógicos, Operador (logica), Operador (lógica), Operador logico, Operador lógico, Relaciones lógicas.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »