Tool> 개인적으로 증명시에 사용하는 도구들
- \(p \rightarrow (q \rightarrow r) \vdash (p \wedge q) \rightarrow r \)
- \(p \rightarrow (q \rightarrow r) \iff (p \wedge q) \rightarrow r \)
- \(p \rightarrow (q \rightarrow r) \iff q \rightarrow (p \rightarrow r) \)
'Mathematics' 카테고리의 다른 글
| Partition (0) | 2021.05.25 |
|---|---|
| 201406-30-B (0) | 2021.04.30 |
| Euclidean Algorithm (0) | 2021.04.29 |
| 삼수선의 정리 (0) | 2021.04.28 |
| 8/2(2+2)=16 or 8/2(2+2)=1 (0) | 2021.04.28 |