Considerando os símbolos lógicos usuais e sabendo que as letras maiúsculas representam proposições lógicas, julgue o item seguinte, a respeito de lógica proposicional e de argumentação.

A proposição ~(P → Q) é equivalente à proposição P ˄ (~Q).