ポスト
でも整数であることより強い条件がかけられていなければ、真偽が確定しないのでこういうのを「条件」と呼んでいて、他方で、 「x は偶数である⇒ x は4の倍数である」 みたいに、全称量化として呼んだときに、閉論理式になっているようなものを「命題」と呼んでいるのではなかろうか？ どうだろう
メニューを開くでも整数であることより強い条件がかけられていなければ、真偽が確定しないのでこういうのを「条件」と呼んでいて、他方で、 「x は偶数である⇒ x は4の倍数である」 みたいに、全称量化として呼んだときに、閉論理式になっているようなものを「命題」と呼んでいるのではなかろうか？ どうだろう
メニューを開く
