Na lógica qualitativa, uma proposição lógica pode ser verdadeira ou falsa. Considere a seguinte proposição: “Se João é feliz morando em Esmeraldas, então Maria deseja voltar para Minas Gerais e Pedro não irá se mudar da cidade”. Considerando que a proposição apresentada é falsa, qual das alternativas a seguir apresenta uma proposição necessariamente verdadeira?