In addition, the unitclauses a(o) =

In addition, the unit
clauses a(o) = v and a(o) = w, where v 6= w, are inconsistent in the presence of the equality
axioms. As can be seen from table 3.2, the action add is treated the same way as the predicate

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

นอกจากนี้ หน่วย
a(o) ประโยค = v และ a(o) = w ที่วี 6 = w ไม่สอดคล้องในต่อหน้าของความเสมอภาค
สัจพจน์ สามารถเห็นได้จากตาราง 3.2 เพิ่มการดำเนินการจะถือว่าเหมือนเป็นเพรดิเคตการ

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

นอกจากนี้หน่วย
ข้อ = (O) และวี (o) = W, เมื่อ v = 6 W, ไม่สอดคล้องในการปรากฏตัวของความเท่าเทียมกัน
หลักการ ที่สามารถเห็นได้จากตาราง 3.2, การเพิ่มการดำเนินการได้รับการปฏิบัติเช่นเดียวกับคำกริยา

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

นอกจากนี้ หน่วย
อนุประโยค ( O ) = V และ W ( O ) = ที่ V 6 = W จะไม่สอดคล้องกันในการปรากฏตัวของความเสมอภาค
สัจพจน์ . ดังจะเห็นได้จากตารางที่ 3.2 , การเพิ่มการรักษาแบบเดียวกับที่เป็นภาคแสดง