gemini/test1.book（保存済みの内容） … 編集へ / ファイル一覧へ

gemini/test1
import /common/word0.book（section 2 まで）

1 等号の基本性質

1.1 対称律

\(x = y \Longrightarrow y = x\) \(\blacktriangleleft\) O

1.2 反射律

\(x = x\) \(\blacktriangleleft\) O

1.3 推移律（チェイン構文）

\(x = y = z \Longrightarrow x = z\) \(\blacktriangleleft\) O

イベント 3 件