kyoneco’s blog

続きです。 kyoneco.hatenablog.com 証明の読み方 ４章 限定詞 I 構成法 ・結論Bの特殊な形として、「・・・が存在する」と「すべての…に対して・・・」といったものがある。これらの言葉を限定詞という。これらをもつ命題に対してそれぞれ独自の証明技法がある。 ・存在限定詞（・・・が存在する）を含む命題に対する証明…