NIM : 048071561
Nilai kebenaran adalah nilai yang diberikan pada suatu pernyataan untuk menunjukkan apakah
pernyataan tersebut benar atau salah. Dalam logika, terdapat tiga nilai kebenaran yang umum
digunakan, yaitu benar (true), salah (false), dan tidak ditentukan (undefined).
Untuk pernyataan majemuk yang memiliki tiga komponen, kita dapat menggunakan tabel nilai
logika untuk menunjukkan nilai kebenaran dari pernyataan tersebut. Tabel ini disebut juga
sebagai tabel kebenaran.
Berikut adalah contoh tabel nilai logika untuk pernyataan majemuk dengan tiga komponen:
dalam tabel ini, kita menunjukkan semua kombinasi nilai kebenaran yang mungkin untuk ketiga
komponen pernyataan majemuk tersebut. Setiap kombinasi nilai kebenaran akan menghasilkan
nilai kebenaran yang berbeda untuk pernyataan majemuk tersebut.
Harap dicatat bahwa tabel ini hanya berlaku untuk pernyataan majemuk dengan tiga komponen.
Jika pernyataan majemuk memiliki lebih dari tiga komponen, tabel nilai logika akan lebih
kompleks dan memiliki lebih banyak baris.
2. Jelaskan tentang nilai kebenaran disjungsi yang diberdakan atas disjungsi
eksklusid, disjungsi inklusif, dan disjungsi alternatif !
T F T
F T T
F F F
2. Disjungsi Inklusif (OR): Disjungsi inklusif menghasilkan nilai benar (true) jika salah satu
atau kedua pernyataan yang dihubungkan adalah benar. Dalam tabel kebenaran,
disjungsi inklusif direpresentasikan dengan simbol ∨ atau +.
P QP∨Q
T T T
T F T
F T T
F F F
3. Disjungsi Alternatif (NOR): Disjungsi alternatif menghasilkan nilai benar (true) jika kedua
pernyataan yang dihubungkan adalah salah satu atau keduanya benar. Dalam tabel
kebenaran, disjungsi alternatif direpresentasikan dengan simbol ↓ atau ⊽.
P QP↓Q
T T F
T F F
F T F
F F T
Dengan memahami nilai kebenaran dari masing-masing jenis disjungsi, kita dapat menggunakan
operasi logika ini untuk membangun argumen dan pernyataan yang lebih kompleks.
Sumber referensi
https://math.libretexts.org/Courses/3A_Logic/
Hudoyo, Herman dan Sutawidjaja, Akbar. 1997. Matematika. Jakarta: Dikti Depdikbud
Garnier, Rowan and John Taylor (1996). 100% Mathematical Proof. John Wiley.