Julgue o item que se segue, relativo a tabela-verdade e a operações lógicas.

A regra de inferência Modus Ponens corresponde à implicação !$ (p \rightarrow q)^. q' \Rightarrow p'. !$