Oleh: eksporblog | 28 Maret, 2007

17. Metateorem Awal

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

«
»

Tanggapan

  1. [...] 4. METATHEOREMA [...]

    Oleh: Khayalan Laboratorium « khayalan on 2 April, 2007
    at 11:23 am

    Balas

  2. [...] 17. Metateorem Awal [...]

    Oleh: khayalan on 2 April, 2007
    at 12:01 pm

    Balas

  3. *114 \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot ( \alpha_{n})\phi\supset\phi \urcorner\quad

    Oleh: herman on 22 April, 2007
    at 3:38 am

    Balas

  4. *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

    Oleh: gita on 22 April, 2007
    at 3:51 am

    Balas

  5. *114 \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot ( \alpha_{n})\phi\supset\phi \urcorner\quad

    Oleh: gita on 22 April, 2007
    at 4:21 am

    Balas

  6. \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot(\alpha_{n})(\phi\equiv\phi\prime)\supset.(\phi\equiv\psi\prime\urcorner\quad

    Oleh: gita on 22 April, 2007
    at 4:28 am

    Balas

  7. *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

    Oleh: gita on 22 April, 2007
    at 4:30 am

    Balas

  8. \dag189 x=\hat{y}(y \epsilon x)

    Oleh: gita on 22 April, 2007
    at 1:30 pm

    Balas

  9. \dag190 x\epsilon y.\supset.x\epsilon \textrm{V}

    Oleh: gita on 22 April, 2007
    at 1:34 pm

    Balas

  10. \dag192. x \tilde{\epsilon}\Lambda

    Oleh: gita on 22 April, 2007
    at 1:43 pm

    Balas


Beri tanggapan






Your response:

Kategori