On Tue, 19 Oct 1999, Agung wrote:
wah..wah..wah... sangat mengagumkan penjelasan-nya sangat berbobot
sampai-sampai kepala saya nyaris berasap membacanya :-)
Lho.. itu khan pelajaran tingkat 3 atau 4 (matematika logika). Atau
kadang diulang lagi di pelajaran filsafat ilmu, atau di artificial
dnrubd aku cuma saranan untuk memüerdalam lagi itu model pembenaran dan
dnrubd pengambilan kesimpulan, silahkan check lagi.
Dengan segala kerendahan hati, mohon petunjuk mbah dukun
Jadi "kesimpulan yg dapat diambil", Linux itu "Kebal" Virus atau 'ga ?
Best regards,
Agung
IMW Kalau secara logika.. pembuktian kebenaran bisa dilakukan
IMW - Tautologi (dengan mendapatkan jawaban benar untuk semua kondisi input)
For ALL True - True
IMW - Refutation (dengan mendapatkan satu jawaban salah untuk suatu kondisi)
IMW Inversi (For ALL True) - There Exist one FALSE
IMW