論理式間関係の意味論

論理目次に、
命題論理の論理式間関係の意味論下記項目へのリンク を追加。

• 論理式間関係の意味論：
• 複数の論理式の真理値割り当て/同時に充足する
• 矛盾/充足可能・整合的　　
• 推論 / 前提 / 結論・帰結 / 推論式 / 反例 / 推論の有効性/妥当性 /　⊨　(double-turnstile) 
• 論理的同値