Skip to main content

Subsection 4.7 ま行

  1. Example 4.7.13. 矛盾.

  2. Example 4.7.14. 命題.

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