Considere as proposições lógicas a seguir, sabendo-se que todas são verdadeiras:

• José mora no Rio Grande do Norte ou Maria mora no Rio Grande do Sul.
• Maria e José foram casados ou Pedro é filho do casal.
• Se Pedro é filho do casal, então Maria não mora no Rio Grande do Sul.

Com bases nessas informações e sabendo-se que Maria mora no Rio Grande do Sul, qual das alternativas relacionadas apresenta uma sentença necessariamente verdadeira?