هومن

نوعی قاعده استنباط منطقی است. مخفف Modus ponendo ponens است یعنی "حالتی که با تأیید، تأیید می کند"

ارزشش را داره

[رایانه] کاری سازی - از نام Haskell Curry گرفته شده است. یعنی تبدیل �تابع چند پارامتری� به چند �تابع تک پارامتری�

مخفف First - order logic