기호논리학에 대해 짧게 글을 써보려 합니다. 잘 배워두시면 평소 인터넷 댓글에서 키배를 할 때, 어떤 것이 개소리인지 쉽게 판별하실 수 있을 것입니다.
일단 논리 문제라고 하면, 아래처럼 흔히 보시는 문제가 될 것입니다. 평범한 퀴즈 문제집에 자주 나오는 것 같습니다.
머리가 빨리 굴러가시는 분들은 굉장히 빨리 접근하실 수 있을 것입니다. 하지만 평범한 사람들도 이런 문제들을 쉽게 접근하는 방법이 있지요.
복잡한 문장들을 기호로 나타내면 됩니다. 이것이 기호논리학입니다.
일반적인 논리식에 쓰이는 기호는 여러가지가 있습니다. 그 중에서도 기초적인 것들을 알아봅니다.
P, Q... 대문자로 표현된 것들은 각각 하나의 명제입니다.
'철수는 학생이다'를 간단하게 한 것입니다. ∨ 선언, disjunction이라고 합니다. 논리회로의 or연산으로, 둘 중에 하나만 참이면 참을 돌려줍니다.
모두 거짓일 때만 거짓이 나옵니다. 자연언어로 '또는'에 해당합니다. & 연언, conjunction이라...
