Conjunto vacío

Desde fines del siglo XX, en la matemática, particularmente en la Teoría axiomática de Conjuntos
de ZF o la teoría intuitiva de conjuntos, el conjunto vacío es el que no posee elemento alguno.
Puesto que lo único que define a un conjunto es la propiedad que satisfacen sus elementos, el
conjunto vacío es único.

Conjunto unitario

En matemáticas, un conjunto unitario es un conjunto con un único elemento. Por ejemplo, el

conjunto { 0 } es un conjunto unitario. Observe que un conjunto como, por ejemplo, { { 1, 2, 3 } } es
también un conjunto unitario: el único elemento es un conjunto (que, sin embargo, no es
unitario). Un conjunto es unitario si y solamente si su cardinalidad es uno.

Conjunto finito

En matemáticas, un conjunto finito es un conjunto que tiene un número finito de elementos. Por
ejemplo {2, 4, 6, 8, 10} es un conjunto finito con cinco elementos. La cardinalidad o número de
elementos de un conjunto finito es igual a un número natural.

Conjunto infinito

En teoría de conjuntos, un conjunto infinito es un conjunto que no es finito. Algunos ejemplos son:

 Los números enteros Z = {..., -3, -2, -1, 0, 1, 2, 3, ...} forman un conjunto infinito
y numerable.
 Los puntos en una recta, representados por un número real, forman un conjunto infinito
y no numerable.

Unión de conjuntos

En la teoría de conjuntos, la unión de dos (o más) conjuntos es una operación que resulta en otro
conjunto, cuyos elementos son los mismos de los conjuntos iniciales. Por ejemplo, el conjunto de
los números naturales es la unión del conjunto de los números pares positivos P y el conjunto de
los números impares positivos I:

Intersección de conjuntos

En teoría de conjuntos, la intersección de dos (o más)conjuntos es una operación que resulta en

otro conjunto que contiene los elementos comunes a los conjuntos de partida.

Diferencia simétrica

En teoría de conjuntos, la diferencia simétrica de dos conjuntos es una operación que resulta en
otro conjunto cuyos elementos son aquellos que pertenecen a alguno de los conjuntos iniciales,
sin pertenecer a ambos a la vez.

Conjunto universal

En matemáticas, principalmente en teoría deconjuntos y lógica de clases, un conjunto universal es

un conjunto formado por todos los objetos de estudio en un contexto dado.
Conjunto completo

es otro conjunto que contiene todos los elementos que no están en el conjunto original. Para
poder definirlo es necesario especificar qué tipo de elementos se están utilizando, o de otro modo,
cuál es el conjunto universal.

Preposiciones

Una proposición matemática es una expresión algebraica que puede acarrear dos valores: ser
verdadera o ser falsa, aunque nunca ambas a la vez. Denominadas a través de letras minúsculas,
lasproposiciones matemáticas tienen un valor de verdad (que será la veracidad o la falsedad de su
enunciado).

Tabla de bernal

Negación

es un mecanismo de defensa que consiste en enfrentarse a los conflictos negando su existencia o

su relación o relevancia con el sujeto.

Se rechazan aquellos aspectos de la realidad que se consideran desagradables. El individuo se

enfrenta a conflictos emocionales y amenazas de origen interno o externo negándose a reconocer
algunos aspectos dolorosos de la realidad externa o de las experiencias subjetivas que son
manifiestos para los demás. El término negación psicótica se emplea cuando hay una total
afectación de la capacidad para captar la realidad. Es algo muy difícil de interpretar. Ejemplo:
Fumar provoca cáncer, pero la persona lo niega e incluso estima que es favorable para su salud
porque le resulta placentero.

Conjunción

En razonamiento formal, una conjunción lógica entre dos proposiciones es un conector

lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son ciertas, y
en falso de cualquier otra forma. Existen diferentes contextos donde se utiliza la conjunción
lógica.

En lenguajes formales, la palabra "y" se utiliza en español para simbolizar una conjunción lógica. La
noción equivalente en la teoría de conjuntos es la intersección En álgebra Booleana, la conjunción
como operador binario entre dos variables se representa con el símbolo de punto medio ( · ).

Disyunción

En razonamiento formal, una disyunción lógica ({\displaystyle \lor } ) (en específico,

una disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la
verdad resulta en falso sólo si ambas proposiciones son falsas, y en cierto de cualquier otra
forma.1 Existen diferentes contextos donde se utiliza la disyunción lógica.

En lenguajes formales, la palabra "o" se utiliza en español para simbolizar una disyunción lógica. Se
debe distinguir entre el "o" inclusivo y el "o" exclusivo, este artículo se refiere al "o" inclusivo. La

noción equivalente en la teoría de conjuntos es la unión ({\displaystyle \cup } ). En álgebra

Booleana, la disyunción como operador binario entre dos variables se representa con el símbolo
de más (+).

Condicional

Conocido como condicional, condicional funcional de verdad, o imprecisamente como implicación

material, es una conectiva lógica que conecta dos proposiciones. 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. En lógica de predicados, puede ser
visto como una relación de subconjuntos entre la extensión de predicados (posiblemente
complejos).

Bicondicional

El valor de verdad de un bicondicional «p si y solo si q» es verdadero cuando ambas proposiciones

(p y q) tienen el mismo valor de verdad, es decir, ambas son verdaderas o falsas simultáneamente;
de lo contrario, es falso.

Tautalogia

En lógica proposicional, una tautología (del griego ταυτολογία, "decir lo mismo") 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.La construcción de una tabla
de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o
no.

Contingencias

es el modo de ser de lo que no es necesario ni imposible, sino que puede ser o no ser el caso. En
general la contingencia se predica de los estados de cosas, los hechos, los eventos o
las proposiciones. Existe un debate sobre si es aceptable hablar de entidades contingentes (o
entidades necesarias o imposibles), conocido como el debate en torno a las modalidades de
dicto (de la palabra) y de res (de la cosa).

Contradicción

En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. Por ejemplo,
las oraciones «llueve y no llueve» y «ni llueve ni truena, pero llueve y truena» expresan
contradicciones.

Tabla de verdad

En lógica proposicional, una contradicción se define como una fórmula que resulta falsa para
cualquier interpretación, es decir para cualquier asignación de valores de verdad que se haga a
sus fórmulas atómicas.