[집합론] 1.3 초등논리 - 항진, 함의, 동치
안녕하세요, 오늘은 집합론의 항진, 함의, 동치에 관한 내용을 다뤄보겠습니다. 어렵지 않은 내용이니 천천히 따라오시면 됩니다! 제 1장) 초등논리 1.3 항진, 함의, 동치 합성명제 p∨~p의 진리표를 확인해 보자. p ~p p∨~p T F T F T T 이 진리표를 보면, 모든 경우에서 참인 것을 알 수 있다. 이와 같은 명제에서는 특별한 이름을 붙인다. 모든 논리적 가능성에 대해 참이라면 그 명제를 "항진" 또는 "항진 명제"라고 한다. 특히, P, Q에 대한 조건문 P→Q가 항진일 때, 이를 "함의" 또는 "함의 명제"라고 하고, 다음과 같이 쓴다. P⇒Q (P는 Q를 함의한다.) 다음 조건문들은 모두 함의이다. (직접 진리표로 알아봄으로써 확인해 보겠습니다.) (a) p→p p→p ≡ ~(p∧~p..
2023. 11. 18.
단축키
내 블로그
| 내 블로그 - 관리자 홈 전환 |
Q
Q
|
| 새 글 쓰기 |
W
W
|
블로그 게시글
| 글 수정 (권한 있는 경우) |
E
E
|
| 댓글 영역으로 이동 |
C
C
|
모든 영역
| 이 페이지의 URL 복사 |
S
S
|
| 맨 위로 이동 |
T
T
|
| 티스토리 홈 이동 |
H
H
|
| 단축키 안내 |
Shift + /
⇧ + /
|
* 단축키는 한글/영문 대소문자로 이용 가능하며, 티스토리 기본 도메인에서만 동작합니다.