提出した。書きたかったことが本当に書けたかどうか不明だけども。

論理においてシンタックスとセマンティクスの区別は重要で、論理学の授業ではその点を強調しすぎてしすぎることはないと思う。 (というか、それこそが論理学ではないのか、と素人考えでは思ってしまうけど…。)整数計画法の分枝限定法はある意味で、 syntacti…

こちらについて。 ド・モルガンの定理を認めることで「A→B⇔¬B→¬A、B→A⇔¬A→¬B」がどうして結論できるのかが理解できませんでした。

今日から2学期です。 私の大学は3学期制なので本当に今日から2学期です。 ただし、3学期は12月から始まります。