명제논리, 술어논리.

소개

명제논리와, 술어논리 기본계념과, 설명.

목차

논리(Logic)
논증.(Argument)
1.명제논리(Sentense Logic)
1) Sentense Logic 의구성.
2) 명제논리의 조건문장이기 위한 조
2) 명제논리를 구성하는 기호들의 의미

2.술어논리(Predicate Logic)
1)술어논리를 구성

본문내용

논리(Logic)
논리학은 올바른 추론과 증명의 법칙을 연구하는 학문을 말한다. 심리학(Pschology), 사회학(Sociology), 인류학(Anthropology) 등과 같은 제반 학문에서 학문이나 이론 등을 의미하는 logy 는 ‘logos’에서 유래한 것으고, 어원적으로 볼떄, 논리학은 ‘logos’의 학문이다.
논리에 관한 연구는 인류 역사를 살펴보면, 이미 메소포타미아, 이집트, 고대 인도 및 중국 문명에서 수학과 더불어 부분적으로 연구된 것으로 알려져 있다. 그러나 우리가 지금 학교에서 배우는 논리학은 일반적으로 기원전 약6세기를 전후로 고대 그리스에서 시작되었다고 보고 있으며, 기원전 4세기 아리스토텔레스에 의해 지금 논리학이라고 불리는 학문의 체계가 잡혔다.

논증.(Argument)
논리학에서 결론을 지지하는 이유를 밝히는 절차. 때로 이러한 절차를 전제로부터 결론을 연력할수 있도록 구성된다. 잘못된 논증은 논리적 오류라고 한다. 다시 말해, 논증은 명제들로 구성된 집합이다. 그러나 모든 명제들의 집합이 모든 논증이 될수 있는 것은 아니다. 명제들의 집합들 중 일정한 관계가 성립하는 집합만이 논증으로 간 주 될 수 있다. 논증이기 위해서 성립해야만 하는 이 관계는 전제들과 결론 사이의 관계이다.
-하나의 논증의 전제는 명제들의 집단인 논증의 한 구성 요소로서 그 논증을 구성하는 다른 명제를 지지하거나 증거로서 제시된 명제이다.
-하나의 논증의 결론이란 명제들의 집단인 논증의 한 구성 요소로서 그 논증을 구성하고 있는 다른 명제들로부터 지지받거나 다른 명제들을 증거로 삼고 있는 명제이다.
즉, 하나의 논증이란 전제들과 결론으로구성된 명제들의 집합으로서 논리적으로 좋은 논증이기 위해서는 전제들과 결론 사이에 적절한 논리적 관계가 성립하여야 한다.

1.명제논리(Sentense Logic)
명제논리와 술어 논리는 모두 연역논리라는 점이세 동일하다. 명제논리는 표현의 기본 단위가 명제이고, 이런 점이 술어 논리와 구분된다.

참고자료

· 없음