1. PENGANTAR PERNYATAAN DAN LOGIKA
Pernyataan
adalah kalimat-kalimat yang bernilai benar atau salah, tetapi tidak keduanya.
Dalam logika, pernyataan – pernyataan ini dapat dipandang sebagai variabel
pernyataan. Variabel-variabel pernyataan ini dapat dikombinasikan dengan
perangkai-perangkai (operator) logika menghasilkan pernyataan majemuk. Nilai kebenaran dari sebuah pernyataan majemuk
hanya bergantung pada nilai-nilai kebenaran dari variabel-variabel
pernyataannya dan pada jenis perangkai logika yang digunakan. Lima jenis
perangkai logika yang dipakai untuk menggabungkan pernyataan-pernyataan
(sederhana) menjadi pernyataan majemuk adalah: negasi (negation), konjungsi (conjunction), disjungsi (disjunction),
implikasi (implication), dan
biimplikasi (biimplication).
Tidak ada komentar:
Posting Komentar