Considere verdadeiros os seguintes pronunciamentos sobre a mesma festa:
João: "Eu só vou à festa, se Marcos for."
Mateus: "Se Lucas for à festa, eu não vou."
Lucas: "Se João for à festa, eu também vou."
Marcos: "Se eu for à festa, então Mateus ou Lucas irá comigo."
Sabendo-se que João foi à festa, pode-se concluir corretamente que