09/09/2022 17h54

A negação de (S→N) é S ^ ~N.

P: Hoje é sábado;
N: Não trabalharei.