abtrennungsregel (art der logischen folgerung)

Немецкий Язык - Английский Язык

Определение abtrennungsregel (art der logischen folgerung) в Немецкий Язык Английский Язык словарь

rule of detachment (rule of inference)

modus ponens /MP/

modus ponendo ponens