\(\vdash\): It looks like a turnstile and means the following is a law.
Example 1) \(\vdash \neg(A\wedge \neg A)\) - law of noncontradiction.
'수학 공부 정리' 카테고리의 다른 글
| [CLRS] SUMMARY OF EXERCISE (0) | 2020.07.11 |
|---|---|
| [영어] 수학 용어 정리 (0) | 2020.04.10 |
수학 공부 정리
\(\vdash\): It looks like a turnstile and means the following is a law.
Example 1) \(\vdash \neg(A\wedge \neg A)\) - law of noncontradiction.
| [CLRS] SUMMARY OF EXERCISE (0) | 2020.07.11 |
|---|---|
| [영어] 수학 용어 정리 (0) | 2020.04.10 |
댓글