Considere as proposições:

f: hoje é feriado.
t: hoje eu vou trabalhar.

Qual das alternativas representa f ? ~t?