• Periksa apakah formula A yang berupa (p ∨ q)

Berikut ini adalah pertanyaan dari kurobasu04 pada mata pelajaran Matematika untuk jenjang Sekolah Menengah Atas

• Periksa apakah formula A yang berupa (p ∨ q) ∧ (~p ∧~q)bersifat absah, terpenuhi, atau kontradiksi.

• Periksa apakah formula A yang berupa (p ∨ q) ∧ ~r bersifat
terpenuhi. Apakah A bersifat absah? Apakah A bersifat
kontradiksi? Apakah A merupakan contingency?

Jawaban dan Penjelasan

Berikut ini adalah pilihan jawaban terbaik dari pertanyaan diatas.

Soal di atas tidak lengkap. Agar bisa dijawab maka formula logika proposisi yang lengkap harus disertakan agar bisa diinterpretasi. Soal di atas sendiri berkaitan dengan mata kuliah Kalkulus Proposisi pada bab Logika Matematikadan berkaitan dengan pokok bahasaninterpretasi serta simantik formuladarilogika proposisi.

Pembahasan

Interpretasi atas suatu formula logika proposisi dimaknai sebagai pemberian nilai kebenaran atas sebuah proposisi. Interpretasi ini termasuk kegiatan pemetaan antar variable proposisi atas nilai kebenarannya. Formula logika proposisi memiliki sifat-sifat tertentu yang didasarkan pada semantiknya, yakni:

  1. Dikatakan absah atau valid jika A (dimisalkan sebagai formula logika proposisi) bernilai benar (T) pada tiap-tiap interpretasi yang diberi ke A.
  2. Dikatakan terpenuhi apabila ada setidaknya satu saja interpretasi I bagi A dengan nilai yang benar.
  3. Dikatakan kontradiksi (maksudnya tak terpenuhi) apabila A bernilai Salah (F) pada tiap-tiap interpretasinya.
  4. Dikatakan contingency apabila A tak abash dan juga tak kontradiktif.

Pelajari Lebih Lanjut

  • Pelajari lebih lanjut tentang materi tabel kebenaran pada Logika “dan/and”, “atau/or”, “tidak/not” pada link berikut yomemimo.com/tugas/51827889

#BelajarBersamaBrainly

#SPJ1

Semoga dengan pertanyaan yang sudah terjawab oleh varlord dapat membantu memudahkan mengerjakan soal, tugas dan PR sekolah kalian.

Apabila terdapat kesalahan dalam mengerjakan soal, silahkan koreksi jawaban dengan mengirimkan email ke yomemimo.com melalui halaman Contact

Last Update: Sat, 31 Dec 22