체인의정석

논문 같은걸 읽다보면 복잡한 기호들이 있다. 이런걸 읽으려면 어떻게 할지 고민하고 있었는데 인공지능 수업시간에 딱 첫 주문 로직부터 배우는 부분이 상황을 수식을 표현하는 것이였다. 먼저 기본 로직들의 의미를 살펴보도록 하겠다. 양화자 (Quantifiers): ∀ (전칭 양화자, Universal Quantifier): "모든"이라는 의미로, '∀x, P(x)'는 "모든 x에 대해 P(x)가 참이다"라는 의미입니다. ∃ (존재 양화자, Existential Quantifier): "어떤 것이 존재하여"라는 의미로, '∃x, P(x)'는 "어떤 x가 존재하여 P(x)가 참이다"라는 의미입니다. 명제 연산자 (Propositional Connectives): ∧ (논리곱, Conjunction): "그리고"..