Mümkün olan ve olmayan arasındaki farkın belirlenebilmesi için öncelikle zıtlıkların doğru bir şekilde oluşturulması gerekmektedir. Tasdik bir şeyin başka bir şeye bağlanması ile olabilir. Bağlantısı olmayan terimler arasında tasdik ve red mümkün değildir. İsim, fiil, zaman, önerme, inkâr ve tasdik kavramlarını detaylıca ele alan bir eser.