Ana, uma proposição P implica logicamente uma proposição Q se e somente se a

proposição P→Q for uma tautologia, ou seja, a coluna da proposição P→Q na tabela-
verdade só pode conter V.
Se observarmos a definição da proposição condicional p → q, vamos constatar que ela
só será falsa quando o valor-verdade de p for V e o valor-verdade de q for F, nesta ordem!
Assim, para que não ocorra F na coluna da proposição P→Q, ao observarmos as colunas
das proposições P e Q, não poderá ocorrer VF, nesta ordem, em uma mesma linha da
tabela-verdade.
Para ficar mais claro, observe que a partir da tabela a seguir, podemos demonstrar que
a proposição P: p  q implica a proposição Q: p  q, pois a proposição P → Q é tautologia,
ou seja, não ocorre VF nesta ordem em uma mesma linha.
Note que na tabela, na única linha em que P foi V, Q também foi V, ou seja, não ocorreu
VF nesta ordem, por isso a proposição P → Q é tautologia.
P Q
p q pq pq P→Q
V V V V V
V F F F V
F V F F V
F F F V V