論理的同値の定義

論理的同値についてのノートを新規作成、アップロード。