[이산수학] 영어 문장을 논리로 변환, 시스템 명세 (Translating English to Propositinal Logic & System Specifications)

[Discrete Mathematics] p.20-22

 

https://midoriprogramming.tistory.com/7

[이산수학] 논리 연산자의 우선순위, 동치 판단 (Precedence of Logical Operators)

 

지난 시간에 논리 연산자의 우선순위, 명제의 동치 판단에 대해서 알아봤다.

 

이번에는 영어 문장을 논리로 변환하는 방법과 시스템 명세에 대해서 알아보겠다.

 

 

 

 

○ 영어 문장을 논리로 변환 (Translating English to Propositinal Logic)

 

영어 문장을 명제 변수와 논리 연산자를 사용한 논리식으로 변환하는 데는 여러 이유가 있다.

영어를 포함한 인간이 사용하는 언어는 모두 모호하다.

하지만 문장을 복합명제로 변환하면 이와 같은 모호성을 제거할 수 있다.

 

 

 

● 예시

 

"If I go to Harry's or to the country, I will not go shopping."

 

이라는 문장을 논리 표현으로 바꿔보자

 

우선, 문장안의 다수의 세부 명제를 나누어본다.

 

p : I go to Harry's

q : I go to the country

r : I will go shopping

 

이렇게 3개의 명제로 나눌 수 있다.

 

이때, 부정인 문장이 있다면 반드시 긍정으로 바꾸어 명제 표시해야한다.

 

그리고 논리 연산자를 이용해 해당 문장을 복합명제로 바꾸어주면 된다.

 

if p or q, then not r 의 형태이므로

 

위와 같이 나타낼 수 있다.

 

 

 

 

 

 

 

 

○ 시스템 명세 (System Specifications)

 

자연어로 기술된 문장을 논리적인 표현으로 바꾸는 것은

하드웨어나 소프트웨어 시스템을 명확히 명세하는 데 필수적이다.

 

개발자들은 자연어로 요구사항을 접수받아 시스템 개발에 사용되는 정확하고 모호하지 않는 명세,

즉 시스템 명세를 작성한다.

 

 

 

● 예시

 

"The automated reply cannot be sent when the file system is full"

 

p : "The automated reply can be sent"

q : "The file system is full"