Sendo p a proposição “Wagner não é professor” e q a proposição “Maria é médica”, então a proposição composta [(~p^q)→~q] pode ser descrita como:

Se Wagner é professor e Maria é médica, então Maria não é médica.

Se Wagner não é professor e Maria não é médica, então Maria não é médica.

Se Wagner não é professor e Maria é médica, então Maria não é médica.

Se Wagner é professor e Maria é médica, então Maria é médica

Se Wagner é professor e Maria não é médica, então Maria não é médica.