Skip to main content

Subsection 6.7 ま行

  1. Example 6.7.15. 矛盾.

  2. Example 6.7.16. 命題.

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