다섯 가지 공통 결합자(five common connectives) 또는 논리접속사(logical connective) 또는 논리연산자(logical operator)
| 언어 | 기호 |
| "아니다(not)" | ~ |
| "이고(and)" | ∧ |
| "또는(or)" | ∨ |
| "...이면...(if...then...)" | ...→... |
| "...이면, 그리고 그때에만 ...(if and only if...)" | ...↔... |
제1장 1.1~1.6 명제와 결합자, 항진명제, 함의, 동치, 모순, 연역적추론, 한정규칙 + 응용: 디지털회로
목차 (1.1~1.6 집합론)1.1 명제와 결합자1.2 나머지 세 결합자1.3 항진명제, 함의, 동치 Tautology, Impl...
blog.naver.com
'+++++SW 일일 공부+++++ > SW Expert Aademy' 카테고리의 다른 글
| BIG-O 함수에 대하여 (0) | 2020.01.02 |
|---|---|
| MathWay 공학 계산기 쳇봇 (0) | 2020.01.01 |
| 로그 지수의 관하여 (0) | 2020.01.01 |
| 기호 ∀기호 ∃ (0) | 2019.12.31 |
| SW Expert Academy (0) | 2019.12.28 |
Or71nH