Eduardo trabalha aos domingos, mas ele não é ator.

Se Eduardo trabalha aos domingos; então ele é ator.

Eduardo trabalha aos domingos ou ele não é ator.

Se Eduardo é ator, então ele não trabalha aos domingos.

Eduardo é ator se, e somente se, não trabalha aos domingos.