論理体系
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/24 18:27 UTC 版)
「論理体系」または「論理」はある種の意味論(通常、モデル理論的解釈の形態)を伴った形式体系であり、形式言語の文(自由変数を含まない論理式)に真理値を割り当てる。ある論理が健全であるとは、導出される全ての文が真と解釈されることを意味し、ある論理が完全であるとは、逆に全ての真の文を導出できることを意味する。
※この「論理体系」の解説は、「形式体系」の解説の一部です。
「論理体系」を含む「形式体系」の記事については、「形式体系」の概要を参照ください。
- 論理体系のページへのリンク