Nama : Rony Dwi Prasetyo

NIM : 042239882

Mata Kuliah : Logika Informatika

1. Menentukan kalimat bagian

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

a) Symbol yang ada pada kalimat F meliputi P, Q, R, dan S merupakan symbol symbol
kalimat proporsional yang merupakan symbol kebenaran sesua dengan aturan
sintaktik 1. Sehingga kalimat F merupakan kalimat proporsional.

b) Penghubunng proporsional yang ada dalam kalimat F if-then, and, dan or

- if( P and Q) then (Q and R) merupakan kalimat (aturan implikasi)

- ( P and Q), (Q and R), (( Q or not S) and P) merupakan kalimat (aturan

konjungsi)

- (Q and R)) or (( Q or not S) merupakan kalimat (aturan disjungsi)

- not S merupakan kalimat (kalimat negasi)

c) Jadi, Kalimat bagian dari F meliputi { P, Q, R, S, (if( P and Q) then (Q and R)), ( P
and Q), (Q and R), (if( P and Q) then (Q and R)) or (( Q or not S) and P), (( Q or
not S) and P), ( Q or not S),

2. Apakah interpretasi I: {P¬true, Q¬false, R¬true} merupakan interpretasi untuk kalimat F

Menurut saya interpretasi I bukan merupakan interpretasi kalimat F karena pada kalimat
F terdapat symbol proporsional P, Q, R dan S sedangkan dalam interpretasi tersebut
Simbol S yang tidak diberi nilai kebenaran oleh interpretasi I: {P¬true, Q¬false, R¬true}