본문 바로가기

수학/이산수학

(9)
[이산수학] 상호 조건문을 포함한 논리적 동치 (Logical Equivalences Involving Biconditional Statements) [Discrete Mathematics] p.35 https://midoriprogramming.tistory.com/14 [이산수학] 조건문을 포함한 논리적 동치 (Logical Equivalences Involving Conditional Statements) [Discrete Mathematics] p.35 https://midoriprogramming.tistory.com/13 [이산수학] 중요한 논리적 동치 (Key Logical Equivalences) [Discrete Mathematics] p.32-35 https://midoriprogramming.tistory.com/11 [이산수학] 드 모르간 법칙 (De Morgan midoriprogramming.tistory.com 지난 시간에 ..
[이산수학] 조건문을 포함한 논리적 동치 (Logical Equivalences Involving Conditional Statements) [Discrete Mathematics] p.35 https://midoriprogramming.tistory.com/13 [이산수학] 중요한 논리적 동치 (Key Logical Equivalences) [Discrete Mathematics] p.32-35 https://midoriprogramming.tistory.com/11 [이산수학] 드 모르간 법칙 (De Morgan's Law) [Discrete Mathematics] p.32-33 https://midoriprogramming.tistory.com/9 [이산수학] 항진명제, 모순, 불확정명제, 논 midoriprogramming.tistory.com 지난 시간에 중요한 논리적 동치에 대해서 알아봤다. 이번에는 개념을 확장해 조건문을 포함한 ..
[이산수학] 중요한 논리적 동치 (Key Logical Equivalences) [Discrete Mathematics] p.32-35 https://midoriprogramming.tistory.com/11 [이산수학] 드 모르간 법칙 (De Morgan's Law) [Discrete Mathematics] p.32-33 https://midoriprogramming.tistory.com/9 [이산수학] 항진명제, 모순, 불확정명제, 논리적 동치 판단 (Tautology & Contradiction & Contingency, Logicall [Discrete Mathematics] p.31-32 https://midoriprogramming midoriprogramming.tistory.com 지난 시간에 드 모르간 법칙에 대해서 알아봤다. 이번에는 중요한 논리적 동치에 대해서 알..
[이산수학] 드 모르간 법칙 (De Morgan's Law) [Discrete Mathematics] p.32-33 https://midoriprogramming.tistory.com/9 [이산수학] 항진명제, 모순, 불확정명제, 논리적 동치 판단 (Tautology & Contradiction & Contingency, Logicall [Discrete Mathematics] p.31-32 https://midoriprogramming.tistory.com/8 [이산수학] 영어 문장을 논리로 변환, 시스템 명세 (Translating English to Propositinal Logic & System Specifica [Discrete Mathema.. midoriprogramming.tistory.com 지난 시간에 항진명제, 모순, 불확정명제, 논리적 동치..
[이산수학] 항진명제, 모순, 불확정명제, 논리적 동치 판단 (Tautology & Contradiction & Contingency, Logically Equivalent) [Discrete Mathematics] p.31-32 https://midoriprogramming.tistory.com/8 [이산수학] 영어 문장을 논리로 변환, 시스템 명세 (Translating English to Propositinal Logic & System Specifica [Discrete Mathematics] p.20-22 https://midoriprogramming.tistory.com/7 [이산수학] 논리 연산자의 우선순위, 동치 판단 (Precedence of Logical Operators) [Discrete Mathematics] p.12-13 https://midoripro.. midoriprogramming.tistory.com 지난 시간에 영어 문장을 논리로 변환하는 ..
[이산수학] 영어 문장을 논리로 변환, 시스템 명세 (Translating English to Propositinal Logic & System Specifications) [Discrete Mathematics] p.20-22 https://midoriprogramming.tistory.com/7 [이산수학] 논리 연산자의 우선순위, 동치 판단 (Precedence of Logical Operators) [Discrete Mathematics] p.12-13 https://midoriprogramming.tistory.com/6 [이산수학] 복합명제의 진리표 (Constructing Propositions' Truth Table) [Discrete Mathematics] p.12 https://midoriprogramming.tis.. midoriprogramming.tistory.com 지난 시간에 논리 연산자의 우선순위, 명제의 동치 판단에 대해서 알아봤다. 이번에는 ..
[이산수학] 논리 연산자의 우선순위, 동치 판단 (Precedence of Logical Operators) [Discrete Mathematics] p.12-13 https://midoriprogramming.tistory.com/6 [이산수학] 복합명제의 진리표 (Constructing Propositions' Truth Table) [Discrete Mathematics] p.12 https://midoriprogramming.tistory.com/5 [이산수학] 명제와 명제 논리, 연산자 (Propositions & Propositional Logic) [Discrete Mathematics] p.1-11 ○ 명제 (Propositions) 명제.. midoriprogramming.tistory.com 지난 시간에 복합명제의 진리표를 만드는 방법에 대해서 알아봤다. 이번에는 논리 연산자의 우선순위, 동치..
[이산수학] 복합명제의 진리표 (Constructing Propositions' Truth Table) [Discrete Mathematics] p.12 https://midoriprogramming.tistory.com/5 [이산수학] 명제와 명제 논리, 연산자 (Propositions & Propositional Logic) [Discrete Mathematics] p.1-11 ○ 명제 (Propositions) 명제는 참과 거짓 중 하나를 나타내는 선언문이다. (A proposition is a declarative sentence that is either true or false) 논리의 기본적인 구성요소.. midoriprogramming.tistory.com 지난 시간에 명제, 명제 논리, 연산자에 대해서 알아봤다. 이번에는 복합명제의 진리표에 대해서 알아보겠다. ○ 복합명제의 진리표 (Tru..