The Art of Thinking, Port-Royal Logic