Certain propositions in the logic o

Certain propositions in the logic of relation deserve to be mentioned
if u ,v be any two classes ,
there is a relation R the assertion of which between any two terms x and y is equivalent to the assertion that x belongs to u and y to v
if u be any class which is not null , there pairs of terms

there is a relation which all its terms have to it, and which holds for no other pairs of terms


if R be any relation, and u any class contained in the class of referents with respect to R , there is a relation which has u for the class of its referents, and is equivalent to R throughout that class;

ผลลัพธ์ (ไทย) 1:

บางข้อเสนอในตรรกะของความสัมพันธ์ที่สมควรที่จะกล่าวถึงถ้าคุณ v จะมีสองชั้นเรียน มีความสัมพันธ์จะตรวจสอบเงื่อนไขซึ่งเงื่อนไขสองระหว่าง x และ y จะเท่ากับตรวจสอบเงื่อนไขว่า x เป็นสมาชิกของคุณและ y เป็น vถ้าคุณเรียนใด ๆ ซึ่งไม่ว่าง มีคู่ของเงื่อนไขมีความสัมพันธ์ซึ่งเงื่อนไขทั้งหมดต้องมัน และซึ่งถือสำหรับคู่อื่น ๆ ไม่มีเงื่อนไขถ้า R เป็นความสัมพันธ์ใด ๆ และคุณทุกชั้นอยู่ในระดับของ referents เกี่ยวกับ R มีความสัมพันธ์ซึ่งมี u สำหรับชั้นของ referents และเทียบเท่ากับ R ตลอดที่ชั้น

ผลลัพธ์ (ไทย) 2:

ข้อเสนอบางอย่างในตรรกะของความสัมพันธ์สมควรที่จะถูกกล่าวถึง
ถ้า U, V ใด ๆ สองชั้น
มีความสัมพันธ์ R ยืนยันที่ใด ๆ ระหว่างสองแง่ x และ y จะเทียบเท่ากับการยืนยันว่า x เป็น U และ Y เพื่อ V
ถ้าหากจะเป็นระดับใด ๆ ที่ไม่เป็นโมฆะมีคู่ของคำที่

มีความสัมพันธ์ซึ่งเงื่อนไขทั้งหมดมีมันและซึ่งถือไม่มีคู่อื่น ๆ ในข้อกำหนด


ถ้า R เป็นความสัมพันธ์ใด ๆ และ u ระดับใด ๆ ที่มีอยู่ในระดับของ referents เกี่ยวกับการวิจัยมีความสัมพันธ์ที่มี U สำหรับการเรียนของ referents ของตนและเทียบเท่ากับ R ตลอดทั้งชั้นเรียนที่;

ผลลัพธ์ (ไทย) 3:

บางข้อเสนอในตรรกะของความสัมพันธ์ควรจะกล่าวถึงถ้า u , V เป็นสองชนชั้นมีความสัมพันธ์ R ยืนยันซึ่งระหว่างสองแง่ x และ y เท่ากับยืนยันว่า x เป็น y v u และถ้าคุณเป็นระดับใด ซึ่งไม่ใช่ null มีคู่ของข้อตกลงมีความสัมพันธ์ซึ่งเงื่อนไขทั้งหมดต้องมันและที่ถือไม่มีคู่อื่น ๆของข้อตกลงถ้า r เป็นความสัมพันธ์ใด ๆและคุณเรียนอยู่ในชั้นเรียนของ referents ด้วยความเคารพ R มีความสัมพันธ์ซึ่งมี U สำหรับชั้นเรียนของ referents และเทียบเท่ากับ R ตลอดคลาสที่