Lógica

Consideremos que:

p é "ruivas são deliciosas"
q é "loiras são sensacionais"

p -> q

se ruivas são deliciosas é verdadeiro e loiras são sensacionais também verdadeiro, então p -> q será verdadeiro;
mas se ruivas são deliciosas é falso e loiras são sensacionais for verdadeiro
então p -> q será VERDADEIRO;

e, se ruivas são deliciosas é falso e loiras são sensacionais também for falso
então p -> q será verdadeiro.
Apenas quando o antecedente for verdadeiro, e o conseqüente ser falso é que a proposição condicional será falsa.

Agora, será que já podemos abandonar a escada? Provavelmente não, porque eu ainda estou pensado nesta p... de escada!