식에 보면 ≡ <-- 이게 뭔지 잘 모르겠어요.
≡ 대신 = 넣으면 어떻게 되는거죠?
그리고 설명들으니까 p^ ㄱq 가 의미하는게 p가 참이고 q가 거짓인걸 의미하고
ㄱp^q가 의미하는게 p가 거짓이고 q가 참인걸 의미한다는데
무슨소린지 잘 모르겠어요.
p값은 T or F 이고 ㄱp값도 T or F 두개의 값을 가지는데
위 식의 p^ ㄱq <-- 여기에서의 p값은 T값을 가진다는게 무슨소린가요; p가 T인지 어떻게 알죠?
-
그림이 안 보이는데...
≡ 는 논리적으로 동일한 진리값을 가지고 있을 때이고, ＝는 수학에서 일반적으로 값이 동일할 때를 의미합니다. ＝는 집합론에서는 쓰이지 않는 기호라 생각하시면 되요.
두 번째 질문은 이해가 안 되는데 외부의 기호인 ￢는 p나 q가 내부에 가지고 있는 진리값을 반대로 바꾸어줍니다. p값이 F값으로 미리 정의되어 있던가... 아니면 연역되어서 반드시 T값을 가질 수밖에 없든가... 아마도 p 앞에 ￢가 없어서 T라고 하는 것 같은데요.
| 번호 | 제목 | 글쓴이 | 날짜 |
|---|---|---|---|
| 공지 | 욕설/반말시 글쓰기 권한 영구 정지10 | 저렴한 개불알꽃 | 2019.01.26 |
| 공지 | 식물원 이용규칙 (2018/09/30 최종 업데이트) - 학생회 관련 게시글, 댓글 가능17 | 흔한 달뿌리풀 | 2013.03.04 |
| 18800 | [레알피누] .4 | 게으른 반하 | 2018.12.07 |
| 18799 | [레알피누] .9 | 냉철한 민들레 | 2021.03.08 |
| 18798 | [레알피누] .3 | 짜릿한 편도 | 2014.01.18 |
| 18797 | [레알피누] .16 | 재수없는 설악초 | 2016.05.31 |
| 18796 | [레알피누] .6 | 조용한 꼬리풀 | 2016.08.07 |
| 18795 | [레알피누] .7 | 찬란한 고마리 | 2016.08.12 |
| 18794 | [레알피누] .1 | 유치한 큰방가지똥 | 2018.03.05 |
| 18793 | [레알피누] .12 | 억쎈 부겐빌레아 | 2017.02.22 |
| 18792 | [레알피누] .18 | 적절한 노루오줌 | 2018.11.17 |
| 18791 | [레알피누] .4 | 쌀쌀한 물양귀비 | 2017.03.02 |
| 18790 | [레알피누] .10 | 키큰 바위솔 | 2018.11.28 |
| 18789 | [레알피누] .2 | 고고한 은목서 | 2020.07.24 |
| 18788 | [레알피누] .1 | 싸늘한 고광나무 | 2016.02.10 |
| 18787 | [레알피누] .8 | 살벌한 맑은대쑥 | 2018.05.24 |
| 18786 | [레알피누] .7 | 난폭한 개불알풀 | 2018.03.30 |
| 18785 | [레알피누] .1 | 바보 갈퀴나물 | 2017.08.03 |
| 18784 | [레알피누] .6 | 똑똑한 주목 | 2017.03.19 |
| 18783 | [레알피누] .2 | 흔한 참회나무 | 2017.08.13 |
| 18782 | [레알피누] .5 | 배고픈 나팔꽃 | 2017.04.11 |
| 18781 | [레알피누] .3 | 황홀한 쇠고비 | 2016.01.18 |
댓글 달기