2009-03-11から1日間の記事一覧

メモ：矢印の用法

misc 集合・論理

p が真で p → q が真であるとき, p は q を導く（ p は q を含意する）といい p ⇒ q とかく公式集 p.322 isbn:4894281635とある。公式集では微妙に使い分けているっぽい。