查看“︁解释（命题逻辑）”︁的源代码

[[分类:命题逻辑]]
{{InfoBox
|name=解释
|eng_name=interpretation
}}
对一个命题公式 <math>A</math> ，其中有 <math>P_1, P_2, \dots, P_n</math> 共 <math>n</math> 个命题变元，按照每个命题变元为真假，一共有 <math>2^n</math> 种[[指派（命题逻辑）|指派]]；在每种指派下，命题变元的真值和命题公式的真值共同构成命题公式的一个'''解释'''('''interpretation''')。


{{命题逻辑}}