Pernyataan beragam ialah pernyataan yang terdiri atas beberapa pernyataan. Berikut ini aku meringkas pernyataan beragam pada logika matematika. Adapun pernyatan beragam yang akan dibahas ialah sebagai berikut:
Konjungsi merupakan pernyataan beragam dengan kata penghubung "dan". Simbol konjungsi "∧". "p ∧ q" dibaca "p dan q". Nilai kebenaran "suatu konjungsi akan bernilai benar, hanya apabila kedua pernyataan bernilai benar". Sederhananya, "Benar dan Benar balasannya Benar, selebihnya Salah".
Tabel Nilai Kebenaran Konjungsi
Disjungsi merupakan pernyataan beragam dengan kata penghubung "atau". Simbol disjungsi "∨". "p ∨ q" dibaca "p atau q". Nilai kebenaran: "Suatu disjungsi bernilai salah kalau kedua pernyataan bernilai salah". Sederhananya, "Salah atau Salah balasannya Salah, lain dari itu benar".
Implikasi merupakan pernyataan beragam dengan kata penghubung "jika ... maka ...". Simbol disjungsi "→". "p → q" dibaca "jika p maka q". Nilai kebenaran: "Suatu implikasi bernilai salah kalau pernyataan pertama bernilai benar dan pernyataan kedua bernilai salah". Sederhananya, "Jika Benar maka Salah balasannya Salah, lain dari itu Benar".
Biimplikasi merupakan pernyataan beragam dengan kata penghubung "... kalau dan hanya kalau ...". Simbol biimplikasi "↔". "p ↔ q" dibaca "p kalau dan hanya kalau q". Nilai kebenaran: "Suatu biimplikasi bernilai benar kalau kedua pernyataan bernilai sama".
