abtrennungsregel (art der logischen folgerung)

listen to the pronunciation of abtrennungsregel (art der logischen folgerung)
Almanca - İngilizce
rule of detachment (rule of inference)
modus ponens /MP/
modus ponendo ponens