728x90 반응형 전체 글86 [이산수학] 조건문을 포함한 논리적 동치 조건문을 포함한 논리적 동치는 논리식 간의 논리적 등가성을 나타내는 것으로, 두 논리식이 동일한 진리값을 가짐을 의미한다. 아래는 꼭 외우면 좋은 공식들이다. p → q = ¬p ∨ q p → q = ¬q → ¬p p ∨ q = ¬p → q p ^ q = ¬(p → ¬q) ¬(p → q) = p ^ ¬q (p → q) ∧ (q → r) = (p → r) = (¬p ∨ q) ∧ (¬q ∨ r) = (¬p ∨ ¬q) ∨ r p → p = 1 = p' ∨ p (p → q) ∧ (p → r) = p →(q ^ r) (p → q) ∨ (p → r) = p →(q ∨ r) 2023. 10. 9. [이산수학] 논리적 동치 1. 논리적 동치란? 논리적 동치란 두 개의 논리식이 논리적으로 동일하다는 의미이다. 우리는 논리적 동치를 활용하여 다양한 논리 규칙들을 증명할 수 있다. 예를 들어 p,q에 대하여 p↔q가 항진명제라면 p와q는 논리적 동치이다. 2. 드모르간 법칙 논리학과 불대수(Boole algebra)에서 사용되는 중요한 법칙 중 하나로, 이 법칙을 통해 논리식을 단순화하거나 변환하는 데 사용할 수 있다. 첫 번째 드모르간 법칙 (De Morgan's First Law) ¬(A ∧ B) = ¬A ∨ ¬B 즉, 두 개의 조건 A와 B가 모두 거짓이 아닌 경우, 그 논리 부정(Not)은 A의 부정 또는 B의 부정과 동일하다. 두 번째 드모르간 법칙 (De Morgan's Second Law): ¬(A ∨ B) = ¬A.. 2023. 10. 9. [이산수학] 다양한 조건문 표현 모음 (if~, then~) 수학적 추론에서 매우 중요한 역할을 하는 조건문 표현들에 대해 정리해보았다. "If P, then Q" (P가 참이면 Q가 참이다.) "If P is true, then Q is true" (P가 참이면 Q도 참이다.) "P implies Q" (P는 Q를 함축한다.) "P is a sufficient condition for Q" (P는 Q의 충분 조건이다.) "P only if Q" (P가 참이면 Q도 참이어야 한다.) "P is a necessary condition for Q" (P는 Q의 필요 조건이다.) "P leads to Q" (P는 Q로 이끈다.) "P entails Q" (P는 Q를 포함한다.) "P is a prerequisite for Q" (P는 Q의 선행 조건이다.) "P res.. 2023. 10. 9. [이산수학] 명제와 논리의 기초 (Logic and Proofs) 1. 명제 논리의 기본적인 구성 요소로,참 또는 거짓 둘 중 하나로 나타내는 선언적 문장(즉, 어떤 사실을 선언하는 문장)이다. 아래 예시 문장을 보면 문장이 사실이 아니더라도 참 또는 거짓으로 구별할 수 있어야 명제가 될 수 있다. 대한민국의 수도는 서울이다. 1 + 2 = 4 1 + 1 = 2 아래 예시 문장은 명제가 아닌데 이유는 참 또는 거짓으로 판정할 수 없고, 변수가 있을 경우 값이 배정되어야만 참 또는 거짓을 구분할 수 있기 때문이다. 어디가십니까? x + 2 = 4 x + y = 100 2. 명제 산술 (명제 논리) 명제를 다루는 논리를 명제 산술 또는 명제 논리라고 부르는데, 이산 수학에서는 해당 논리를 통해 새로운 명제(복합명제)를 만들기도 하며 여러가지 증명을 할 수도 있다. 만약 P.. 2023. 10. 9. [React] console, warning, error 메세지 제거 개발을 하다보면 어쩔 수 없이 개발자도구 안에 콘솔에 warning과 console.log 메세지가 수도 없이 많을 수 있다. 배포 하기 전에 한 번쯤은 신경써야할 내용에 대해 써보겠습니다! 방법은 매우 간단하다 ㅋㅋ,,, App.js 에 아래와 같은 코드를 추가하면 된다..! 원리는 모든 console 메세지에 대해 빈 함수로 대체하여 재정의 하는 것이다. if (1+1 === 2) { window.console = { log: function () {}, warn: function () {}, error: function () {}, }; } 2023. 10. 5. 이전 1 ··· 7 8 9 10 11 12 13 ··· 18 다음 반응형
