Raciocínio Lógico — diagrams de venn (quantificadores universais)

Considere que João e Pedro morem em uma cidade onde cada um dos moradores ou sempre fala a verdade ou sempre mente e João tenha feito a seguinte afirmação a respeito dos dois: Pelo menos um de nós dois é mentiroso. Nesse caso, a proposição João e Pedro são mentirosos é V.