Bahasa au

A1
\mathbf{a} \in Z
A2
\mathbf{u} \in Z
A3
\mathbf{\text{iaibu}} \notin Z
A4
\forall x \in Z:x\ \mathbf{i} \in Z
A5
\forall x \in Z:\forall y \in Z:x\ \mathbf{b}\ y \in Z

Latihan

Buktikan bahwa:

  1. \mathbf{\text{abai}} \in Z
  2. \mathbf{\text{ia}} \notin Z

Berikutnya: Well formed formula

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