///
Considere as seguintes proposições: P: O paciente receberá alta; Q: O paciente receberá medicação; R: O paciente receberá visitas.
A proposição ~P→[Q∨R] pode assim ser traduzida: Se o paciente receber alta, então ele não receberá medicação ou não receberá visitas.