Komentar di: 17. Metateorem Awal http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/ khayalan langka aneh dan unik Wed, 09 Jul 2008 12:04:27 +0000 http://wordpress.org/?v=MU Oleh: gita http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-103 gita Sun, 22 Apr 2007 13:43:26 +0000 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-103 $latex \dag$192. $latex x \tilde{\epsilon}\Lambda$ \dag192. x \tilde{\epsilon}\Lambda

]]> Oleh: gita http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-102 gita Sun, 22 Apr 2007 13:34:59 +0000 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-102 $latex \dag$190 $latex x\epsilon y.\supset.x\epsilon \textrm{V}$ \dag190 x\epsilon y.\supset.x\epsilon \textrm{V}

]]> Oleh: gita http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-101 gita Sun, 22 Apr 2007 13:30:53 +0000 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-101 $latex \dag$189 $latex x=\hat{y}(y \epsilon x)$ \dag189 x=\hat{y}(y \epsilon x)

]]> Oleh: gita http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-98 gita Sun, 22 Apr 2007 04:30:58 +0000 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-98 *121 Jika $latex \psi\prime$ adalah seperti $latex \psi$ kecuali untuk penampungan $latex \phi\prime$ pada beberapa tempat dimana $latex \psi$ menampung $latex \phi$, dan $latex \alpha_{1} . . . , \alpha_{n} ( n \geqslant 0 )$ mengeluarkan variabel-variabel yang berkaitan dengan kejadian-kejadian dari $latex \phi$ dan $latex \phi\prime$ yang diikat didalam $latex \psi$ dan $latex \psi\prime$ maka $latex \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot(\alpha_{n})(\phi\equiv\phi\prime)\supset.(\psi\equiv\psi\prime\urcorner\quad$ *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 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-97 gita Sun, 22 Apr 2007 04:28:45 +0000 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-97 $latex \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot(\alpha_{n})(\phi\equiv\phi\prime)\supset.(\phi\equiv\psi\prime\urcorner\quad$ \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot(\alpha_{n})(\phi\equiv\phi\prime)\supset.(\phi\equiv\psi\prime\urcorner\quad

]]> Oleh: gita http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-95 gita Sun, 22 Apr 2007 04:21:49 +0000 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-95 *114 $latex \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot ( \alpha_{n})\phi\supset\phi \urcorner\quad$ *114 \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot ( \alpha_{n})\phi\supset\phi \urcorner\quad

]]> Oleh: gita http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-91 gita Sun, 22 Apr 2007 03:51:09 +0000 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-91 *117 $latex \vdash\ulcorner \phi\supset \psi\urcorner\quad$, dan tidak ada satupun dari $latex \alpha_{1}, . . . ,\alpha_{n}$ adalah bebas dari $latex \phi$, maka $latex \vdash\ulcorner \phi\supset (\alpha_{1}) . . . (\alpha_{n}) \psi\urcorner\quad$ *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: herman http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-90 herman Sun, 22 Apr 2007 03:38:00 +0000 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-90 *114 $latex \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot ( \alpha_{n})\phi\supset\phi \urcorner\quad$ *114 \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot ( \alpha_{n})\phi\supset\phi \urcorner\quad

]]> Oleh: khayalan http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-73 khayalan Mon, 02 Apr 2007 12:01:07 +0000 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-73 [...] 17. Metateorem Awal [...] [...] 17. Metateorem Awal [...]

]]> Oleh: Khayalan Laboratorium « khayalan http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-72 Khayalan Laboratorium « khayalan Mon, 02 Apr 2007 11:23:56 +0000 http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/#comment-72 [...] 4. METATHEOREMA [...] [...] 4. METATHEOREMA [...]

]]>