Skip to main content

Subsection 4.7 ま行

  1. Example 4.7.10. 矛盾.

  2. Example 4.7.11. 命題.

    命題(Proposition)
    仮定\(\implies\)結論 という形の文。