ตัวอย่างเพรดิเคตไบนารี

บน ตรรกะประโยคประกอบด้วยไวยากรณ์ของหัวเรื่องซึ่งเป็นประโยคที่พูดถึงและเป็นภาคแสดงซึ่งมีการยืนยันบางอย่างเกี่ยวกับหัวเรื่อง สำหรับการศึกษาในตรรกะทางคณิตศาสตร์ เพรดิเคตคือข้อความที่ทำในคำสั่งและจัดประเภทตามคำสั่งที่มีผลต่อวิชาหนึ่ง สอง หรือมากกว่า

เมื่อเพรดิเคตระบุคุณลักษณะหรือการกระทำของประธาน เรียกว่า เพรดิเคต รวม, monary หรือ unaryเนื่องจากข้อความนั้นเกี่ยวข้องกับหัวเรื่องเดียวเท่านั้น (บุคคล สัตว์ สิ่งของ หรือความคิด) และคุณลักษณะของมัน:

ฮวนฉลาด
อลิสหน้าเหมือนนางแบบ
โรแบร์โต้กิน.
Jose ทำงาน

ในระดับไวยากรณ์ ภาคแสดงเอกพจน์เป็นประโยคแสดงที่มา ซึ่งมีการยืนยันบางอย่างเกี่ยวกับหัวเรื่อง (สองประโยคแรกจากด้านบน) เช่นเดียวกับประโยคไตร่ตรอง กล่าวคือ ประโยคที่การกระทำนั้นตกอยู่ที่หัวเรื่อง (ประโยคที่สามและสี่)

ประโยคไบนารีคือประโยคที่มีสองวิชาs ซึ่งสัมพันธ์กันผ่านการกระทำของกริยา ความสัมพันธ์นี้สามารถมีได้หลายประเภทและ ลักษณะทั่วไปของพวกเขาคือทั้งสองวิชาอยู่ภายใต้ลำดับของความสัมพันธ์ซึ่งสามารถแสดงออกทางไวยกรณ์ได้หลากหลาย

เป็นวิชาประกอบ: เมื่อมีประธานร่วมและการกระทำของกริยาจะกลับกันระหว่างประธาน ตัวอย่างเช่น:

คาร์ลอสและอลิเซียรักกัน
โรแบร์โตและโฮเซ่พบกัน

เป็นวัตถุโดยตรง: หมายถึงการกระทำที่กระทำโดยวัตถุในเรื่องหรือวัตถุอื่น:

คาร์ลอสรักอลิเซีย
โรแบร์โต้พบกับโฮเซ่

เป็นการเปรียบเทียบ: เมื่อเราเปรียบเทียบหรือสร้างความเท่าเทียมกันของคุณลักษณะหรือคุณลักษณะของหัวเรื่อง กับของอีกเรื่องหนึ่ง:

คาร์ลอสสูงกว่าอลิเซีย
โรแบร์โตเป็นคนงานที่ดีพอๆ กับโฮเซ่

บ่งชี้ความสัมพันธ์ตามสถานการณ์หรือลำดับชั้น. นั่นคือ เมื่อเราแสดงออกว่าการกระทำของประธาน a ดำเนินการโดยประธาน b ซึ่งแสดงถึงความสัมพันธ์แบบลำดับชั้น:

ใช่ คาร์ลอสจะปรึกษาอลิเซีย
โรแบร์โต้จะทำตามที่คาร์ลอสสั่ง

อย่างไรก็ตาม ไม่ใช่ทุกประโยคที่มีสองประธานก่อนกริยาจะมีภาคแสดงไบนารี เมื่อกริยาเป็นกริยาร่วมกัน อกรรมกริยา หรือสกรรมกริยาซึ่งทำงานเป็นอกรรมกริยา พวกมันจะทำหน้าที่แสดงคุณสมบัติครบถ้วน ดังนั้นเราจึงต้องเผชิญกับภาคแสดงรวม:

ฮวนและอลิเซียวิ่งหนี
Roberto และ José สูง

ในกรณีเหล่านี้ เพื่อแยกความแตกต่างว่าเพรดิเคตเป็นหน่วยเดียวหรือเลขฐานสอง ให้คิดว่าการกระทำนั้นเป็นการกระทำส่วนกลับ (ไบนารี) หรือสิ่งที่เหมือนกัน แต่ละรายการทำด้วยตัวเอง (เอกพจน์):

ฮวนและอลิเซียรักกัน (ฮวนรักอลิเซีย และอลิเซียรักฮวน พวกเขารักกัน เป็นภาคแสดงไบนารี)
ฮวนและอลิเซียวิ่ง (ฮวนวิ่งและอลิเซียวิ่ง แต่ละคนวิ่งด้วยตัวเอง เป็นภาคแสดงรวม)

ใช้ในตรรกะ. การใช้เพรดิเคตไบนารีในลอจิกของรูปแบบทำให้คุณสามารถเปรียบเทียบคุณภาพหรือคุณลักษณะของคนสามคนขึ้นไปผ่านชุดการเปรียบเทียบ สิ่งเหล่านี้อาจเป็นระหว่างปัจเจก จากสากลถึงปัจเจก (อนุมาน) หรือจากปัจเจกถึงสากล (อุปนัย):

บุคคล:

สถานที่ 1 (ภาคแสดงไบนารี): ฮวนเกี่ยวข้องกับอนา
สถานที่2 (ภาคแสดงไบนารี): Ana เกี่ยวข้องกับ Romina
สรุป: ฮวนเป็นญาติของโรมินา

จากสากลถึงเฉพาะ:

สถานที่ 1 (ภาคแสดงไบนารี): แมวอยู่ในกลุ่มสัตว์กินเนื้อ
สถานที่2 (ภาคแสดงไบนารี): แมวอยู่ในกลุ่มของแมว
สถานที่ 3 (หน่วยภาคแสดง): Manchitas เป็นแมว
สรุป: Manchitas เป็นสัตว์กินเนื้อ

จากบุคคลสู่สากล:

สถานที่ 1 (หน่วยภาคแสดง): สุนัขของฉันกินเนื้อ
สถานที่2 (หน่วยภาคแสดง): สุนัขของเพื่อนบ้านกินเนื้อ
สถานที่ 3 (ภาคแสดงไบนารี): สัตว์ที่กินเนื้อสัตว์เป็นกลุ่มของสัตว์กินเนื้อ
สรุป: (ภาคแสดงไบนารี): สุนัขอยู่ในกลุ่มสัตว์กินเนื้อ

10 ตัวอย่างของภาคแสดงไบนารี:

1.

มาเรียนาสูงกว่าคาร์เมน
มาริโซลสูงกว่ามาเรียนา
มาริโซลสูงกว่าคาร์เมน

2.

หนังเรื่องนี้เป็นเรื่องที่น่าสนใจ
โรแบร์โตดูหนังเรื่องนี้
โรแบร์โตเห็นหัวข้อที่น่าสนใจ

3.

ฮวนปฏิบัติตามคำสั่งของเปโดร
เอสเตบันทำตามคำสั่งของฮวน
เอสเตบันปฏิบัติตามคำสั่งของเปโดร

4.

เนื้อสัตว์มีโปรตีน
Josefina กินเนื้อ
Josefina กินโปรตีน

5.

การเขียนเป็นส่วนหนึ่งของภาษา
ดาเนียลาเรียนรู้การเขียน
ดาเนียลาเรียนรู้ที่จะเขียน

6.

ตรรกะเป็นส่วนหนึ่งของปรัชญา
ปรัชญาถือเป็นศิลปะ
กาเบรียลศึกษาตรรกะ
กาเบรียลศึกษาปรัชญา
กาเบรียลศึกษาศิลปะ

7.

มีดโกนใช้ไฟฟ้า
ไฟฟ้าเป็นพลังงานรูปแบบหนึ่ง
มีดโกนใช้พลังงาน

8.

นกเป็นสัตว์บินได้
ค้างคาวบิน
ค้างคาวเป็นนก

9.

ถ้อยแถลงเป็นภาคแสดง
เพรดิเคตบางตัวสามารถเป็นจริงได้
เพรดิเคตบางตัวอาจเป็นเท็จ
ข้อความบางส่วนอาจเป็นจริง
การอ้างสิทธิ์บางอย่างอาจเป็นเท็จ

10.

แดดก็ให้ความร้อน
ความร้อนจะเพิ่มอุณหภูมิ
ดวงอาทิตย์เพิ่มอุณหภูมิ