0g0.org

Unicode(ユニコード)一覧とURLエンコード検索・変換サイト

URLエンコード(UTF-8) :
%E6%A8%A1%E6%85%8B%E9%82%8F%E8%BC%AF

URLエンコード(EUC-JP) :
%CC%CF%C2%D6%EE%B6%BD%B4

URLエンコード(Shiff_Jis) :
%96%CD%91%D4%E7%B4%8FS

数値文字参照(10進数) :
模態邏輯

数値文字参照(16進数) :
模態邏輯

模態邏輯の説明

Chinese Pronunciation Noun 模態邏輯 (logic) modal logic

模态逻辑,或者叫内涵逻辑(不很常见),是处理用模态如“可能”“或许”“可以”“一定”“必然”等限定的句子的逻辑。模态逻辑可以用语义的“内涵性”来描述其特征:复杂公式的真值不能由子公式的真值来决定的。允许这种决定性的逻辑是“外延性的”,经典逻辑就是外延性的例子。模态算子不能使用外延语义来形式化:“乔治·布什是美国总统”和“ 2 + 2 = 4 {\displaystyle 2+2=4} ”是真的,但是“乔治·布什必然是美国总统”是假的,而“ 2 + 2 = 4 {\displaystyle 2+2=4} 是必然的”是真的。 形式模态逻辑使用模态判决算子表示模态。基本的模态算子是 ◻ {\displaystyle \Box } 和 ◊ {\displaystyle \Diamond } 。(有时分别使用“ L {\displaystyle L} ”和“ M {\displaystyle M} ”)。它们的意义依赖于特定的模态逻辑,但它们总是以相互定义的方式来定义: ◊ p = ¬ ◻ ¬ p . {\displaystyle \Diamond p=\lnot \,\Box \,\lnot \,p.} ◻ p = ¬ ◊ ¬ p . {\displaystyle \Box p=\lnot \,\Diamond \,\lnot \,p.}

Unicode検索結果 - 模態邏輯

数値文字参照

模 模

URLエンコード(UTF-8)

%E6%A8%A1

URLエンコード(EUC-JP)

%CC%CF

URLエンコード(SHIFT_JIS)

%96%CD

ユニコード名

CJK UNIFIED IDEOGRAPH-6A21

一般カテゴリ-

Letter, Other(文字,その他)

数値文字参照

態 態

URLエンコード(UTF-8)

%E6%85%8B

URLエンコード(EUC-JP)

%C2%D6

URLエンコード(SHIFT_JIS)

%91%D4

ユニコード名

CJK UNIFIED IDEOGRAPH-614B

一般カテゴリ-

Letter, Other(文字,その他)

数値文字参照

邏 邏

URLエンコード(UTF-8)

%E9%82%8F

URLエンコード(EUC-JP)

%EE%B6

URLエンコード(SHIFT_JIS)

%E7%B4

ユニコード名

CJK UNIFIED IDEOGRAPH-908F

一般カテゴリ-

Letter, Other(文字,その他)

数値文字参照

輯 輯

URLエンコード(UTF-8)

%E8%BC%AF

URLエンコード(EUC-JP)

%BD%B4

URLエンコード(SHIFT_JIS)

%8FS

ユニコード名

CJK UNIFIED IDEOGRAPH-8F2F

一般カテゴリ-

Letter, Other(文字,その他)