Well formed formula lagi

A1

0 ∈ F

A2

1 ∈ F

A3
\forall x \in F:\left( - x \right) \in F
A4
\forall x \in F:\forall y \in F:\left( x + y \right) \in F
A5
\forall x \in F:\forall y \in F:x\ y \in F
A6

\forall x \in F:\left( x \right)∈ F

Latihan

  1. Daftarkan 5 kemungkinan anggota F*.

  2. Apakah kalimat-kalimat di bawah ini benar?

    1. \left( - 1 \right) \in F*
    2. - 1 \in F*
    3. \left( 1 + 1 \right)\left( 1 + \left( - 0 \right) \right) \in F*
    4. \left( - \left( \left( 1 + 1 \right)1 \right) \right) \in F*

Berikutnya: Sistem L

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