論理法則の追加

2変数関数の極限の、点列・数列の極限への言い換えの証明を開始。
すぐに、必要な論理法則が二つあることに気づき、
この機会に、論理記号・論理法則のページに、内容を追加。
アップロードは今日も見送り。