A sentença equivalente à negação da sentença aberta Algum pa...
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 é: