 Ṣẹkún gbólóhùn tó wà nísàlẹ yìí : Ìwé kan tí wọn pè ní Logic, tàbí The Art of Thinking tí Antoine Arnauld àti Pierre Nicole kọ, èyí tí wọn tún mọ sí Port-Royal Logic, tí wọn kọkọ tẹ jáde ní ọdún 1662, ni wọn fi ṣàkópọ ọrọ yìí. Arnauld ro wipe a gbólóhùn tabi idajọ ni lati ya meji ti o yatọ si ero ati ki o boya fi wọn jọ tabi kọ wọn: 