Page 20 - E-MODUL INFORMATIKA ELEMEN BERPIKIR KOMPUTASIONAL-SISKA WAHYU NINGSIH-20004029
P. 20
BERPIKIR KOMPUTASIONAL
B. PROPOSISI
1. Pengertian Proposisi
Proposisi merupakan sebuah pernyataan yang menggambarkan
keadaan benar atau salah dalam bentuk sebuah kalimat. Istilah
proposisi biasanya digunakan dalam analisis logika di mana keadaan
dan peristiwa secara umum melibatkan seseorang atau orang yang
dirujuk dalam kalimat.
Salah satu jenis pernyataan yang dapat dijadikan acuan dalam
komputasi adalah proposisi, yang mengandung pengertian metode
untuk menyatakan sesuatu secara utuh sehingga dapat dinilai apakah
pernyataan tersebut benar, salah, disetujui, ditolak, diterima, atau
disangkal validitasnya.
Kebenaran Proposisi
PROPOSISI = FAKTA
Kebenaran sebuah proposisi berkorespondensi dengan
fakta.
Sebuah proposisi yang salah tidak berkorespondensi
dengan fakta
13