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

Se afino as cordas, então o instrumento soa bem. Se o instrumento soa bem, então toco muito bem. Ou não toco muito bem ou sonho acordado. Afirmo ser verdadeira a frase: não sonho acordado. Dessa forma, conclui-se que