とりあえず一区切りつくところまでは作ろう。<br /><br />前：<a href="https://www.nicovideo.jp/watch/sm26771912" class="watch">sm26771912</a>　次：<a href="https://www.nicovideo.jp/watch/sm26838130" class="watch">sm26838130</a><br />マイリスト：<a href="https://www.nicovideo.jp/mylist/51910166" target="_blank" rel="noopener">mylist/51910166</a><br /><br />ブログ：<a href="http://arxiv.hatenablog.com/" target="_blank" rel="noopener nofollow">http://arxiv.hatenablog.com/</a><br /><br />訂正<br />2:55からの音声　誤「がわりに」　正「かわりに」<br />11:47からの板書　正「反射律(a, b)~(a, b)」<br />あとコメントにあるように、命題の定義が間違っています。<br />数学的な記号で書かれた言明のことで、必ずしも成り立つ必要はありません。<br />と、誤魔化しておきます。<br /><br />Simeji_Daliさん、白菜@KAGOさん、宣伝感謝です。