மூன்று கூற்றுகள் கொடுக்கப்பட்டுள்ளன, அதைத் தொடர்ந்து I, II மற்றும் III என எண்ணிடப்பட்ட மூன்று முடிவுகள் உள்ளன. கூற்றுகள் உண்மை என்று கருதி, அவை பொதுவாக அறியப்பட்ட உண்மைகளுடன் மாறுபாடு கொண்டதாகத் தோன்றினாலும், கூற்றுகளில் இருந்து தர்க்கரீதியாகப் பின்பற்றப்படும் முடிவுகளைத் தீர்மானிக்கவும்.
கூற்றுகள்:
1. அனைத்து விசைகளும் சுட்டி.
2. சில சுட்டிகள் செயலி.
3. சில செயலிகள் இயக்கி.
முடிவுகள்:
I. சில செயலிகள் சுட்டி.
II. சில செயலிகள் விசைகள்.
III. சில இயக்கிகள் சுட்டி.
1
II மற்றும் III இரண்டு முடிவுகளும் பின்தொடர்கின்றன
2
முடிவு I மட்டுமே பின்தொடர்கிறது
3
அனைத்து முடிவுகளும் பின்தொடர்கின்றன
4
முடிவு II மட்டுமே பின்தொடர்கிறது