دانشگاه اصفهان نشریه ریاضی و جامعه 2345-6493 6 3 2021 11 22 Some applications of propositional logic کاربردهایی از منطق گزاره‌ای 35 55 26862 10.22108/msci.2022.132540.1492 FA سمیه تاری گروه ریاضی، دانشکده علوم پایه، دانشگاه شهید مدنی آذربایجان 0000-0001-5569-2380 Journal Article 2022 01 30 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. پیدایش بسیاری از نظریه‌های ریاضی حاصل استدلال و تفکر است.<br />از مدل‌های مختلف منطق ریاضی، برای صوری‌سازی تفکر قیاسی استفاده می‌شود. منطق گزاره‌ای یکی از مدل‌های ریاضی برای تفکر و استنتاج‌های ریاضی است که در بسیاری از شاخه‌های مختلف علوم استفاده می‌شود. در این مقاله ضمن اشاره به جنبه‌های نظری و کامپیوتری منطق گزاره‌ای، کاربردهایی از آن در سایر علوم بیان می‌شوند. https://math-sci.ui.ac.ir/article_26862_546a64ca1db405a0d695e96e89690547.pdf