Logica del Port-Royal

Después de concebir cosas por nuestras ideas, comparamos estas ideas y, encontrando que algunas corresponden y otras no corresponden, las unimos o las separamos. Esto se llama afirmar o negar, y en general juzgar. Este juicio también se llama una proposición, y es fácil ver que debería tener dos términos. Un término, del que se afirma o niega algo, se llama el sujeto; el otro término, lo que se afirma o se niega, se llama predicado.