애써 배운걸 까먹을까봐 그러기 전에 미리 정리해놓은 이산수학(discrete mathematics) 노트입니다. 미리 알아둘 것 이산수학에서의 명제 논리 및 조건문 이전 글에서 살펴보았듯이, 명제 논리를 사용하여 주어진 자연어 문장을 복수개의 단순 명제로 쪼갠 다음, 그 관계를 논리 기호를 사용하여 나타낼 수 있었음을 간단하게 살펴보았습니다.
이번에는 그에 대한 내용을 조금 더 정리해 봅니다. 프로그래밍을 할 때 의식적으로로던 무의식적으로던 자주 사용하는 논리와 관련된 내용으로는 어떠한 문장을 영어 문장으로 바꾸는 행동입니다.
예를 들면 아래와 같은 예시가 있습니다. You can access the Internet from campus only if you are a computer sceince major or you are not a freshman.
위와 같은 문장에는, "You can access the Internet from campus"라는 것은 "you are a c...
#
1
#
진리표
#
조건문
#
일관성
#
이산수학
#
시스템명세
#
모순
#
명제논리
#
명세
#
논리퍼즐
#
논리변환
#
논리
#
기사와건달
#
smallyan
#
3
#
2
#
해적과보물
원문 링크 : [이산수학] 명제 논리 응용