Logika Proposisional

    Jika tadi saya sudah memposting tentang logika predikat,,untuk kali ini postingan saya berjudul logika proporsional...Ternyata banyak macam logika di kehidupan kita.

    Fungsi Kebenaran 

  Fungsi Kebenaran (kadang disebut suatu operator logis) adalah suatu  fungsi yang mengambil nilai-kebenaran sebagai argumen dan selalu menghasilkan salah satu dari nilai T atau nilai F. Suatu fungsi kebenaran dapat mempunyai sejumlah operand (kadang-kadang disebut argumen atau tempat).

 Suatu fungsi dengan satu operand disebut suatu fungsi kebenaran  monadika ( Ø ).Jika mempunyai dua operand disebut dng fungsi ke benaran diadika (Ù, Ú, ®, «), jika tiga triadika ( If.. then .. else .. ) .