Logika proposional

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.