Na análise de diagramas lógicos, uma seta que conecta duas proposições indica que uma implica a outra. Considerando um diagrama onde a proposição P leva à proposição Q, qual das seguintes afirmações é verdadeira?