11장, 논리연산 - 논리곱

목적

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

내용

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

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

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

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

참조 링크

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

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

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

참조 링크

여담

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

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