Joaquina quer determinar a ordem de idade de três colegas de turma. Ela não sabe a idade deles, mas conhece dois fatos importantes sobre eles. Primeiro, ela sabe que, se Cirilo não é o mais velho dos três, então Daniel é o mais velho. Segundo, ela sabe que se Daniel não é o mais novo, então Valéria é a mais velha. Com base nessas afirmações e utilizando a lógica proposicional, conclui-se que