연언 도입
논리학에서 연언 도입(連言導入, 영어: conjunction introduction)은 두 명제로부터 그 논리곱을 유도하는 추론 규칙이다.
정의
편집연언 도입은 다음과 같은 추론 규칙이다.[1]:183, §16.3.1[2]:29, §2.4
또는
여기서
성질
편집같이 보기
편집각주
편집- ↑ Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865.
- ↑ van Dalen, Dirk (2013). 《Logic and Structure》. Universitext (영어) 5판. London: Springer. doi:10.1007/978-1-4471-4558-5. ISBN 978-1-4471-4557-8. ISSN 0172-5939. LCCN 2012953020.