semantic logic notation

語義邏輯表示法

學術名詞

• 語意邏輯記法：資訊