system of proof
preferred label: دستگاه برهان @fa
type: Concept
related: derivation rules

modus ponens
preferred label: قیاس استثنایی @fa
type: Concept
broader: derivation rules

cut rule
preferred label: قاعده برش @fa
type: Concept
broader: derivation rules

derivation system
preferred label: دستگاه اشتقاق @fa
type: Concept
narrower: derivation rules

reducto ad absurdum
preferred label: برهان خلف @fa
type: Concept
broader: derivation rules

derivation rules
narrower: reducto ad absurdum
narrower: cut-elimination
narrower: cut rule
narrower: elimination rule
narrower: modus ponens
related: complexity of proof
related: system of proof
preferred label: قواعد اشتقاق @fa
broader: derivation system
type: Concept

elimination rule
preferred label: قاعده حذف @fa
type: Concept
broader: derivation rules

complexity of proof
preferred label: پیچیدگی برهان @fa
type: Concept
related: derivation rules

cut-elimination
preferred label: حذف برش @fa
type: Concept
broader: derivation rules