語義蘊涵關係是什麼意思（M | = A）？

Question

我讀過很多關於它的演示。他們描述了它作爲：

在邏輯，意思通常是由滿足關係

中號描述| = A

描述了當一個情形m滿足公式A.

所以，我也搜索了一些例子。我發現下面的例子：

真| =假=假

假| =真=真

我不明白的。這些情況下意味着什麼？

Answer 1

（假設你談論命題邏輯（它是用於其他邏輯如預解碼邏輯）相似）

兩個式A和B：

A |= B 
"B evaluates to true under all evaluations that evaluate A to true" 

一組公式的M個和式B：

M |= B 
"for every evaluation: B evaluates to true if only all elements of M 
evaluate to true" 

來你的例子：

true |= false 
is incorrect since evaluations exist 


false |= A 
is correct for any formula A, since 'false' is never evaluated to 'true' 
under any evaluation 

rgrds。