#### 논리적인 명제의 진리값을 수학적 Model을 통해 결정하는 방법

Logical System theoretically deals with the provability of propositions while the

**model**: deals with whether the proposition is actually true or false.It studies the structure that explains the symbols used in a given logical system and what those symbols mean. In other words, it determines whether a certain proposition is true in a specific model.

Model is a Mathematical Structure in which the Language of a Logical system is interpreted. Unlike Proof Theory, it determines the true or false of propositions through various operations.

Model Theory Notion