Title: Discussion on Natural Logic and Unnatural Logic: Taking Propositional Logic as an Example
Abstract: Natural deductive and axiomatic are different methods in study of inference rule of logical words.In this paper,two methods are studied in logical deductive calculus by taking deducing relation in propositional logic as an example.As a conclusion,natural logic conforms to the human thinking habits by contrast unnatural logic,and can be acceptable by people.
Publication Year: 2015
Publication Date: 2015-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot