Considere uma argumentação em que as duas proposições simbólicas abaixo são premissas, isto é, têm avaliação V.

1. (A∧¬B) → C
2. ¬C

Neste caso, se a conclusão for a proposição (¬A∨B), tem-se uma argumentação válida.