تلفظ بین المللی : /ʃˈarti ˈaːkid/ تلفظ : [S'aRti 'a:kid]
دانشنامه عمومی
در منطق، یک شرطی اکید، یک شرطی است که تحت سیطره یک عملگر وجهی است؛ یعنی یک رابط منطقی از منطق موجهات. آنها از نظر منطقی، هم ارز با شرطی مادی از منطق کلاسیک هستند که با عملگر ضرورت از منطق موجهات ترکیب شده است. برای هر دو گزاره p و q، فرمول p → q می گوید که p به طور مادی نتیجه می دهد q را در حالی که ◻ ( p → q ) {\displaystyle \Box (p\rightarrow q)} می گوید که p، اکیداً q را نتیجه می دهد. شرطی...
