Berbagi Ilmu

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,....

Logika proposional Logika proposional merupakan statement yang mempunyai nilai kebenaran Simbol kebenaran yang dimaksud adalah true atau false. Simbol-simbol proposional adalah P,Q,R,S,P1,Q1,R1,S1,.... yang merupakan indeks numerik dan kapital.  terdapat pula huruf script yang merupakan bukan simbol proposional akan tetapi digunakan sebaga pengganti kalimat. Kalimat logika proposional dibangun dengan proposional connective antara lain not, and, or, if then, if and only if ,if then else. Aturan kalimat proposional 1. Setiap proposisi atau simbol kebenaran merupakan kalimat  2 apabila F script adalah kalimat maka demikian juga negasinya 3 Apabila f dan g adalah kalimat konjungsi nya disjungsi nya implikasinya ekuivalennya conditional nya dan negatifnya juga merupakan kalimat.