Pernyataan (proposisi) dan perangkai logika adalah unsur dasar dari logika proposisional.
Pernyataan pernyataan yang disajikan dengan huruf-huruf p,q, dan r dinamakan sebagai pernyataan primitif.
Variabel pernyataan adalah variabel yang dapat diganti dengan pernyataan.
Contoh :
Berikut ini adalah contoh variabel pernyataan :
p : 2+3 = 5
q : 2 adalah bilangan prima.
r :
Nilai kebenaran dari sebuah pernyataan majemuk hanya bergantung pada nilai – nilai kebenaran dari variabel-variabel pernyataannya (komponen-komponennya) dan pada jenis perangkai logika yang dapat digunakan.
Pernyataan majemuk adalah pernyataan yang diperoleh dengan menggabungkan pernyataan pernyataan primitive dengan perangkai logika.
Contoh dengan perangkai dan dalam pernyataan q dan r :
2 adalah bilangan prima dan 
adalah
bilangan rasional
atau
q dan r.
Hubungan dari nilai kebenaran pernyataan majemuk dan variabel-variabel penyusunnya dapat disajikan dengan sebuah table kebenaran.
Tidak ada komentar:
Posting Komentar