Seja p = Fábio nada e q = Maura corre, traduzindo para a linguagem das proposições ~p ? ~q, tem-se: