Diskusi 5 Logika Informatika [PDF]

Citation preview

DISKUSI 5 Nama



: Ahmad Solihin



1) Mengganti nol pemunculan G di dalam F,dan hasilnya : not (P or Q) or (notP and (Q and R)) 2) Mengganti satu pemunculan pertama G di dalam F,dan hasilnya : not (not Q or Q) or (notP and (Q and R)) 3) 3) Mengganti satu pemunculan kedua G di dalam F ,dan hasilnya : not (P or Q) or (not(not Q) and (Q and R)) 4) 4) Mengganti semua pemunculan G di dalam F,hasilnya : not (not Q or Q) or (not(not Q) and (Q and R)) Tentukan {(P and notP) and not(if true then notR)} ◃ {P ← (P or Q), notR ← P}. F : (P and notP) and not (if true then notR) G₁ : P H₁ : P or Q G₂ : notR H₂ : P Penandaan pemunculan G₁ dan G₂ di dalam kalimat F : (P and notP) and not (if true then notR) Terlihat bahwa G₁ : P muncul dua kali dan G₂ : notR muncul satu kali ( n₁ = 2 dan n₂ = 1 ). Sehingga ada delapan (2² x 2ˡ = 8).Kalimat yang mungkin sebagai hasil dari substitusi multi parsial ini,yaitu : 1) Penggantian nol pemunculan G₁ dan G₂ di dalam kalimat F : (P and not P) and not (if true then not R) 2) Penggantian satu pemunculan pertama G₁ dan nol pemunculan G₂ di dalam kalimat F : ((P or Q) and notP) and not (if true then notR) 3) Penggantian satu pemunculan kedua G₁ dan nol pemunculan G₂ di dalam kalimat F : (P and not (P or Q)) and not (if true then notR) 4) Penggantian dua (semua) pemunculan G₁ dan nol pemunculan G₂ di dalam F : ((P or Q) and not(P or Q)) and not (if true then notR) 5) Penggantian nol pemunculan G₁ dan satu(semua) permukaan G₂ di dalam kalimat F : (P and notP) and not (if true then P) 6) Penggatian satu pemunculan pertama G₁ dan satu (semua) pemunculan G₂ di dalam kalimat F : ((P or Q) and notP) and not (if true then P) 7) Penggantian satu pemunculan kedua G₁ dan satu (semua) pemunculan G₂ di dalam kalimat F : (P and not(P or Q)) and not (if true then P) 8) Penggantian dua (semua) pemunculan G₁ dan satu (semua) pemunculan G₂ di dalam kalimat F : ((P or Q) and not(P or Q)) and not (if true then P)