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’