III.1. Contingent statement for a s

III.1. Contingent statement for a subject at a certain moment
There is, in predicate logic, a rule named " universal instantiation ". When "for all x F(x)", where F is a sentence with exactly one variable non-quantified, is true in a certain set, then for every element a of this set, we may infer "F(a)".

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

III.1 คำสั่งที่เกิดขึ้นสำหรับเรื่องในขณะหนึ่งมีคือในตรรกะกริยากฎที่ชื่อ "instantiation สากล"
เมื่อ "สำหรับทุก x F (x)" ซึ่ง F เป็นประโยคที่มีอีกหนึ่งตัวแปรที่ไม่ได้วัดเป็นจริงในบางชุดแล้วสำหรับองค์ประกอบของชุดนี้ทุกคนเราอาจสรุป "F (ก)"

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

iii.1 . แถลงการณ์โดยเรื่องที่ช่วงเวลาหนึ่ง
มีในตรรกศาสตร์ภาคแสดง กฎที่ชื่อ " สากล instantiation " เมื่อ " สำหรับทุก x ใน f ( x ) F " ซึ่งเป็นประโยคเดียวกับตัวแปรไม่ใช่ปริมาณที่เป็นจริงในบางชุด แล้วทุกองค์ประกอบของชุดนี้ เราอาจสรุป " F ( ) "