Por favor alguien me ayuda no entiendo

Deducir ~t
~p→~q∆~r

alguien me ayuda se los agradecería mucho :)