En matemáticas, el producto cartesiano de dos conjuntos es una operación, que resulta

en otro conjunto, cuyos elementos son todos los pares ordenados que pueden formarse
de forma que el primer elemento del par ordenado pertenezca al primer conjunto y el
segundo elemento pertenezca al segundo conjunto.

a relación es un vínculo o una correspondencia. En el caso de

larelación matemática, se trata de la correspondencia que existe
entre dos conjuntos: a cada elemento del primer conjunto le corresponde
al menos un elemento del segundo conjunto.
Proporción es un término que procede del vocablo latino proportĭo. Se
trata de lacorrespondencia, el equilibrio o la simetríaque existe entre
los componentes de un todo. La proporción puede calcularse entre los
elementos y el todo o entre los propios elementos.
Los conectivos lógicos nos permiten definir operaciones con proposiciones. Son
símbolos que enlazan dos o más proposiciones simples para formar una proposición
compuesta. LA NEGACIÓN (~): Sea p una proposición.

Las tablas de verdad es una estrategia de la lógica simple que permite

establecer la validez de varias propuestas en cuanto a cualquier situación,
es decir, determina las condicionesnecesarias para que sea verdadero un
enunciado propuesto, permitiendo clasificarlos en tautológicos (resultan
verdaderos durante cualquier situación) contradictorias (son enunciados
falsos en la mayoría de los casos) o contingentes (enunciados que no
pueden será tantos verdaderos como falsos no existen tendencia a un
solo sentido).
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.12 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.2
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.

En lógica y filosofía, la contingencia es el modo de ser de lo que no

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