Komentar di: 12. Kuantifikasi http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/ khayalan langka aneh dan unik Wed, 20 Aug 2008 06:02:34 +0000 http://wordpress.org/?v=MU Oleh: herman http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/#comment-88 herman Thu, 12 Apr 2007 01:15:54 +0000 http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/#comment-88 D13. $latex \ulcorner(\zeta\tilde{\epsilon}\eta)\urcorner\quad$ untuk $latex \quad\ulcorner\sim(\zeta\epsilon\eta)\urcorner$ D14. $latex \ulcorner(\zeta,\eta\epsilon\theta)\urcorner\quad$ untuk $latex \quad\ulcorner(\zeta\epsilon\theta\cdot\eta\epsilon\theta)\urcorner$, dan seterusnya D13. \ulcorner(\zeta\tilde{\epsilon}\eta)\urcorner\quad untuk \quad\ulcorner\sim(\zeta\epsilon\eta)\urcorner

D14. \ulcorner(\zeta,\eta\epsilon\theta)\urcorner\quad untuk \quad\ulcorner(\zeta\epsilon\theta\cdot\eta\epsilon\theta)\urcorner, dan seterusnya

]]> Oleh: herman http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/#comment-87 herman Thu, 12 Apr 2007 01:15:02 +0000 http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/#comment-87 D12. $latex \ulcorner(\hat{\alpha}\phi\epsilon\zeta)\urcorner\quad$ untuk $latex \quad\ulcorner(\exists\beta)(\beta=\hat{\alpha}\phi\cdot\beta\epsilon\zeta)\urcorner$ D12. \ulcorner(\hat{\alpha}\phi\epsilon\zeta)\urcorner\quad untuk \quad\ulcorner(\exists\beta)(\beta=\hat{\alpha}\phi\cdot\beta\epsilon\zeta)\urcorner

]]> Oleh: herman http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/#comment-84 herman Thu, 12 Apr 2007 01:09:43 +0000 http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/#comment-84 D11. $latex \ulcorner(\zeta\neq\zeta)\urcorner\quad$ untuk $latex \quad\ulcorner\sim(\zeta\neq\zeta)\urcorner$ D11. \ulcorner(\zeta\neq\zeta)\urcorner\quad untuk \quad\ulcorner\sim(\zeta\neq\zeta)\urcorner

]]> Oleh: herman http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/#comment-81 herman Thu, 12 Apr 2007 01:06:55 +0000 http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/#comment-81 D9. $latex \ulcorner(\beta\epsilon\hat{\alpha}\phi)\urcorner\quad$ untuk $latex \quad\ulcorner(\exists\gamma)(\beta\epsilon\gamma\cdot(\alpha)(\alpha\epsilon\gamma.\supset\phi))\urcorner$ D10. $latex \ulcorner(\zeta=\eta)\urcorner\quad$ untuk $latex \quad\ulcorner(\alpha)(\alpha\epsilon\zeta.\equiv.\alpha\epsilon\eta)\urcorner$ D11. $latex \ulcorner(\zeta\neq\zeta)\urcorner\quad$ untuk $latex \quad\ulcorner\sim(\zeta\neq\zeta)\urcorner$ D9. \ulcorner(\beta\epsilon\hat{\alpha}\phi)\urcorner\quad untuk \quad\ulcorner(\exists\gamma)(\beta\epsilon\gamma\cdot(\alpha)(\alpha\epsilon\gamma.\supset\phi))\urcorner

D10. \ulcorner(\zeta=\eta)\urcorner\quad untuk \quad\ulcorner(\alpha)(\alpha\epsilon\zeta.\equiv.\alpha\epsilon\eta)\urcorner

D11. \ulcorner(\zeta\neq\zeta)\urcorner\quad untuk \quad\ulcorner\sim(\zeta\neq\zeta)\urcorner

]]> Oleh: herman http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/#comment-79 herman Thu, 12 Apr 2007 01:02:36 +0000 http://nemu.wordpress.com/2007/04/01/12-kuantifikasi/#comment-79 D6. $latex \ulcorner(\phi\cdot\psi\cdot\chi)\urcorner\quad$ untuk $latex \quad\ulcorner((\phi\cdot\psi)\cdot\chi)\urcorner$, dan seterusnya D7. $latex \ulcorner(\phi\vee\psi\vee\chi)\urcorner\quad$ untuk $latex \quad\ulcorner((\phi\vee\psi)\vee\chi)\urcorner$, dan seterusnya D8. $latex \ulcorner(\exists\alpha)\urcorner\quad$ untuk $latex \quad\ulcorner\sim(\alpha)\sim\urcorner$ D6. \ulcorner(\phi\cdot\psi\cdot\chi)\urcorner\quad untuk \quad\ulcorner((\phi\cdot\psi)\cdot\chi)\urcorner, dan seterusnya

D7. \ulcorner(\phi\vee\psi\vee\chi)\urcorner\quad untuk \quad\ulcorner((\phi\vee\psi)\vee\chi)\urcorner, dan seterusnya

D8. \ulcorner(\exists\alpha)\urcorner\quad untuk \quad\ulcorner\sim(\alpha)\sim\urcorner

]]>