의미 론적 의미 관계 란 무엇을 의미합니까 (M | = A)?

Question

나는 그것에 관해 많은 액트들을 읽었다. 그들은으로 설명 :

로직에서

의미가 종종 만족 관계

M으로 설명 | = A

상황 M은 화학식 A를 만족시키는 경우에 대해 설명

그래서 몇 가지 예도 살펴 보았습니다. 나는 다음과 같은 예제를 발견

참 | = 거짓 = 거짓

거짓 | = TRUE =

나는 전혀 이해하지 못하는 사실. 이 경우에 무슨 의미입니까?

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

M 공식의 세트 :

Answer 1

두 공식 A에 대한

와 B (. 당신이 명제 논리에 대해 이야기 가정 (그러한 PRED 로직)와 같은 다른 논리 비슷) 및 공식 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.