Tableau Semantik dari Beth Serta Pengubahannya Menjadi Derivasi Formal Sintaktik  

Oleh:

Soehakso, R.M.J.T.

Jenis: Article from Journal - ilmiah nasional - tidak terakreditasi DIKTI
Dalam koleksi: SIGMA: Jurnal Sains dan teknologi vol. 1 no. 2 (Jul. 1998), page 40-49.
Topik: Tree Theorem; Semantic Tableau; Deduction Theorem; Syntactical Derivation

Ketersediaan

Perpustakaan Pusat (Semanggi) Nomor Panggil: SS25.2 Non-tandon: 1 (dapat dipinjam: 0) Tandon: tidak ada

Lihat Detail Induk

Isi artikel

Using examples from quantification theory, the construction of BETH’S semantic tableau is discussed in detail. The “semantic” qualification refers to the use of the semantical notions “truth” and “falsity”. However, rearrangement of the formulae appearing in the tableau gives a formal proof of the conclusion using step by step inferences starting with the premisses. Moreover, since to each step there corresponds a mechnical derivation rule, the tableau can be transformed into a purely syntactical derivation relying only on the typographical structure of the expressions. BETH also presents an outline of a procedure by which the method can be applied to the axiomatics of mathematical theories. The result of the procedure turns out to be fully in accordance with the celebrated theorem of LOWENHEIM-SKOLEMGODEL.

Opini Anda

Klik untuk menuliskan opini Anda tentang koleksi ini!

Kembali