Cristiano, Lauro, Pedro, Lúcia, Paula e Margarida formam três casais. Os homens são nascidos em João Pessoa, Patos ou Campina Grande. Sabe-se que: o que nasceu em João Pessoa é casado com Margarida; Pedro nasceu em Campina Grande; Paula não é casada com Pedro; e Cristiano não nasceu em João Pessoa.

No diagrama a seguir, estão marcadas as informações com S (sim) ou N (não), por exemplo, o N no cruzamento da coluna que contém Paula com a linha que contém Pedro indica que Paula não é casada com Pedro.

Com base nesse caso hipotético, julgue os itens a seguir, completando a tabela, se necessário.

Considere a afirmação I como sendo FALSA e as outras três afirmações como sendo VERDADEIRAS.

I. Lucas é médico ou Marina não é enfermeira.

II. Se Arnaldo é advogado, então Lucas não é médico.

III. Ou Otávio é engenheiro, ou Marina é enfermeira, mas não ambos.

IV. Lucas é médico ou Paulo é arquiteto.

A partir dessas informações, é correto afirmar que

A sentença:

“Se João é Palmense, então Maria é Tocantinense” é equivalente à: