formal logic

Logic (from Classical Greek λόγος logos; meaning word, thought, idea, argument, account, reason, or principle) is the study of the principles and criteria of valid inference and demonstration.As a formal science, logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and through the study of arguments in natural language. The field of logic ranges from core topics such as the study of fallacies and paradoxes, to specialized analysis of reasoning using probability and to arguments involving causality. Logic is also commonly used today in argumentation theory.
See more at Wikipedia.org...

Noun
1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
(synonym) symbolic logic, mathematical logic
(hypernym) logic, logical system, system of logic
(hyponym) Boolean logic, Boolean algebra

formal logic
(Tech) luận lý hình thức
(C) 2007 www.TừĐiểnTiếngViệt.net

Eng: formal logic
Urdu: رَسمی مَنطَق ۔ صَوّری مَنطَق ۔ مَنطَق کی وہ شاخ جِس کا تعَلُّق اِستَدلالِ اِستَخراجی سے ہے ۔