Komentar di: 17. Metateorem Awal http://nemu.wordpress.com/2007/03/28/17-metateorem-awal/ ide unik dan langka korban khayalan teknosof yang mungkin aneh Sun, 15 Nov 2009 08:32:24 +0000 http://wordpress.com/ hourly 1 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

]]>