provable 기호를 써서 기술하면 되죠?
|=나 =>를 쓰기에는 부적절한가요?
|=나 =>를 쓰기에는 부적절한가요?
- 희망의 등불
추론 규칙을 형식적으로 적는다면
기괴공학도(mecheng98)
2018-11-06 10:14
추천 0
댓글 1
다른 게시글
-
∃x P(x) 에 관해 질문드립니다. [2]익명(121.150) | 18.11.04추천 0
-
삼단논법 질문드립니다.. [6]논맇(222.109) | 18.11.02추천 0
-
질문))계산 가능성과 논리읭읭이(otto0) | 18.10.31추천 1
-
정주희 교수님의 수리논리와 집합론 입문기괴공학도(mecheng98) | 18.10.31추천 1
-
논리학에 입문하시는 분들에게 짧은 추천도서 목록 올립니다. [9]ㅁㄴㄹㅇ(14.52) | 18.10.27추천 107
-
논리학 배우면 [5]이원준학파(sjh000906) | 18.10.26추천 6
-
논리학입문 이환 부분 좀 도와주라 [1]익명(185.161) | 18.10.23추천 3
-
질문이 있습니다 횽님들~ [1]익명(118.46) | 18.10.16추천 0
-
문제 좀 풀어주세요 논갤러형님들 [4]익명(125.138) | 18.10.15추천 0
-
type theory 하시는 분 계신가요? [1]기괴공학도(mecheng98) | 18.10.09추천 0
그리고 모든 추론 규칙이 타당함을 보인다면, 즉 (Phi |- A) => (Phi |= A)를 보인다면, 형식증명을 통하여 H |= C를 보일 수 있는 거죠? - 희망의 등불