///
Considere as seguintes proposições: P: O paciente receberá alta; Q: O paciente receberá medicação; R: O paciente receberá visitas.
Se, em uma unidade hospitalar, houver os seguintes conjuntos de pacientes: A = {pacientes que receberão alta}; B = {pacientes que receberão medicação} e C = {pacientes que receberão visitas}; se, para os pacientes dessa unidade hospitalar, a proposição ~P→[Q∨R] for verdadeira; e se Ac for o conjunto complementar de A, então Ac⊂B∪C.