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

Epimênides é um cretense. O próprio Epimênides disse a seguinte frase:(i) Todos os cretenses são mentirosos. Leia as proposições (I), (II), (III) e (IV) abaixo. (I) Se (i) for verdadeira então Epimênides é mentiroso e a afrmação (i) não está entre as mentiras pronunciadas por ele. (II) Se (i) for falsa, então nenhum cretense é mentiroso exceto Epimênedes. (III) Se (i) for falsa, então Epimênides é mentiroso. (IV) Epimênedes é mentiroso. É CORRETO afirmar que: