The fact is that the duality holds for propositions asserting of a variable term that it belongs to a class, i.e. such propositions as "x is a man," provided that the implication involved be formal, i.e. one which holds for all values of x.
ความจริงก็คือคู่ถือสำหรับข้อเสนอของซาร์นิโคลัระยะตัวแปรที่มันเป็นของชั้นเรียนคือข้อเสนอเช่น "x เป็นคน" ให้ความหมายที่เกี่ยวข้องเป็นทางการคือหนึ่งซึ่งถือทุกค่าของ x
ความจริงก็คือว่าคู่ถือสำหรับข้อเสนอยืนยันของตัวแปรศัพท์ที่มันเป็นของชั้น ได้แก่ ข้อเสนอ เช่น " X เป็นผู้ชาย " ให้ความหมายเกี่ยวข้องเป็นทางการคือหนึ่งซึ่งถือสำหรับทุกค่าของ X