Midnight Coder's Lounge

알고리즘 공부를 하던 중 생소하게도 논리학 개념을 접하게 되었습니다. 충분한 논리력이 뒷받침이 되지 않는다면 알고리즘 설명을 아무리 봐도 이해를 못하거나, 코드를 정확하게 고치지 못하고 원하는 실행 결과가 나올 때까지 막연한 수정만 반복하는 함정에 빠질 수 있으므로 논리적으로 정확하게 확인하는 과정을 연습한다는 것이 학습의 취지입니다. 학습한 내용 및 구글링을 통해 배운 개념을 정리합니다. 논리 기호와 개념 F(Function) : '함수' / '개념' ∃(turned E) : '적어도 한 개가 존재한다' - ∃x : "x가 존재한다" / "적어도 하나의 x가 존재한다" - ∃xFx : "어떤 x가 F를 만족한다" ∀(turned A) : '모든 ~에 대하여' - ∀x : "모든 x에 대하여" - ∀xF..