///
Admitindo-se que as proposições “A aranha subiu pela parede se, e somente se, o morcego é bilionário” e “Se o morcego é bilionário, então o coringa usa maquiagem” são falsas.
As proposições “Se o morcego é bilionário, então o coringa usa maquiagem” e “O morcego não é bilionário ou o coringa usa maquiagem” são logicamente equivalentes.