Question

what are the theories of logic?​

Answer 1

अंग्रेज़ी से अनुवाद किया गया कॉन्टेंट-गणितीय तर्क में, एक सिद्धांत एक औपचारिक भाषा में वाक्यों का एक समूह है। ज्यादातर परिदृश्यों में, एक आगमनात्मक प्रणाली को पहले संदर्भ से समझा जाता है, जिसके बाद एक सिद्धांत का एक तत्व तब सिद्धांत का एक प्रमेय कहा जाता है।

Answer 2

Answer:

In mathematical logic, a theory is a set of sentences in a formal language. In most scenarios, a deductive system is first understood from context, after which an element of a theory is then called a theorem of the theory.