*هل يسمح أو لا يسمح بالمتغيرات المسورة**
& ذكرنا سابقا ﻋﻠﻰ ﺗﻔﺮﻗﺔ ﻫﺎﻣﺔ بين ﺣﺴﺎب اﻟﻘﻀـﺎﻳـﺎ وﺣـﺴـﺎب المحمول و ﺗﺄﺗﻲ اﻟﻘﻮة اﻹﺿﺎﻓﻴﺔ لمنطق الحساب المحمول ﻣـﻦ اﺳـﺘـﺨـﺪاﻣـﻪ ﻟﻠﻤﺘﻐﻴﺮات المسورة : ﻟﺬﻟﻚ ﻓﺈن اﻟﻘﻀﻴﺔ اﻟﻘﺎﺗﻠﺔ " ﻛﻞ ﻃﺎﺋﺮ ﻟﻪ ﻣﻨﻘـﺎر " يمكن اﻟﺘﻌﺒﻴﺮ ﻋﻨﻬﺎ ﺑﻠﻐﺔ ﺣﺴﺎب المحمول لمنطق اﻟـﺪرﺟـﺔ الأولى و ﻟـﻴـﺲ ﺑـﺤـﺴـﺎب القضايا ؟
ﻷﻧﻪ ﻳﺘﻄﻠﺐ أن ﻧﺬﻛﺮ ﺑﻮﺿﻮح أن ﻛﻞ ﻃﺎﺋﺮ ﻣﺤﺪد ﻟﻪ ﻣﻨﻘﺎر....
