Logika predikat mengadaptasikan bahasa logika proposional untuk membicarakan objek dan hubungan-hubungan antara mereka dan memperluas pengertian validitas.
Kalimat logika predikat dibentuk dari simbol-simbol sebagai berikut
1. Simbol kebenaran yaitu true atau false
2. Simbol konstan yaitu a,b,c,a',b',c',.....
3. Simbol variabel yaitu u,v,w,x,y,z,u',v',......
4. Simbol fungsi yaitu f,g,h, f1, g1, h1...
5. Simbol predikat yaitu p,q,r,p1,q1,r1,....
Kalimat logika predikat dibentuk dari simbol-simbol sebagai berikut
1. Simbol kebenaran yaitu true atau false
2. Simbol konstan yaitu a,b,c,a',b',c',.....
3. Simbol variabel yaitu u,v,w,x,y,z,u',v',......
4. Simbol fungsi yaitu f,g,h, f1, g1, h1...
5. Simbol predikat yaitu p,q,r,p1,q1,r1,....
Komentar
Posting Komentar