Paulo trabalha ou Marcos joga futebol equivale logicamente a dizer que:
- A Se Paulo não trabalha, então Marcos joga futebol
- B Paulo trabalha e Marcos não joga futebol.
- C Paulo trabalha se, e somente se, Marcos joga futebol
- D Se Paulo não trabalha, então Marcos não joga futebol.