கொடுக்கப்பட்ட கூற்றுகளை உண்மை என்று கருதிக்கொண்டு, இதன் முடிவு(கள்) நிச்சயமாக சரியானதா என்பதைக் கண்டறியவும்.
கூற்று:
Y ≤ Q < R = P ≥ Z
முடிவுகள்:
I. P > Y
II. Q ≥ P
1
I அல்லது II இரண்டு முடிவுகளும் சரி கிடையாது
2
I மற்றும் II இரண்டு முடிவுகளும் சரியானதாக இருக்கும்
3
I வது முடிவு மட்டும் சரி
4
II வது முடிவு மட்டும் சரி