Dois colegas estão tentando resolver um problema de matemática. Pedro afirma para Paulo que X = B e Y = D. Como Paulo sabe que Pedro sempre mente, então, do ponto de vista lógico, Paulo pode afirmar corretamente que: