Komentar di: 2. Konyungsi atau Gabungan http://nemu.wordpress.com/2007/02/25/2-konyungsi-atau-gabungan/ khayalan langka aneh dan unik Wed, 20 Aug 2008 06:04:42 +0000 http://wordpress.org/?v=MU Oleh: Gita http://nemu.wordpress.com/2007/02/25/2-konyungsi-atau-gabungan/#comment-67 Gita Sun, 25 Mar 2007 13:12:30 +0000 http://nemu.wordpress.com/2007/02/25/2-konyungsi-atau-gabungan/#comment-67 $latex \ulcorner \phi \supset \psi \bullet \psi \supset \chi \centerdot \vee \centerdot \chi \supset \phi \urcorner$ B B B B B B B B B B B \ulcorner \phi \supset \psi \bullet \psi \supset \chi \centerdot \vee \centerdot \chi \supset \phi \urcorner
B B B B B B B B B B B

]]> Oleh: Gita http://nemu.wordpress.com/2007/02/25/2-konyungsi-atau-gabungan/#comment-66 Gita Sun, 25 Mar 2007 13:10:09 +0000 http://nemu.wordpress.com/2007/02/25/2-konyungsi-atau-gabungan/#comment-66 $latex \ulcorner \phi \supset \psi \centerdot \supset \phi {\text{:}} \equiv \phi \urcorner $ B B B B B B B B B B B \ulcorner \phi \supset \psi \centerdot \supset \phi {\text{:}} \equiv \phi \urcorner
B B B B B B B B B B B

]]> Oleh: Gita http://nemu.wordpress.com/2007/02/25/2-konyungsi-atau-gabungan/#comment-65 Gita Sun, 25 Mar 2007 06:48:23 +0000 http://nemu.wordpress.com/2007/02/25/2-konyungsi-atau-gabungan/#comment-65 $latex \ulcorner \phi $ $latex \supset $ $latex \psi $ $latex \bullet $ $latex \psi $ $latex \supset $ $latex \chi $ $latex \:\centerdot \vee \centerdot$ $latex \chi $ $latex \supset $ $latex \phi \urcorner $ B B B B B B B B B B B S B B B B B B B B S S B S S S S B B B B B B S B S B S B B B B S S B B B S B S S B S B B S B B S B S S B S B S B S S S S B S B S B B S B S B S B S B S B S \ulcorner \phi \supset \psi \bullet \psi \supset \chi \:\centerdot \vee \centerdot \chi \supset \phi \urcorner
B B B B B B B B B B B
S B B B B B B B B S S
B S S S S B B B B B B
S B S B S B B B B S S
B B B S B S S B S B B
S B B S B S S B S B S
B S S S S B S B S B B
S B S B S B S B S B S

]]> Oleh: Herman http://nemu.wordpress.com/2007/02/25/2-konyungsi-atau-gabungan/#comment-54 Herman Fri, 23 Mar 2007 10:07:16 +0000 http://nemu.wordpress.com/2007/02/25/2-konyungsi-atau-gabungan/#comment-54 104. Jika $latex \ulcorner\phi\supset\psi\urcorner$ dan $latex \phi$ adalah teorema - teorema , maka demikian juga $latex \psi$ adalah teorema - teorema juga. Ada bukti dari penggunaan ' jika - maka ' dan dari tabel kebenaran dari '$latex \supset$ ' yang mengatakan bahwa $latex \psi$ benar jika $latex \ulcorner\phi\supset\psi\urcorner$ benar dan $latex \phi$ adalah benar. Premis premis $latex \ulcorner\phi\supset\psi\urcorner$ dan $latex \phi$ yang menghasilkan kesimpulan $latex \psi$ disebut modus ponens. Axioma-axioma kuantifikasi bersama-sama membentuk totalitas dengan ponensial-ponensial dari axioma-axioma tersebut adalah THEOREMA. Theorema dapat dikarakteristikkan sebagai berikut : a. axioma-axioma dari kuantifikasi adalah teorema b. Jika $latex \ulcorner\phi\supset\psi\urcorner$ dan $latex \phi$ adalah theorema - theorema , maka demikian juga $latex \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 Metatheorm" (METATHEOREMA AWAL) Begitu saja kok repot.... Anggap saja tulisan ini seperti orang mabok lagi nulis komentar, saya merasa terpanggil menulis ini. 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 dikarakteristikkan sebagai berikut :
a. axioma-axioma dari kuantifikasi adalah teorema
b. 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 Metatheorm” (METATHEOREMA AWAL)

Begitu saja kok repot….
Anggap saja tulisan ini seperti orang mabok lagi nulis komentar, saya merasa terpanggil menulis ini.

]]>