p → q와 논리적으로 동치p → q ≡ ∼p ∨ q ≡ contrapositive: ∼q → ∼p
‘’‘ p → q ’‘’
• “p이면 q이다”
• “p가 참이면 q도 참이다”
• “p는 q이기 위한 충분조건이다”
• “q는 p이기 위한 필요조건이다”
조건명제 p → q 진리표
| p (조건) | q (결과) | ∼p | ∼p ∨ q | p → q (조건명제) | 해석 |
|---|---|---|---|---|---|
| T | T | F | T | T | 조건도 맞고 결과도 맞음 |
| T | F | F | F | F | 조건 맞는데 결과 틀림 → 거짓 |
| F | T | T | T | T | 조건 틀림 → 전체 참 |
| F | F | T | T | T | 조건 틀림 → 전체 참 |
| 용어 | 논리식 | 해석 | 논리적 동치 관계 |
|---|---|---|---|
| 조건명제 | p → q | p이면 q이다 | - |
| 역 (Inverse) | ∼p → ∼q | p가 아니면 q도 아니다 | 일반적으로 동치 아님 |
| 이 (Converse) | q → p | q이면 p이다 | 일반적으로 동치 아님 |
| 대우 (Contrapositive) | ∼q → ∼p | q가 아니면 p도 아니다 | p → q 와 동치 |
(~p ∨ q) ∧ (r ∨ s) ~P(x) ∨ Q(x) ~Q(A) ∨ R(B)~P(A) ∨ R(B)max(μA(x), μB(x))min(μA(x), μB(x))1 - μA(x)~(A ∩ B) = ~A ∪ ~B, ~(A ∪ B) = ~A ∩ ~B| 연산 | 수식 |
|---|---|
| NOT | 1 - a |
| AND | min(a, b) |
| OR | max(a, b) |
| IF-THEN | max(1 - a, b) |
| 유형 | 설명 |
|---|---|
| 지도학습 | 입력과 출력 쌍 제공 |
| 비지도학습 | 출력 없이 입력만 제공 |
| 강화학습 | 보상 기반 학습 |
y = wx + bw ← w - α * ∂C/∂wf(x) = 1 / (1 + e^(-x))| 함수 | 설명 |
|---|---|
| Sigmoid | 0~1 확률 출력 |
| tanh | -1~1 출력 |
| ReLU | 0 이상이면 x, 미만이면 0 |
| 선형(x) | 사용 부적절 (비선형성 부족) |
w(t+1) = w(t) + α(t)(x - w(t))