¡Más rápido que el navegador!
19 relaciones: Bicondicional, Conectiva lógica, Cuerpo (matemáticas), Disyunción exclusiva, Disyunción lógica, Equivalencia lógica, Estructura algebraica, Falso (lógica), Función (matemática), Función booleana, Igualdad matemática, Lógica proposicional, Matemáticas, Proposición, Puerta XNOR, Sistema combinacional, Tabla de verdad, Valor de verdad, Verdad.
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!!: Igualdad lógica y Bicondicional · 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!!: Igualdad lógica y Conectiva lógica · Ver más »
Cuerpo (matemáticas)
En matemática, concretamente en el campo del álgebra abstracta, un cuerpo (en ocasiones llamado campo como traducción de inglés field) es un sistema algebraico en el cual las operaciones llamadas adición y multiplicación se pueden realizar y cumplen las propiedades: asociativa, conmutativa y distributiva de la multiplicación respecto de la adición, además de la existencia de inverso aditivo, de inverso multiplicativo y de un elemento neutro para la adición y otro para la multiplicación, los cuales permiten efectuar las operaciones de sustracción y división (excepto la división por cero); estas propiedades ya son familiares de la aritmética de números racionales.
¡Nuevo!!: Igualdad lógica y Cuerpo (matemáticas) · 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!!: Igualdad 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!!: Igualdad lógica y Disyunción lógica · Ver más »
Equivalencia lógica
En lógica, las declaraciones p y q son lógicamente equivalentes si tienen el mismo contenido lógico.
¡Nuevo!!: Igualdad lógica y Equivalencia lógica · Ver más »
Estructura algebraica
En álgebra abstracta, una estructura algebraica, también conocida como sistema algebraico, es una n-tupla (a1, a2,..., an), donde a1 es un conjunto dado no vacío, y un conjunto de operaciones aplicables a los elementos de dicho conjunto.
¡Nuevo!!: Igualdad lógica y Estructura algebraica · 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!!: Igualdad lógica y Falso (lógica) · Ver más »
Función (matemática)
En matemática, se dice que una magnitud es función de otra si el valor de la primera depende del valor de la segunda.
¡Nuevo!!: Igualdad lógica y Función (matemática) · 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!!: Igualdad lógica y Función booleana · Ver más »
Igualdad matemática
En matemáticas, un enunciado en el que dos expresiones (iguales o distintas) denotan el mismo objeto matemático se llama igualdad matemática.
¡Nuevo!!: Igualdad lógica e Igualdad matemática · 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!!: Igualdad lógica y Lógica proposicional · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Igualdad lógica y Matemáticas · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Igualdad lógica y Proposición · Ver más »
Puerta XNOR
La puerta XNOR (a veces escrita "exnor" o "enor" y rara vez escrito NXOR) es una puerta lógica digital cuya función es la inversa de la puerta OR exclusiva (XOR).
¡Nuevo!!: Igualdad lógica y Puerta XNOR · Ver más »
Sistema combinacional
Se denomina sistema combinacional o lógica combinacional a todo sistema lógico en el que sus salidas son función exclusiva del valor de sus entradas en un momento dado, sin que intervengan en ningún caso estados anteriores de las entradas o de las salidas.
¡Nuevo!!: Igualdad lógica y Sistema combinacional · 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!!: Igualdad lógica y Tabla de verdad · 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!!: Igualdad 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!!: Igualdad lógica y Verdad · Ver más »
