URLエンコード(UTF-8) :
%E5%8F%98%E9%A1%B9
数値文字参照(10進数) :
变项
数値文字参照(16進数) :
变项
变项の説明
Chinese
在数理逻辑中,命题变量(也称命题变元、句子变量)是要么为真要么为假的变量。命题变量是命题公式的基本构件板块,用于命题逻辑和更高的逻辑中。 逻辑中的公式通常是由一些命题变量、一些逻辑连接词和一些逻辑量词递归地建立的。命题变量是命题逻辑的原子公式,通常用大写字母表示,如 P {\displaystyle \displaystyle P} 、 Q {\displaystyle \displaystyle Q} 、 R {\displaystyle \displaystyle R} 。 在一个给定的命题逻辑中,我们可以按如下方式定义公式: 所有命题变量是公式。 给定公式 X {\displaystyle X} ,否定 ¬ X {\displaystyle \neg X} 是公式。 给定两个公式 X {\displaystyle X} 和 Y {\displaystyle Y} ,和一个二元连结词 b {\displaystyle b} (比如逻辑合取 ∧ {\displaystyle \wedge } ),则 X b Y {\displaystyle XbY} 是公式。通过上述方式,命题逻辑的所有公式都可以通过作为基本单位的命题变量构造出来。
Unicode検索結果 - 变项
数値文字参照
变 变
URLエンコード(UTF-8)
%E5%8F%98
ユニコード名
CJK UNIFIED IDEOGRAPH-53D8
一般カテゴリ-
Letter, Other(文字,その他)
数値文字参照
项 项
URLエンコード(UTF-8)
%E9%A1%B9
ユニコード名
CJK UNIFIED IDEOGRAPH-9879
一般カテゴリ-
Letter, Other(文字,その他)