Well formed formula

Sistem deduktif juga diperlukan untuk menganalisis formula. Misalnya dalam contoh ini sistem deduktif berguna untuk mengenali kalimat-kalimat bertanda kurung.

A1
\mathbf{\text{kacang}} \in P
A2
\mathbf{\text{cabe}} \in P
A3
\forall x \in P:(x\ \mathbf{busuk)} \in P
A4
\forall x \in P:\forall y \in P:(x\ \mathbf{campur}\ y) \in P

Latihan

  1. Jika P* adalah himpunan terkecil dari semua kemungkinan P, sebutkan beberapa anggota P*. (Mengapa himpunan terkecil? Adakah kemungkinan lainnya?)

  2. Apakah \left( \mathbf{\text{kacang}} \right) \in P*?

Berikutnya: Well formed formula lagi

Ditulis oleh
Ari Prasetyo
Ditulis pada
Terakhir diupdate
Dipublikasikan
Frase kunci
logika sistem deduktif relasi biner