17. Metateorem Awal

Feed on: Tulisan; Komentar

17. Metateorem Awal

28 Maret, 2007 oleh nemu

100. Jika $\phi\quad$ adalah tautologus,maka $\vdash\phi$

Semua pernyataan tautologous adalah benar secara logika, tapi tidak semua yang secara logika benar adalah tautologous

101. $\vdash\ulcorner(\alpha)(\phi\supset\psi)\supset\cdot(\alpha)\phi\supset(\alpha)\psi\urcorner$

102. Jika $\;\alpha\;$ tidak bebas dari $\phi,$ $\quad\vdash\ulcorner\phi\supset(\alpha)\phi\urcorner$

$\ulcorner\quad\quad\urcorner$ adalah quasi quotation : yang artinya quasi adalah mempunyai sesuatu yang seperti ………….. , sedangkan quotation adalah suatu pangsa yang proporsionil, atau tugas untuk memproduksi, atau juga berarti proporsi yang tertinggi dalam suatu populasi.

$(\alpha)\phi$ artinya : segala sesuatu sedemikian rupa sehingga $\phi$

103. Jika $\phi$ seperti $\phi$ ‘ kecuali untuk menampung kejadian-kejadian bebas dari $\alpha$ ‘ dimana $\phi$ mengandung kejadian-kejadian bebas dari $\alpha$ , maka $\vdash\ulcorner(\alpha)\phi\supset\phi\; \prime\urcorner$

104. Jika $\ulcorner\phi\supset\psi\urcorner$ dan $\phi$ adalah teorema - teorema , maka demikian juga $\psi$ adalah teorema - teorema juga. Ada bukti dari penggunaan ‘ jika - maka ‘ dan dari tabel kebenaran dari ‘ $\supset$ ‘ yang mengatakan bahwa $\psi$ benar jika $\ulcorner\phi\supset\psi\urcorner$ benar dan $\phi$ adalah benar. Premis premis $\ulcorner\phi\supset\psi\urcorner$ dan $\phi$ yang menghasilkan kesimpulan $\psi$ disebut modus ponens.Axioma-axioma kuantifikasi bersama-sama membentuk totalitas dengan ponensial-ponensial dari axioma-axioma tersebut adalah THEOREMA. Theorema dapat dikarakteristikakan sebagai berikut :a. axioma-axioma dari kuantifikasi adalah teoremab. Jika $\ulcorner\phi\supset\psi\urcorner$ dan $\phi$ adalah theorema - theorema , maka demikian juga $\psi$ adalah teorema - theorema juga. Uraian keadaan - keadaan umum dimana statemen-statemen ( pernyataan / proposisi) nya adalah teorema-teorema disebut METATHEOREMA

101 s/d 104 adalah “Initial Metatheorems” (METATHEOREMA AWAL)

Ditulis dalam Logika Matematika | & Komentar

10 Tanggapan ke “17. Metateorem Awal”

di/pada 2 April, 2007 pada 11:23 am1 Khayalan Laboratorium « khayalan

[...] 4. METATHEOREMA [...]
di/pada 2 April, 2007 pada 12:01 pm2 khayalan

[...] 17. Metateorem Awal [...]
di/pada 22 April, 2007 pada 3:38 am3 herman

*114 $\vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot ( \alpha_{n})\phi\supset\phi \urcorner\quad$
di/pada 22 April, 2007 pada 3:51 am4 gita

*117 $\vdash\ulcorner \phi\supset \psi\urcorner\quad$ , dan tidak ada satupun dari $\alpha_{1}, . . . ,\alpha_{n}$ adalah bebas dari $\phi$ , maka $\vdash\ulcorner \phi\supset (\alpha_{1}) . . . (\alpha_{n}) \psi\urcorner\quad$
di/pada 22 April, 2007 pada 4:21 am5 gita

*114 $\vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot ( \alpha_{n})\phi\supset\phi \urcorner\quad$
di/pada 22 April, 2007 pada 4:28 am6 gita

$\vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot(\alpha_{n})(\phi\equiv\phi\prime)\supset.(\phi\equiv\psi\prime\urcorner\quad$
di/pada 22 April, 2007 pada 4:30 am7 gita

*121 Jika $\psi\prime$ adalah seperti $\psi$ kecuali untuk penampungan $\phi\prime$ pada beberapa tempat dimana $\psi$ menampung $\phi$ , dan $\alpha_{1} . . . , \alpha_{n} ( n \geqslant 0 )$ mengeluarkan variabel-variabel yang berkaitan dengan kejadian-kejadian dari $\phi$ dan $\phi\prime$ yang diikat didalam $\psi$ dan $\psi\prime$ maka $\vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot(\alpha_{n})(\phi\equiv\phi\prime)\supset.(\psi\equiv\psi\prime\urcorner\quad$
di/pada 22 April, 2007 pada 1:30 pm8 gita

$\dag$ 189 $x=\hat{y}(y \epsilon x)$
di/pada 22 April, 2007 pada 1:34 pm9 gita

$\dag$ 190 $x\epsilon y.\supset.x\epsilon \textrm{V}$
di/pada 22 April, 2007 pada 1:43 pm10 gita

$\dag$ 192. $x \tilde{\epsilon}\Lambda$

Trackback URI | Komentar RSS

	hatewong di Tuker Link Yuk
	kecemplungkalen di Situs yang dihack oleh ke…
	yoyo di Red Number Baterai Panas
	collonies di Khayalan tentang issue Peragaw…
	herman di Red Number Baterai Panas
	m.nainggolan di Red Number Baterai Panas
	budimeeong di Red Number Baterai Panas
	gagah77 + black77 di Pameran motor modif ini juga m…
	teha di Motor aneh langka dan uni…
	fanderlart di Motor aneh langka dan uni…
	kamal87 di Motor aneh langka dan uni…
	dobelden di Motor aneh langka dan uni…
	kang4roo di Motor aneh langka dan uni…
	willycar di Perkenalan
	masdhenk di Khayalan tentang Ahmadiyah dan…

khayalan

khayalan langka aneh dan unik

17. Metateorem Awal

10 Tanggapan ke “17. Metateorem Awal”

Tinggalkan Balasan

Kategori

Komentar Terakhir

Tulisan Terakhir

Tag

Kategori Awan

Top Clicks

Tulisan Teratas

Tautan

Spam Blocked