Dokumen ini membahas tabel kebenaran yang merupakan alat untuk menentukan nilai kebenaran proposisi majemuk berdasarkan proposisi atomiknya. Terdapat penjelasan mengenai operator logika seperti konjungsi, disjungsi, dan negasi, beserta cara menentukan nilai kebenarannya. Selain itu, dokumen juga menginstruksikan untuk membuat tabel kebenaran dari proposisi tertentu.

2. Tabel kebenaran
Kelompok 5
1. Efsi wulandari
2. Jela akbar
3. Nira puspitasari
4. Pitri mei suciati
5. Riko agustiawan

3. Tabel kebenaran adalah suatu tabel yang
memuat nilai kebenaran proposisi majemuk.
Nilai kebenaran dari proposisi majemuk
Ditentukan oleh nilai kebenaran dari proposisi
atomiknya dan cara mereka dihubungkan oleh
operator logika

4. Misalkan p dan q adalah proposisi
• ƒKonjungsi p ∧ q bernilai benar jika p dan q
keduanya benar, selain itu nilainya salah
• ƒDisjungsi p V q bernilai salah jika p dan q
keduanya salah, selain itu nilainya benar
• ƒNegasi p bernilai benar jika p salah, atau
kebalikannya

5. Berikut ini adalah tabel kebenaran dari
operator-operator logika dasar.

6. Contoh:
Buatlah tabel kebenaran proposisi berikut:
∼(∼p ∨ ∼q)
Jawab: