Considere a seguinte sentença:
Marcos vai para o escritório se e somente se Pedro não trabalha na rua. Pedro trabalha na rua se e somente se Joana tira o dia de folga. Joana não tira o dia de folga se e somente se Joaquim trabalha meio expediente. Joaquim não trabalha meio expediente se e somente se Marcelo trabalha até 20h. Marcelo trabalha até 20h se e somente se sua esposa não faz jantar.
Não havendo jantar na casa de Marcelo, é correto afirmar que
Marcos vai para o escritório se e somente se Pedro não trabalha na rua. Pedro trabalha na rua se e somente se Joana tira o dia de folga. Joana não tira o dia de folga se e somente se Joaquim trabalha meio expediente. Joaquim não trabalha meio expediente se e somente se Marcelo trabalha até 20h. Marcelo trabalha até 20h se e somente se sua esposa não faz jantar.
Não havendo jantar na casa de Marcelo, é correto afirmar que