La clase de objetos particulares a los cuales se refiere un término. Es su significado más directo o específico. Es sinónomo de extensión.

La suma de atributos connotados por un término o concepto. Es el contenido interno de un término expresado en su definición formal, en términos de género y especie. Está ligado a connotación y es opuesto a extensión. Muchos diccionarios lo consideran sinónimo de connotación.

La clase o conjunto de objetos designados por un término específico o por un concepto. Está ligado a la denotación y es opuesto a intensión.

Una proposición compuesta, de la forma "p si y sólo si q".

Operador lógico que resulta en una proposición compuesta de la forma "p o q", donde p y q son proposiciones. Se denota con "pVq" o "pORq".

Operador lógico de la forma "p y q", donde p y q son proposiciones.

Es un operador lógico de la forma "no es el caso que" y que transforma una proposición p en otra con valor de verdad contrario.

Es una proposición compuesta de la forma "si p entonces q" donde p y q son proposiciones. Ejemplo: "si un número entero es impar entonces su cuadrado es impar".

En lógica y matemáticas, una oración gramatical que afirma o niega algo y que tiene un valor de verdad (o es verdadero o es falso).

Proposición sobre la cual se basa un argumento o de la cual se extrae una conclusión.