Some applications of propositional logic

Document Type : Review Paper

Author

Department of Mathematics, Azarbaijan Shahid Madani University, Tabriz, Iran

Abstract

The appearance of most of mathematical theories is the consequence of thinking and reasoning. Different mathematical models are used for modeling the deductive reasoning. Propositional logic is one of the mathematical models of deductions that has been used in many fields of applied science. In this paper, propositional logic will be investigated and some applications of it will be described.

Keywords

Main Subjects

References

[1] م. اردشیر، منطق ریاضی، مؤسسه‌ی انتشارات هرمس، تهران، ۱۳89.
[2] ر. اسمولیان، معماهایی در منطق ریاضی، مترجم م. شریف‌زاده، انتشارات فاطمی، تهران، ۱۳66.
[2] ه. ب. اندرتون، آشنایی با منطق ریاضی، مترجمان غ. برادران خسروشاهی و م. رجبی طرخورانی، مرکز نشر دانشگاهی، تهران، 1390.
[4] T. Dohmke, https://github.com/aimacode/aima-python/blob/master/logic.py.
[5] A. Mosley and E. Baltazar, An introduction to logic: From every day life to formal systems, Independently published, 2019.
[6] S. Russell and P. Norvig , Artificial Intelligence: A Modern Approach, Pearson; 4th edition, 2021.
[7] U. Schőning, Logic for computer scientists, Birkhäuser Boston, 2008.
 
Mathematics and Society
Volume 6, Issue 3 - Serial Number 3
September 2021
Pages 35-55

Files

History

  • Receive Date: 30 January 2022
  • Revise Date: 27 August 2022
  • Accept Date: 28 August 2022
  • Publish Date: 22 November 2021

Share

How to cite

Statistics