Sejam !$ A !$ = {!$ n !$ !$ \in !$ !$ \mathbb N^+ !$; !$ n !$ é par}, !$ B !$ = {!$ n !$ !$ \in !$ !$ \mathbb N^+ !$;!$ n !$ é impar} e !$ C !$ = {!$ n !$ !$ \in !$ !$ \mathbb N^+ !$; !$ n !$ é primo}, em que !$ \mathbb N^+ !$ é o conjunto dos números naturais estritamente positivos.

Com base nesses dados, julgue o item a seguir.

A proposição !$ ( n \, \in \, B) \wedge (m = n - 1) \Rightarrow \, m \, \in \, A !$ é verdadeira.