منطق جبری
type: Concept
preferred label: algebraic logic @en
related: قیاس استثنایی

قیاس استثنایی فازی
type: Concept
preferred label: fuzzy modus ponens @en
related: قیاس استثنایی

منطق شهودگرایانه
type: Concept
preferred label: intuitionistic logic @en
related: قیاس استثنایی

دستگاه اصل موضوعی
type: Concept
preferred label: axiomatic system @en
related: قیاس استثنایی

قیاس استثنایی
type: Concept
alternative label: قاعده وضع مقدم
broader: قواعد اشتقاق
preferred label: modus ponens @en
related: منطق شهودگرایانه
related: قیاس استثنایی فازی
related: دستگاه اصل موضوعی
related: منطق جبری
scope note: اگر p و q دو گزاره باشند و p و p آنگاه q برقرار باشد در این صورت q نیز برقرار است.

قواعد اشتقاق
type: Concept
narrower: قیاس استثنایی
preferred label: derivation rules @en