728x90
이산수학은 컴퓨터 공학의 기초가 된다고 한다! 그렇기 때문에 중요하다.
오늘은 이산 수학 중에서도 명제와 연산자에 대해 배워보겠다!
참고로 이 글은 동빈나의 강의를 보고 쓰는 글이다!
명제
참 혹은 거짓으로 진리를 명확히 구분할 수 있는 문장을 명제라고 한다.
0 또는 1을 가지는 컴퓨터의 메모리와 같이 항상 참과 거짓 둘 중 하나의 값만을 가진다.
주관적인 것은 명제가 될 수 없다. 명확하게 참 혹은 거짓으로 구분할 수 있는 것만이 명제가 될 수 있다.
프로그래밍을 해봤다면 Not, And, Or 등의 논리연산자를 사용해 봤을 것이다. 이 연산자들은 명제를 다룬다.
그러니 프로그래밍에서 논리 연산자를 사용할 때는 명제를 다루어야 한다는 뜻이기도 하다.
명제를 다루는 연산자
조건 명제는 'p이면 q이다'와 같은 복합 명제이다.
p가 거짓일 때는 모두 참이 되는데, 그 이유는 조건이 거짓이면 조건에 따른 q가 참이던 거짓이든 애초에 조건이 거짓이기 때문에 q가 조건에 맞지 않아도 결과는 거짓이라고 할 수 없기 때문이다.
반대로 p가 참이라면 조건에 따른 결과가 참이 되어야 진릿값이 참이라 할 수 있고 조건에 따른 결과가 거짓이라면 조건과는 맞지 않으니 그 진릿값이 거짓이 되는 것이다...라고 생각해 보았는데 쓰면서도 뭔가 명쾌한 이해가 되지 않는다.
이 영상을 보면 도움이 될듯하다! -> 조건명제