Sunday, January 9, 2011

Materi Logika Informatika

Subtitusi 

Mengganti notasi untuk operasi penggantian kalimat bagian dengan kalimat bagian yang lain
Ada 2 jenis substitusi:
a.Susbstitusi Total (Total substitution) è mengganti semua pemunculan dari sub kalimat yang diganti
b.Substitusi sebagian (partial Substitution) è mengganti sebanyak 0 kali, 1 kali, 2 kali,… n kali tetapi tidak semua
File lebih lengkap silahkan download link di bawah ini :
 
http://www.4shared.com/file/-AAcNG6c/Materi_Logika_Informatika_Leng.html 
atau
http://www.4shared.com/file/ywq5gsOA/MATERI_LOGIKA_UNK_MHS.html

Soal Latihan Logika Informatika

Soal Latihan :
1. Tentukan nilai kebenaran dari kalimat2 berikut:
 a.p(a,x) and p(x,f(x))
 b.(for some y)[p(y,a) or p(f(y),y)]
           Jika dilakukan interpretasi I dengan domain bilangan bulat positip:
           aß 0,xß1,fß fungsi suksesor, pß relasi kurang dari
           Lakukan juga interpretasi J sesuai keinginan anda dan tentukan nilai kebenarannya
2. Tentukan validitas kalimat berikut. Pakailah argumentasi tak formal
    (for some x)[if p(x) then r(x) iff [if (for all x)p(x) then (for some x)r(x)
3. Gambarkan gerbang logic dan buat tabel kebenaran untuk fungsi berikut:
    a. (A+B’+C)(A’B’+C)(A+B’C’)
    b. ABC+ABC’+A’B
4. Tentukan komplemen dari: a. AB’+A’B     b.(V’W+X)Y+Z’