Truth at a World in a ModeléPt1 . .

Truth at a World in a Model
éPt1 . . . tn
ù is true at w in M, relative to an assignment A (of
objects to variables), iff the n-tuple of denotations (extenPossibleWorlds
Semantics
sions) of t1 . . . tn at w in M, relative to A, is a member of the
extension of P at w in M. (The extension of a variable v at
any w, relative to A, is whatever object A assigns to v—it
doesn’t change from world to world.)
é~ Qù is true at w in M, relative to A, iff Q is not true at w in M,
relative to A. éQ & Sù is true at w in M, relative to A, iff Q
and S are both true at w in M, relative to A. Similar clauses
are given for éQ v Sù, éQ É Sù, and éQ« Sù.
é$v Q(v)ù is true at w in M, relative to an assignment A, iff
there is an object o in the domain of w in M such that Q(v) is
true at w in M, relative to an assignment A* that assigns o
to v and otherwise is just like A. é"v Q(v)ù is true at w in
M, relative to A, iff for every object o in the domain of w in
M, Q(v) is true at w in M, relative to an assignment A* that
assigns o to v and otherwise is just like A. (Domain restrictions
can be dropped if one wants quantification over all
possible individuals.)
é

Hasil (Bahasa Indonesia) 1:

Kebenaran di dunia ModeléPt1... tnù benar di w m, relatif terhadap tugas A (dariobjek ke variabel), iff n-tupel dari denotations (extenPossibleWorldsSemantikkandungan) T1... tn di w m, relatif terhadap A, adalah anggotaekstensi p di w di M. (perpanjangan dari variabel v disetiap w, relatif terhadap A, adalah apa pun objek A menetapkan v-itutidak berubah dari dunia untuk dunia.)é ~ Qù benar di w m, relatif terhadap A, iff Q itu tidak benar di w m,relatif terhadap A. éQ & Sù adalah benar di w m, relatif terhadap A, iff Qdan S keduanya benar di w m, relatif terhadap Persyaratan serupa A.diberi éQ v Sù, éQ É Sù dan éQ «Sù.é $v ù Q (v) benar di w m, relatif ke tugas A, iffada o objek di domain w m sehingga Q(v)benar di w m, relatif terhadap tugas A * yang menetapkan ov dan sebaliknya adalah seperti A. é "v Q (v) ù benar di w diM, relatif terhadap A, iff untuk setiap objek o dalam domain w diM, Q(v) adalah benar di w m, relatif terhadap tugas A * yangmenetapkan o v dan sebaliknya adalah seperti A. (Domain pembatasandapat jatuh jika salah satu menginginkan kuantifikasi atas semuamungkin individu.)é