algebraic logic
منطق جبری
fuzzy modus ponens
قیاس استثنایی فازی
intuitionistic logic
منطق شهودگرایانه
دستگاه اصل موضوعی
axiomatic system
قاعده وضع مقدم
modus ponens
قیاس استثنایی
اگر p و q دو گزاره باشند و p و p آنگاه q برقرار باشد در این صورت q نیز برقرار است.
derivation rules
قواعد اشتقاق