논리식 하나 질문합니다

[익명(106.101)]

임의의 논리식 A,B,C에 대하여 의미론적 타당성에 관한 다음의 관계를 증명하라.

A⊨ C이고 B⊨ C일 때, 이 때 A∨ B⊨ C

이거증명도와주실분 ㅠㅠ

[익명(1.227)]

A v B를 만족하는 valuation은 A를 만족하거나 B를 만족할 수 밖에 없음

[콘치즈(hoho198758)]

혹시 증명과정같은거있나요 아직더공부중이라

[익명(1.227)]

그냥 AB에 가능한 진릿값 조합 00,01,10,11 중 00을 제외한 모든 조합이 AvB의 진릿값을 1로 만듦. 얘네는 다 A를 만족시키거나 B를 만족시키고 있음. 어느쪽이든 조건에 의해 C가 만족됨