derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ logic 何のメモから残そうかと思案しつつ、ムズカシイやつから...。全部難しい...。含意(implication)。とりわけ難しい。 \begin{equation} P \to Q,\ P \supset Q,\ P \Rightarrow Q,\ P \vdash Q \end{equation}色々書き方はあるようだ。何が一番良さそうか分からない。 新しい論理序説 (すうがくぶっくす) | 本橋 信義 | 本 | Amazon.co.jp 論理学をつくる | 戸田山 和久 | 本 | Amazon.co.jp 現代集合論入門 (日評数学選書) | 竹内 外史 | 本 | Amazon.co.j… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F20%2F021721" title="記号論理学(1) - らんだむな記憶" 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 2016-02-20 02:17:21 rich https://randommemory.hatenablog.com/entry/2016/02/20/021721 1.0 100%