Lógica

(Ibmec-SP–2007) Observe o slogan de uma cervejaria, utilizado em uma campanha publicitária: “Se o bar é bom, então o chopp é Tathurana.” Os bares Matriz e Autêntico oferecem a seus clientes chopp das marcas Tathurana e Karakol, respectivamente. Então, de acordo com o slogan anterior, pode-se concluir que 

A) os dois bares são necessariamente bons. 
B) o bar Matriz é necessariamente bom e o bar Autêntico pode ser bom ou não. 
C) o bar Matriz é necessariamente bom e o bar Autêntico, necessariamente, não é bom. 
D) o bar Matriz pode ser bom ou não e o bar Autêntico, necessariamente, não é bom. 
E) os dois bares, necessariamente, não são bons.

Gabarito:

Li a resolução do gabarito e não entendi, segue uma print da resolução:

Tirei do site: http://docplayer.com.br/326900-Seu-pe-direito-nas-melhores-faculdades.html

Pelo que eu entendi, ele fez a condicional "Se p, então q" e depois fez a contra positiva "se ~q, então ~p" e a partir dai tirou algumas conclusões. Alguém poderia me explicar essa resolução ?

Repare que:
“Se o bar é bom, então o chopp é Tathurana.”


É diferente de:
"Se o chopp é Tathurana, o bar é bom"


Nem todos os bares que tem chopp Tathurana são bons, mas sim todos bares bons tem chopp Tathurana.


Bar Matriz:
Tem o chopp Tathurana, mas não necessariamente é bom, pode ser.
Então ele pode ou não ser bom.


Bar Authentico:
Todos bares bons tem que ter chopp Tathurana, como esse não tem, então afirmamos com certeza que esse  bar não é bom.

Duduu2525 escreveu:Repare que:
“Se o bar é bom, então o chopp é Tathurana.”


É diferente de:
"Se o chopp é Tathurana, o bar é bom"


Nem todos os bares que tem chopp Tathurana são bons, mas sim todos bares bons tem chopp Tathurana.


Bar Matriz:
Tem o chopp Tathurana, mas não necessariamente é bom, pode ser.
Então ele pode ou não ser bom.


Bar Authentico:
Todos bares bons tem que ter chopp Tathurana, como esse não tem, então afirmamos com certeza que esse  bar não é bom.

Bem pensando... eu até voltei e fui fazer a tabela da verdade da condicional "se... então..." onde p = bar bom e q = o chopp é tathurana. A falsa foi: Se o bar é bom, então o chopp não é Tathurana. Bate direitinho com o que você falou, é como se na questão o conjunto universo fosse os bares, teríamos o subconjunto dos bares que servem o chopp Tathurana, e dentro desse conjunto teríamos os bares bons e ruins... Vou lembrar de fazer a tabela da verdade em todas as questões agora. Valeu pela ajuda.