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