選言disjunction・論理和logical sumをあらわす論理記号A∨B

論理記号一覧の選言disjunction・論理和logical sumをあらわす論理記号A∨Bについて、
体裁改善、論理式「P∨Q」の意味論へのリンク付加。