블로그
- [기호논리학] 문장논리(명제논리) 4 구문론적/통사론적 속성들 도출가능성과 타당성은 이전 핸드아웃에서 이미 정의하였다. 그 외에 구문론적으로 정의가능한 속성들을 살펴보자. 문장이 지닐 수 있는 속성 정리(theorem): 문장 φ는 정리이다 iff φ는 공집합으로부터 도출가능하다. (= 주요가정이 하 나도 없는 도출의 가장
- [기호논리학] 문장논리(명제논리) 3 문장논리의 도출체계(derivation system) 문장논리의 도출체계는 문장논리 형식언어의 구문론/통사론(syntax)에 도출규칙들(derivation rules) 이 추가된 것이다. 도출규칙들은 어떤 일정한 형식을 지닌 문장(들)이 주어질 경우 어떤 일정한 형식의 문장을 새로 도입
- [기호논리학] 문장논리(명제논리) 2 문장의 해석 문장논리의 모든 문장은 해석에 상대적으로 진리값을 가진다. 해석(interpretation)이란 문장 속 에 나타나는 모든 문장문자에 특정한 진리치(참 또는 거짓)을 할당하는 것이다. (당연히 동일 유형 (type) 1의 문장문자에는 같은 진리치를 할당한다.) 주어진 문장
- [기호논리학] 문장논리(명제논리) 1 (문장논 리는 ‘명제논리(propositional logic)’라고 불리기도 한다.) 다음의 예를 살펴보자.
- 논리적 사고의 체계를 잡아주는 논리학 강의 부정논법은 명제논리, 즉 연역논증입니다. "논리학 강의 1.연역논증"에서는 정언논리 체계, 명제논리 체계, 술어논리 체계와 추론규칙, 대치규칙, 등을 다양한 사례들을 통해 분석합니다.
- [기호논리학] 술어논리 1 categorical logic)가 있었고, 19세기에 이르러 조지 부울(George Boole)과 고틀롭 프레게(Gottlob Frege)가 각각 독자적으로 우리가 앞서 다뤘던 문장논리(명제논리
- 메가로스쿨 리트 추리논증 추천 /정동주 변호사 - 2019.11.26.(화) - 난이도별 접근 step-1 <논리학-Chapter.2 연역논증> #추리논증 #정동주변호사 #리트준비 #리트기출 #메가로스쿨 #법학적성시험 Chapter.1 명제논리 (저번주 복습 시간을 간단히 가지셔도 좋을것 같아서 첨부 합니당) 오늘은 연역 논증
- 명제 논리와 술어 논리 2 그냥 단순히 명제로 끝나지만 술어 논리 : 명제논리 확장, 명제의 술어에 대한 분석을 기초하여 여러 명제를 연결사와 함꼐 연결한 복합 명제 술어논리는 술어와 객체로 분리하여 표현하기
- 명제 논리 술어 논리 명제논리 : 명제를 가지고 논리를 판별한다. 1. 명제 : 참과 거짓을 표현할 수 있는 식이나 문장 2. 단순명제 : 한가지 사실을 주장하는 명제 3.