Не могли бы подсказать:
МОжно ли использовать MP в мат. логике к гипотезам?
1. D->A гипотеза
2. D - гипотеза
3. MP (1,2) = A

Верна ли такая запись, если 1 и 2 гипотезы?

Да, верна.