Berpikir matematis

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

Daftarkan 5 kemungkinan anggota F*.
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