djaj

En lógica aristotélica
 el *juicio de términos*se concibe como una relación de dos términos, como atribución de un predicado
a un sujeto
, concebidos éstoscomo conceptos que se unen en la afirmación
 y se separan en la negación.
El juicio así concebido adquiere la forma *S es P* o *S es no-P* en un sentidodeafirmación
 plena de contenido como *juicio categórico*.Tipos de juicios El juicio aristotélico considera la relación entre dos términos: un Sujeto, S, y unpredicado, P.
Los términos pueden ser tomados en su extensión universal: abarca a todos losposibles
 individuos
, el dominio de discurso
, a los cuales puedareferirse el concepto.[1]
[2]

O en su extensión particular: cuando sólo se refiere a algunos.[3]

Los juicios por la extensión en la que es tomado el términosujeto, como criterio de cantidad, pueden ser:
*UNIVERSALES*: Todo S es P[4]

*PARTICULARES*: Algunos S son P[5]

Nota: Los nombres propios
 tienenextensión universal
; pues el uno
, comoúnico
, equivale a un individuo
 que "siendo único es, por eso, todos los posibles".[6]

La relación entre los términos puedeser asimismo:
*AFIRMATIVOS*: De unión: S es P.
*NEGATIVOS*: De separación: S es no-P.[7]

Nota: El predicado de una afirmación siempre tiene extensiónparticular, y el predicado de una negación está tomado en su extensión universal. Cuando un concepto, sujeto o predicado, está tomado en toda su extensión se dice queestá distribuido; cuando no, se dice que está no distribuido.[8]

Según el criterio de cantidad y cualidad, resulta la siguiente clasificación de los juicios: