부정명제 (2) 썸네일형 리스트형 연역논증_부정명제 명제의 종류 명제의 종류에는 부정명제, 연언명제, 선언명제, 조건명제가 있다. 기호 의미 부정명제 ~p p가 아니다 연언명제 p∧q p이고 q이다 선언명제 p∨q p이거나 q이다 조건명제 p→q 만약 p라면 q이다 명제 명제는 p로 표시한다 라이언은 사자이다 = p 부정명제 부정명제는 ‘~가 아니다’로 표현되는 명제이다. 부정명제는 ~p로 표시한다 라이언은 사자가 아니다 = ~p 부정명제의 참과 거짓 명제 p가 참이라면 명제 ~p는 거짓이다 명제 p가 거짓이라면 명제 ~p는 참이다 연역논증_명제의 종류 연역논증의 건전성을 위한 조건 연역논증은 전제가 참일 때 결론도 반드시 참인 경우 타당하다고 평가된다. 하지만 좋은 연역논증이 되기 위해서는 이것만으로 충분하지 않고 전제들을 구성하는 명제가 참이어야 한다는 조건이 추가된다.(연역논증의 타당성과 건전성) 연역논증이 타당하며, 연역논증의 전제들이 참인 명제로 이루어져 있는 경우, 연역논증은 건전하다고 표현된다. 연역논증의 건전성 = 타당성 + 전제들을 구성하는 참인 명제 이처럼 연역논증에서 중요한 것 중 하나는 명제의 참과 거짓을 따지는 것이다. 명제의 종류/기호/의미 이를 위해서 논리학은 명제의 종류에 따라 이름을 부여하며 그것을 기호로 나타내고, 참과 거짓을 판단할 때 사용한다. 명제의 종류에는 부정명제, 연언명제, 선언명제, 조건명제가 있다. 기호 의.. 이전 1 다음
