注意
- ¬p(~p)は not p と読み、名前は the negation of p。
根拠の件数
話し言葉計 12
- not p | not q11
- the negation of …1
書き言葉数えていない
米国の講義の書き起こし・字幕(話し言葉)と教科書・講義ノート(書き言葉)で、言い方ごとに数えた回数です。語形変化はまとめ、「…」は 1〜3 語の空き。「数えていない」はその側では数えていないことを示します。
取得元と数えた日
- 取得元(話し言葉)
- MIT OCW 18.03 Differential Equations / MIT OCW 6.042 Mathematics for Computer Science / Professor Leonard
- 数えた日