1. sự thật: thuộc tính của các tuyên bố, tức là chúng đúng như vậy. 2. tính hợp lệ: thuộc tính của các đối số, tức là chúng có cấu trúc tốt. (Tiền đề và kết luận có mối liên hệ với nhau đến mức hoàn toàn không thể có tiền đề là đúng trừ khi kết luận cũng đúng.)