Considere as seguintes proposições:

• A: João é um atacante muito alto para o padrão do futebol brasileiro.
• B: Pedro é o jogador artilheiro do campeonato, marcando o dobro de gols de João.

Considerando que as proposições são verdadeiras e traduzindo para linguagem simbólica, assinale a alternativa lógica verdadeira.