Komentar di: Hello world! http://nemu.wordpress.com/2007/02/25/hello-world-2/ khayalan langka aneh dan unik Wed, 09 Jul 2008 11:58:40 +0000 http://wordpress.org/?v=MU Oleh: herman http://nemu.wordpress.com/2007/02/25/hello-world-2/#comment-121 herman Sat, 03 May 2008 19:42:38 +0000 http://nemu.wordpress.com/2007/02/25/hello-world-2/#comment-121 *122. Jika $latex \psi\prime$ adalah seperti $latex \psi$ kecuali untuk penampungan dari $latex \phi\prime$ pada beberapa tempat dimana $latex \psi$ menampung kejadian-kejadian bebas dari $latex \phi$, maka $latex \vdash\ulcorner\phi\equiv\phi\prime.\supset.\psi\equiv\psi\prime\urcorner\quad$ *122. Jika \psi\prime adalah seperti \psi kecuali untuk penampungan dari \phi\prime pada beberapa tempat dimana \psi menampung kejadian-kejadian bebas dari \phi, maka \vdash\ulcorner\phi\equiv\phi\prime.\supset.\psi\equiv\psi\prime\urcorner\quad

]]> Oleh: herman http://nemu.wordpress.com/2007/02/25/hello-world-2/#comment-57 herman Sun, 25 Mar 2007 03:03:37 +0000 http://nemu.wordpress.com/2007/02/25/hello-world-2/#comment-57 Tautologi Semua pernyataan tautologous adalah benar secara logika , tapi tidak semua yang secara logika benar adalah tautologous. Contoh : dimana $latex \phi ,\psi ,$ dan $latex \chi $ adalah setiap pernyataan , maka $latex \ulcorner \phi \supset \psi \psi \supset \chi \vee \chi \supset \psi \urcorner$ adalah tautologous dengan membentuk table 1 dan menyelidiki kolom ke 8. $latex \ulcorner \phi \supset \psi \cdot \supset \phi {\text{:}} \equiv \phi \urcorner $ diketemukan tautulogous dengan membentuk Tabel 2 dan menyelidiki kolom ke enam. $latex \ulcorner \phi \vee \sim \phi \urcorner $ diketemukan tautologous dengan Tabel 3 kolom ke 2 $latex \ulcorner \sim \left( {\phi \vee \cdot \sim \phi } \right)\urcorner $ diketemukan tautologous dengan Tabel 4 kolom ke 1 Tautologi
Semua pernyataan tautologous adalah benar secara logika , tapi tidak semua yang secara logika benar adalah tautologous. Contoh : dimana \phi ,\psi , dan \chi adalah setiap pernyataan , maka \ulcorner \phi \supset \psi \psi \supset \chi \vee \chi \supset \psi \urcorner adalah tautologous dengan membentuk table 1 dan menyelidiki kolom ke 8.
\ulcorner \phi \supset \psi \cdot \supset \phi {\text{:}} \equiv \phi \urcorner diketemukan tautulogous dengan membentuk Tabel 2 dan menyelidiki kolom ke enam.
\ulcorner \phi \vee \sim \phi \urcorner diketemukan tautologous dengan Tabel 3 kolom ke 2
\ulcorner \sim \left( {\phi \vee \cdot \sim \phi } \right)\urcorner diketemukan tautologous dengan Tabel 4 kolom ke 1

]]>