在逻辑学中，文恩图的一个圆圈代表主项，另一个圆圈代表谓项。