Словарь по логике

m. p.: Принятое сокращение для правила рассуждения modus ponens.