본문 바로가기 주메뉴 바로가기
22대 대한민국 국회 국회정보길라잡이 국회의원검색
회원가입 로그인
HOME

정보검색

소장정보 검색

국회도서관 홈으로 정보검색 소장정보 검색
결과 내 검색 동의어 포함
결과 내 검색 동의어 포함

-

목차보기

제Ⅰ부 서 론
제 1 장 세계에 대한 우리의 인식 구조와 문장의 구조
제 2 장 문장, 단순 문장, 복합 문장
제 3 장 명제, 모순
3.1 명제, 타당한 명제, 부당한 명제
3.2 모순
3.3 명제가 아닌 문장
제 4 장 논증, 타당한 논증, 부당한 논증, 추론 규칙
제 5 장 논증의 증명 구조와 반박 구조
연습문제

제Ⅱ부 고전 논리학
제 1 장 명제의 벤다이어그램 표현
제 2 장 벤다이어그램을 이용한 논증의 증명과 반박
제 3 장 정언적 삼단논법
제 4 장 정언적 삼단논법의 증명과 반박
연습문제

제Ⅲ부 명제 논리
제 1 장 문 법
1.1 명제 기호
1.2 연결사, 논리식 변수, 명제 논리의 논리식
1.3 괄호의 생략
1.4 명제 논리 논리식의 자연어 번역
1.5 자연어 문장의 명제 논리 논리식 표현
제 2 장 의미론
2.1 진리값과 진리표
2.2 진리 함수로서의 연결사
2.3 원자식, 분자식, 타당한 논리식, 모순 논리식
2.4 충족가능성, 충족불가능성
2.5 논리적 동치
제 3 장 명제 논리에서의 논증의 증명과 반박
3.1 진리표를 이용한 논증의 증명과 반박
3.2 추론 규칙을 이용한 논증의 증명
3.2.1 타당한 논리식 형태, 동치 법칙
3.2.2 연역의 구조
3.2.3 명제 논리에서의 전건긍정 MP1과 파생 추론 규칙들
3.2.4 논증 증명의 예
3.2.5 증명의 전략
연습문제

제Ⅳ부 술어 논리
제 1 장 문 법
1.1 주어와 술어
1.2 양화사, 양화 변수, 술어 논리의 논리식
1.3 양화사의 범위
1.4 자유 변수, 결합 변수, 변수의 재명명
1.5 항, 논리식의 자유로운 대입
1.6 술어 논리 논리식의 자연어 번역
1.7 자연어 문장의 술어 논리의 논리식 표현
제 2 장 의미론
2.1 술어 논리 논리식의 해석
2.2 양화사의 순서
2.3 자유 변수의 해석
제 3 장 술어 논리에서의 논증의 증명과 반박
3.1 추론 규칙을 이용한 논증의 증명
3.1.1 명제 논리 추론 규칙의 술어 논리에서의 타당성
3.1.2 술어 논리에서의 전건긍정 추론 규칙 MP2
3.1.3 양화사를 도입하고 제거하는 추론 규칙들
3.1.4 동치 법칙
3.1.5 논증 증명의 예
3.2 모델 구축에 의한 논증의 반박
3.2.1 모델의 구축
3.2.2 논증의 반박
연습문제

제Ⅴ부 자연연역
제 1 장 논리의 정형화
1.1 문법적으로 올바른 논리식
1.2 정형적 증명
제 2 장 명제 논리에서의 논증의 증명
2.1 추론 규칙들
2.1.1. ∧-도입 규칙
2.1.2. ∧-제거 규칙
2.1.3. ∨-도입 규칙
2.1.4. →-제거 규칙
2.1.5. ∨-제거 규칙
2.1.6. →-도입 규칙
2.1.7. ¬-도입 규칙
2.1.8. ¬-제거 규칙
2.2 추론 규칙의 증명*
2.2.1 →-제거 규칙의 증명*
2.2.2 →-도입 규칙의 증명*
2.2.3 나머지 추론 규칙들의 증명*
2.3 논증의 증명
제 3 장 술어 논리에서의 논증의 증명
3.1 추론 규칙들
3.2 추론 규칙의 증명*
3.2.1 →-제거 규칙의 증명*
3.2.2 →-도입 규칙의 증명*
3.2.3 양화사를 도입하고 제거하는 추론 규칙들의 증명*
3.3 논증의 증명
연습문제

제Ⅵ부 진리나무
제 1 장 명제 논리에서의 논증의 증명과 반박
1.1 진리나무 구축 규칙
1.2 진리나무 구축 절차
1.3 논증의 증명과 반박
제 2 장 술어 논리에서의 논증의 증명과 반박
2.1 진리나무 구축 규칙
2.2 진리나무 구축 절차
2.3 논증의 증명과 반박
연습문제

제Ⅶ부 맺는말
논증의 증명 관점: 술어 논리 추론 체계의 건전성과 완전성
논증의 반박 관점: 명제 논리의 결정성과 술어 논리의 비결정성
연역 논리학의 활용
연습문제

연습문제 풀이
참고문헌
용어 정의
우리말 용어의 영어 번역
영어 용어의 우리말 번역
기호 정의
부록 A. 타당한 논리식과 추론 규칙들
부록 B. 추론 규칙 증명의 전개 구조
찾아보기

이용현황보기

연역 논리학 : 논증의 증명과 반박 이용현황 표 - 등록번호, 청구기호, 권별정보, 자료실, 이용여부로 구성 되어있습니다.
등록번호 청구기호 권별정보 자료실 이용여부
0003199208 160 -25-6 [서울관] 인문자연과학자료실(열람신청 후 1층 대출대) 이용가능
0003199209 160 -25-6 [서울관] 인문자연과학자료실(열람신청 후 1층 대출대) 이용가능
B000130292 160 -25-6 부산관 종합자료실(1층) 이용가능

추천서가 (다양한 추천 자료를 만나보세요)

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 기사목차