///
Legenda para os símbolos lógicos:
v Representa a disjunção inclusiva (ou).^ Representa a conjunção (e).~ Representa a negação.→ Representa o condicional (se...então).↔ Representa o bicondicional (se e somente se).A sentença equivalente à negação da sentença aberta Algum paciente não foi vacinado é: