Considerem‑se as proposições a seguir.
• Donatello comeu a pizza ou Leonardo não comeu
a pizza.
• Se Leonardo não comeu a pizza, então
Michelangelo comeu a pizza.
• Michelangelo comeu a pizza se, e somente se,
Raphael não comeu a pizza.
• Raphael comeu a pizza.