welcome!

//이 자료는 Discrete mathmatics and its application 7th edition에서 나오는 예제를 간추린 것입니다. 저는 코딩에 관심 있는 학생이며, 타인의 지적재산을 단지 학습을 위해 사용할 뿐 개인의 금리적 이윤을 위한 상업적인 용도로 쓰지 않습니다. 만약 저작권 관련 문제가 될 시 즉시 문서를 삭제하겠습니다.//1.4 술어와 정량자1.1~1.3장에서 배운 명제논리로는 수학 명제와 자연언어에서의 명저를 적절하게 표현할 수 없습니다. 예를 들어, "대학 네트웤에 연결된 모든 컴퓨터들은 정상적으로 작동한다"라는 명제를 가정해봅시다. 명제논리에서의 규칙으로는 다음 명제의 참/거짓을 가릴 수 없습니다. "MATH3은 정상적으로 작동한다" MATH3은 대학 네트웤에 연결된 컴퓨터들 ..

//이 자료는 Discrete mathmatics and its application 7th edition에서 나오는 예제를 간추린 것입니다. 저는 코딩에 관심 있는 학생이며, 타인의 지적재산을 단지 학습을 위해 사용할 뿐 개인의 금리적 이윤을 위한 상업적인 용도로 쓰지 않습니다. 만약 저작권 관련 문제가 될 시 즉시 문서를 삭제하겠습니다.// 1.3 논리적 동치 logical equivalent동어반복 tautology 모순 contradiction수학적 논증에서 사용되는 중요한 접근법은 한 명제를 같은 진리값을 가지는 다른 명제로 대체하는 것입니다. 주어진 복합명제와 같은 진리값을 가지는 명제를 만드는 방법론은 수학적 논증을 만드는데 보편적으로 사용됩니다. 복합명제는 p^q와 같이 논리 연결사를 이용..

//이 자료는 Discrete mathmatics and its application 7th edition에서 나오는 예제를 간추린 것입니다. 저는 코딩에 관심 있는 학생이며, 타인의 지적재산을 단지 학습을 위해 사용할 뿐 개인의 금리적 이윤을 위한 상업적인 용도로 쓰지 않습니다. 만약 저작권 관련 문제가 될 시 즉시 문서를 삭제하겠습니다.//1.2 명제 논리의 응용문장 번역하기문장을 명제 변수와 논리 연결자로 이루어진 수식으로 바꾸는데 많은 이유들이 있습니다. 특히, 많은 자연 언어들이 모호합니다. 문장을 복합 명제와 논리 표현식으로 바꾸면 모호함이 없어집니다. 이런 과정은 문장의 의도된 의미에 근거하여 합리적인 가정을 포함할 수 있습니다. 더, 문장을 논리 표현식으로 바꾸면 사용자는 진리값을 구하기위..

//이 자료는 Discrete mathmatics and its application 7th edition에서 나오는 예제를 간추린 것입니다. 저는 코딩에 관심 있는 학생이며, 타인의 지적재산을 단지 학습을 위해 사용할 뿐 개인의 금리적 이윤을 위한 상업적인 용도로 쓰지 않습니다. 만약 저작권 관련 문제가 될 시 즉시 문서를 삭제하겠습니다.//1.1 명제 Proposition예제 2. 아래의 문장들에 대해 생각해보세요1. 지금이 몇 시 인가요?2. 주의 깊게 읽어보시오3. x+1 = 24. x+y = z정답문장 1과 2는 참 거짓을 가릴 수 없으므로 명제가 아닙니다. 문장 3과 4는 참 거짓 모두 아니기 때문에 명제가 아닙니다. 이런 경우 변수에 값을 할당하면 명제가 될 수 있습니다. 명제변수 propo..