ポスト

自由変数を暗に全称化する解釈(それはよくある)じゃなくて、「命題」と「条件」(述語)を区別して⇒は「条件⇒条件」だけ全称「命題」として定義する、という話です。読めばそう書いてありますが念のため。

メニューを開く

S (ツイートはスレッド全体をご確認ください)@esumii

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ