명제 논리: 두 판 사이의 차이

'''명제 논리'''(命題論理, propositional logic)는 [[논리식]]을 이용해 [[명제]]를 기술하는 [[형식 체계]]이다.<ref>{{웹 인용 |제목=Artificial Intelligence |저자=Ela Kumar |url=https://books.google.co.kr/books?id=rNmAY-RcGKYC&pg=PA130&lpg=PA130&dq=propositional+calculus.+Propositional+logic+or+propositional+calculus+is+basically+a+language+to+represent+propositions+using+well+defined+symbols.+If+we+have+to+learn+English+language,+we+will+have+to+learn+its+alphabets+first,+Similarly,+in+mathematics,+basic+symbols+like+%27%2B%27,+%27-%27,+%27x%27+etc,+will+have+to+be+learnt+for+performing+computations.+Hence,+first+step+to+describe+any+language+is+to+understand+the+%27symbols%27+used+in+it.+%5B%EB%84%A4%EC%9D%B4%EB%B2%84+%EC%A7%80%EC%8B%9D%EB%B0%B1%EA%B3%BC%5D+%EB%AA%85%EC%A0%9C%EB%85%BC%EB%A6%AC%ED%95%99+%5Bpropositional+logic,+%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86%E5%AD%B8%5D+%28%EB%91%90%EC%82%B0%EB%B0%B1%EA%B3%BC%29&source=bl&ots=tBuJ-9t1Ku&sig=U87Rrg5x7F89FxcRnlEXnnw9Obw&hl=ko&sa=X&ei=0CNVVaOoOYn78QX1koCgDQ&ved=0CCMQ6AEwAA#v=onepage&q=propositional%20calculus.%20Propositional%20logic%20or%20propositional%20calculus%20is%20basically%20a%20language%20to%20represent%20propositions%20using%20well%20defined%20symbols.%20If%20we%20have%20to%20learn%20English%20language%2C%20we%20will%20have%20to%20learn%20its%20alphabets%20first%2C%20Similarly%2C%20in%20mathematics%2C%20basic%20symbols%20like%20'%2B'%2C%20'-'%2C%20'x'%20etc%2C%20will%20have%20to%20be%20learnt%20for%20performing%20computations.%20Hence%2C%20first%20step%20to%20describe%20any%20language%20is%20to%20understand%20the%20'symbols'%20used%20in%20it.%20%5B%EB%84%A4%EC%9D%B4%EB%B2%84%20%EC%A7%80%EC%8B%9D%EB%B0%B1%EA%B3%BC%5D%20%EB%AA%85%EC%A0%9C%EB%85%BC%EB%A6%AC%ED%95%99%20%5Bpropositional%20logic%2C%20%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86%E5%AD%B8%5D%20(%EB%91%90%EC%82%B0%EB%B0%B1%EA%B3%BC)&f=false |언어=en |인용문= "Propositional logic or propositional calculus is basically a language to represent propositions using well defined symbols."}}</ref> 명제 논리는 [[기호논리학]]의 가장 기초적인 영역이다. [[사고]]를 [[개념]]으로까지 분해하는 고전논리학에 과는 달리, 사고의 최소 구성단위를 명제(원자적 명제)로 하여 명제의 내용·구조에는 개입하지 않고 각 명제 사이의 결합관계만을 연구한다. 명제의 결합을 4-6종의 기호로 통일적으로 나타내고, 각 명제를 진위(진리값)의 관점으로부터만 생각하여 복합적 명제의 진위를 원 명제의 진위로부터 수학적 계산법에 의해 결정하려고 한다(論理計算).

 

== 함께 보기 ==