P @ Q का अर्थ है →P बड़ा है Q से P # Q का अर्थ है →P या तो बड़ा है या फिर Q के समतुल्य है P = Q का अर्थ है →P बराबर है Q के P ⌂ Q का अर्थ है →P छोटा है Q से P ☼ Q का अर्थ है →P या तो छोटा है या फिर Q के समतुल्य है। कथनः G ☼ S, F @ S, T ⌂ G निष्कर्षः 1. F @ T 2. T = S