11장, 논리연산 - 논리곱

목적

배우는 목적은 논리연산을 알아야 더 좋은 프로그래밍을 할 수 있기 때문이다.

내용

1. 무엇을 논리연산 이라고 하는가?

논리적 명제 들을 논리 합, 논리 곱, 논리 부정, 베타적 논리합, 동치 등을 하는 것을 논리 연산이라고 한다. 이 말이 잘 이해가 안가는데, 여기서 "논리적 명제" 란 말, 그리고 각 연산들을 모르겠다.

논리적 명제란 "실제로 존재하는 무엇인가를 지칭하는 것:사실"이 ..., 즉 사실이 참인지 거짓인지 판별하는 것 이나 판별하는 문장을 뜻한다. 사람들은 논리적 명제를 "명제" 라고도 한다.

그러므로 논리연산은 이러한 명제들을 연산한 것으로 명제를 합치거나, 명제를 곱하거나, 명제를 부정, 베타적 논리합, 동치 한다는 것을 뜻한다.

참조 링크

• http://ko.wikipedia.org /wiki/명제
  
• http://ko.wikipedia.org /wiki/사실
  
• http://www.aistudy.co.kr/logic/propositional_logic.htm <-- 명제에 대한 설명들

2. 무엇을 논리 곱 이라고 하는가?

명제가 두개 이상일 때, 두 명제를 합치는 것을 논리 연산 중 논리 곱 이라고 한다. 예를 들어

1. 내 키는 178Cm 이다.
   
2. 내 몸무게는 76Kg 이다.
   
   이 두 명제를 곱하면,
   
   
3. 내 키는 178Cm 이며, 내 몸무게는 76Kg 이다.
   

두 명제를 합칠 때, 두 명제가 하나라도 모두 참이여만 참으로 평가되게 나타낸 것을 논리곱 연산이라고 한다.

참조 링크

• http://ko.wikipedia.org/wiki/논리곱
  

여담

이러한 눈에 보이지 않는 생각이 인간에게 보편화 된 것, 인간이 이러한 생각에 이름을 붙였다는 것, 즉 생각을 구체화해 실제로 존재하게 만드는 것이 무척 경이롭다!

나머지 논리연산들은 기회가 있을 때 정리 한다.