Note e adote a lista de símbolos: ∧ Conector “e” ; ∨ Conector “ou”; ∨ Conector “ou” exclusivo; → Conector “Se...então...” ; ↔ Conector “Se e somente se”; ~ Negação de uma proposição.
O satélite Cheops da Agência Espacial Europeia teve um encontro inesperado: ao explorar dois exoplanetas próximos à estrela Nu2 Lupi, ele detectou um terceiro, raro e "sem nenhum equivalente conhecido". Os cientistas notaram que a medida do raio desse planeta é 2,5 vezes maior que o raio da Terra e 8,8 vezes mais pesado (Disponível em: https://www.cnnbrasil.com.br/tecnologia. Acesso em: 26 de jun. 2021 – adaptado).
Considerando as informações apresentadas e que o diâmetro da Terra seja 12.750 quilômetros, o raio do exoplaneta encontrado pelo satélite da ESA é, em quilômetros, igual a:
