No lançamento de três dados, dois cubos numerados de 1 a 6 e um tetraedro numerado de 0 a 3, a probabilidade da soma dos valores encontrados ser maior do que 6 e menor do que 13 é
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