Cliente pagar até o vencimento: p

recebe o desconto: q

não recebe o desconto: ~q

Logo, o cliente não pagou até o vencimento: ~p

(p →q)^~q ⇒ ~p

Trata-se de uma implicação lógica - ·Regra Modus Tollens ( p → q) ∧ ~q ⇒ ~p 

É uma forma de raciocínio lógico dedutivo usada para negar uma afirmação condicional.

O nome vem do latim e significa algo como "modo que nega pela consequência".

1. Se P, então Q.
2. Não Q.
3. Logo, não P.

Nunca havia ouvido falar nisso.

MODUS POLLENS:

• p -> q
• p
• Então q

MODUS TOLLENS:

• p -> q
• ~q
• Então ~p

Trata-se de Vera Fischer ( Tabela verdade do Se, então [-->] em quem a primeira proposição sendo verdadeira e a segunda falsa, tem valor lógico falso V + F = F).

Modus Tollens é a teoria que nega o consequente, ou seja, a segunda proposição.