Logika Predikat - Informatics Logics

Deni makan

• Makan(Deni)

• M(Deni)

• Makan(deni)

• M(deni)

Aldyansa sedang berenang

• S(aldyansa, berenang)

• Berenang(a)

• Berenang(aldyansa)

• B(aldyansa)

Adi memanggil Rani

• Memanggil(adi, rani)

• M(rani, adi)

• P(adi, rani)

• M(Rani, Adi)

Wangaya memegang Abdi

• Pegang(wangaya, abdi)

• P(wangaya, Abdi)

• P(Wangaya, abdi)

• P(wangaya, abdi)

Raditya dipeluk Adi

• P(adi, raditya)

• P(raditya, adi)

• Peluk(raditya, adi)

• Peluk(adi, raditya)

Pica dan nova Berteman

• Teman(pica, nova)

• T(Pica, Nova)

• t(pica, nova)

• T(pica, nova)

Yuda dan Yoga suka nasi

• S(yuda, yoga, nasi)

• S(yuda, nasi) ∧ S(yoga, nasi)

• S(nasi, yuda ∧ yoga)

• Suka(yuda, nasi) ∧ Suka(yoga, nasi)

Eka lapar tapi Bagus tidak

• L(eka, ¬bagus)

• L(eka) ∧ L(bagus)

• L(eka) ∧ ¬L(bagus)

• L(eka) ∨ ¬L(bagus)

Jika Bagus tidak dijemput oleh Iqbal, maka Bagus menelfon Iqbal

• J(bagus, iqbal) → T(bagus, iqbal)

• ¬J(iqbal, bagus) → T(bagus, iqbal)

• ¬J(bagus, iqbal) → T(bagus, iqbal)

• ¬J(bagus, iqbal) → ¬T(bagus, iqbal)

Jika Yuda makan nasi maka Yoga makan mie

• M(yuda, mie) → M(yoga, nasi)

• M(yuda, yoga) → M(nasi, mie)

• M(mie, yoga) → M(nasi, yuda)

• M(yuda, nasi) → M(yoga, mie)