m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 文の種類に、平叙文〈declarative sentence〉や疑問文〈interrogative sentence〉などがあります。論理式で書かれるような命題は平叙文だと考えられるでしょう。では、論理式で書かれる“疑問文”はないのでしょうか？ 不要なのでしょうか？命題をめぐる対話の場面では、疑問文、あるいは命令文〈imperative sentence〉に近い疑問文が必要になります。僕が実際に使っている形式的疑問文*1の書き方を紹介します。ついでに、カリー／ハワード対応で型の世界に移ったときの形式的疑問文の話もします。この記事で述べた“疑問文”の具体的・現実的な使い方は次の記事にあります。 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2022%2F01%2F20%2F155945" title="保証と要求： カリー／ハワード対応も添えて - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2022-01-20 15:59:45 rich https://m-hiyama.hatenablog.com/entry/2022/01/20/155945 1.0 100%