Buktikan ekpresi berikut merupakan kalimat logika proposisional atau bukan. a) E:(h)(h) b) F:()[h()] c)G:(h())()

Soal

Buktikan ekpresi berikut merupakan kalimat logika proposisional atau bukan.
a) E:(h)(h)

b) F:()[h()]

c)G:(h())()

Jawaban

a) Ekspresi tersebut bukan merupakan kalimat logika proposisional karena tidak memiliki operator logika proposisional.

b) Ekspresi tersebut merupakan kalimat logika proposisional. Dalam kalimat ini, "()" dan "[]" dapat dianggap sebagai variabel proposisional, dan "h" dapat dianggap sebagai operator logika proposisional.

c) Ekspresi tersebut bukan merupakan kalimat logika proposisional karena terdapat tanda kurung yang tidak valid. Tanda kurung tersebut tidak memiliki pasangan.



No Comment
Add Comment
comment url