로딩
요청 처리 중입니다...

[이산수학] 명제 논리 응용

 [이산수학] 명제 논리 응용

애써 배운걸 까먹을까봐 그러기 전에 미리 정리해놓은 이산수학(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 # 해적과보물