Nama : Berlina Prastika Kurniawan

NIM : 048361653
UPBJJ : Surabaya

TUGAS 2

No Soal Skor
1. Perhatikan kalimat berikut ini:
F: if (P and Q) then ((P and Q) or S)
Apakah kalimat tersebut merupakan kalimat yang bersifat valid? 30
Buktikan dan jelaskan dengan menggunakan metode Proof by Falsification (PbF)!

2. Buktikan validitas kalimat

if true then ((not Q and P) or (Q or not P)) 35
dengan menggunakan pohon semantik!
3. Tentukan hasil substitusi berikut ini:
{(if Q then (R and S)) if and only if (not (P and not (R or S)))} 35
{not(R and S)R, Q(P or Q), (P and R)(Q or S)}

1. Untuk menentukan apakah kalimat berikut ini merupakan kalimat yang bersifat valid,
kita akan menggunakan metode Proof by Falsification (PbF):

1. Tentukan negasi dari kalimat:

F: if (P and Q) then ((P and Q) or S)

¬F: if (P and Q) then (P and Q) and ¬(P or Q or S)

2. Buktikan negasi dari kalimat:

- Dari kalimat asli, kita tahu bahwa jika P dan Q benar, maka P atau Q
atau S benar. Jadi, negasi dari kalimat asli adalah:
¬F: if (P and Q) then (P and Q) and ¬(P or Q or S)

3. Tentukan sifat validitas dari negasi kalimat asli:

 - Negasi dari kalimat asli benar jika P dan Q salah atau P atau Q atau S
benar. Jadi, negasi dari kalimat asli tidak selalu benar, sehingga kalimat asli
tidak valid.

Berdasarkan hasil ini, kalimat proposisional tersebut terbukti valid

menggunakan metode Proof by Falsification (PbF). Artinya, tidak ada
kasus di mana premis benar namun konklusi salah. Oleh karena itu,
kalimat yang diberikan merupakan kalimat yang bersifat valid.

Sumber:
[1]https://www.studocu.com/id/messages/question/4235339/perlihatkan-dengan-
menggunakan-proof-by-falsification-bahwa-kalimat-berikut-ini-merupakan-kalimat

[2]https://www.studocu.com/id/messages/question/4361448/buktikan-menggunakan-
metode-proof-by-falsification-pbf-dan-validitas-kalimat-ini-f-if-p

[3] https://www.unaki.ac.id/ejournal/index.php/komputaki/article/view/116/128

[4] https://youtube.com/watch?v=Akl-y98XO-A

[5] https://www.sciencedirect.com/science/article/pii/S0277953617305427

2. Untuk membuktikan validitas pernyataan “if true then ((not Q and P) or (Q or not P))”
dengan menggunakan pohon semantik, kita dapat mengikuti langkah-langkah berikut:
-Mulailah dengan meniadakan seluruh pernyataan, yang menghasilkan "benar dan tidak
((bukan Q dan P) atau (Q atau bukan P))".
-Pisahkan pernyataan yang dinegasikan menjadi komponen-komponennya, yaitu
"benar" dan "tidak ((bukan Q dan P) atau (Q atau bukan P))".
-Negasi komponen kedua, yang memberi kita "bukan bukan ((bukan Q dan P) atau (Q
atau bukan P))".
-Sederhanakan negasi ganda untuk mendapatkan "((bukan Q dan P) atau (Q atau bukan
P))".
-Gambarlah pohon semantik dengan dua cabang "bukan Q dan P" dan "Q atau bukan
P".
-Tunjukkan bahwa kedua cabang mengarah pada nilai sebenarnya, yang membuktikan
validitas pernyataan asli.
Berikut adalah pohon semantiknya:

true
|
 not ((not Q and P) or (Q or not P))
|
not not ((not Q and P) or (Q or not P))
|
((not Q and P) or (Q or not P))
/ \
not Q and P Q or not P
\ /
Q and not P not Q or P
\ /
false true

Seperti yang bisa kita lihat, kedua cabang tersebut mengarah pada nilai sebenarnya,
yang membuktikan validitas pernyataan aslinya. Oleh karena itu, kita dapat
menyimpulkan bahwa “if true then ((not Q and P) or (Q or not P))” merupakan
pernyataan yang valid.

Sumber:
[1]https://www.studocu.com/id/messages/question/4376883/buktikan-validitas-if-
true-then-not-q-and-p-or-q-or-not-p-dengan-menggunakan-pohon-semantik

[2]https://www.studocu.com/id/messages/question/4395912/buatlah-pohon-semantik-
dan-buktikan-validitas-kalimat-ini-if-true-then-not-q-and-p

[3] https://www.coursehero.com/file/92382781/Diskusi-4-Logikadocx/

[4] http://repository.upy.ac.id/4260/1/4_pohon%20semantik3.pdf

3. Berikut adalah hasil substitusi dari kalimat yang diberikan:

{(if Q then (R and S)) if and only if (not (P and not (R or S)))}
{not(R and S)R, Q(P or Q), (P and R)(Q or S)}
Dalam notasi logika, hasil substitusi tersebut dapat ditulis sebagai berikut:

(if Q then (R and S)) if and only if (not (P and not (R or S))) ≡ not(R and S) and R or
Q and (P or Q) or (P and R) and (Q or S)

Dalam kata-kata, hasil substitusi tersebut dapat dijelaskan sebagai berikut:

Jika Q benar, maka R dan S benar. Jika Q salah, maka R dan S salah. P salah atau Q
benar, dan jika R salah atau S salah, maka P dan R benar.

Dengan demikian, hasil substitusi dari kalimat yang diberikan adalah "not(R and S) and
R or Q and (P or Q) or (P and R) and (Q or S)".
Sumber:
[1]https://www.studocu.com/id/messages/question/4361678/tentukan-hasil-substitusi-
berikut-ini-if-q-then-r-and-s-if-and-only-if-not

[2]https://www.studocu.com/id/messages/question/4280684/tentukan-hasil-substitusi-
berikut-ini-if-q-then-r-and-s-if-and-only-if-not

[3]https://www.coursehero.com/file/120005853/Tugas-2-Logika-Informatika-
MSIM4103docx/