프로그래밍과 논리 / 수학

1.    논리와 증명

 

1)    논리

• 일상 생활에서는 Soft Logic이 빠르기 때문에 유용 : 논리적으로 부정확한 표현을 사용하지만, 어떤 의미인지 모든 사람이 이미 알고 있다는 가정
• 프로그래밍에서는 Hard Logic을 사용 : 프로그래밍 언어의 표현들이 모두 논리학에서 나온 것 : 사용되는 수많은 알고리즘들을 이해하기 위해서는 Hard Logic이 필요
• 오해의 근원 : Soft Logic으로 알고리즘을 이해하려고 하는 것 / 알고리즘 설명을 보고 또 봐도 이해가 안되는 것은 증명을 안 봤기 때문 / 증명을 봐도 이해가 안되는 것은 직관으로 이해하려고 하기 때문 / 가끔 직관적으로 이해되는 알고리즘이 있지만 조금만 어려워지면 직관으로 완전한 이해를 얻는 것은 사실상 불가능
• 명제의 역, 이, 대우(p->q)

  역 : q->p / 이 : ~p->~q / 대우 : ~q->~p

•    ^ : and / v : or (처음 보는디요…)

 

2)    증명 (정확한 명제식으로 표현할 수 있는 것)

-      수학적 귀납법 : P(1)이 참이고, P(n)->P(n+1)이 참이면 P(n)은 모든 자연수 n에 대해서 참이다

-      항진 명제 : 논리식 혹은 합성명제에 있어 각 명제의 참, 거짓의 모든 조합에 대하여 항상 참인 것

아니 p가 거짓인데 왜 q의 여부에 상관없이 참이냐?? 는 의문이 들음

명제 파트를 좀 못하긴 했지만 너무 이해가 안되서 유튜브 찾아봤습니다.

https://www.youtube.com/watch?v=q8-4NmwCHd4 

p가 거짓이어도 q값에 상관없이 명제식이 참인 이유에 대해...

완전 명쾌하지는 않지만 그래도 "이렇게 생각하면 되겠구나"라는 방향은 잡아주셔서 논리에 대해 조금 이해를 했습니다.

혹시 더 자세하게 아시는 분은 댓글 남겨주세요😊😊

 

 

+ ) 백준 하면서 알게 된것!!

 

• " " (큰 따옴표)를 출력하기 위해선  앞에 \ (역슬래쉬)를 써줘야 한다(작은 따옴표 역시 마찬가지)
• \ (역슬래쉬)를 출력하기 위해서는 \\ (역슬래쉬) 2번을 사용해 줘야 한다

=> 제어문자로 작용하기 때문에 출력하기 위해서는 \\로 적어야 \가 출력 됩니다.