Dadas as proposições:

p = “Ana viaja ao exterior”

q = “João fica em casa”

Para escrever "João não fica em casa" temos que negar a proposição p, a notação que utilizamos para isso é um til a frente da letra que identifica a proposição.

~q = “João não fica em casa”

O conectivo "se... então" é simbolizado com uma seta para a direita (→). Assim temos que:

"Se Ana viaja para o exterior, então João não fica em casa" = p → ~q

resposta: p → ~q

Bons estudos!