Kangkung

Bahasa kangkung di bawah ini akan menghasilkan rangkaian kata kang dan kung.

A1
\text{kang} \in W
A2
\text{kung} \in W
A3
\forall x \in W:\forall y \in W:x\ y \in W

Latihan

  1. Buktikan bahwa:

    1. kang kung ∈ W
    2. kang kung kang ∈ W
    3. kung kung kung ∈ W

  2. Tunjukkan bahwa kita dapat melakukan transfer data apa pun dari satu komputer ke komputer lain dengan menggunakan anggota himpunan W.

Berikutnya: Bahasa au

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