Untuk membuktikan dengan Proof by Falsification (PbF) bahwa pernyataan E valid, kita harus membuktikan bahwa tidak ada kondisi dimana P benar dan (P atau (Q dan S)) salah.

Untuk membuktikan ini, kita harus menunjukkan bahwa tidak ada keadaan di mana P benar dan (Q dan S) salah. Karena jika (Q dan S) salah, maka (P atau (Q dan S)) pasti benar.

Jadi pertimbangkan opsi berikut:

• P benar dan Q salah, S benar:
  Dalam hal ini (Q dan S) salah, tetapi (P atau (Q dan S)) benar karena P benar.

• P benar dan Q benar, S salah:
  Dalam hal ini (Q dan S) salah, tetapi (P atau (Q dan S)) benar karena P benar.
• P benar dan Q salah, S salah:
  Dalam hal ini (Q dan S) salah, tetapi (P atau (Q dan S)) benar karena P benar.
• P benar dan Q benar, S benar:
  Dalam hal ini (Q dan S) benar, jadi (P atau (Q dan S)) benar.

Dari keempat kemungkinan di atas dapat dilihat bahwa tidak ada situasi di mana P benar dan (Q dan S) salah. Jadi dapat disimpulkan bahwa pernyataan E valid.

Pembahasan

Algoritmauntukmenentukan validitas suatu kalimat dengan metode

ini adalah sebagai berikut:

• Diasumsikan bahwa klaim itu salah
• Nilai kebenaran dari setiap simbol yang dinyatakan diperiksa
• Ketika terjadi kontradiksi, asumsi (asumsi bahwa pernyataan itu salah) adalah salah dan kesimpulannya adalah bahwa pernyataan itu valid
• Jika tidak ada kontradiksi, maka kondisi (anggap pernyataan salah) benar, sehingga kita simpulkan bahwa pernyataan tidak sah

Pelajari Lebih Lanjut

Materi tentang metode pendekatan analisis yomemimo.com/tugas/6657849

#BelajarBersamaBrainly  #SPJ1