Considerando os conectivos lógicos usuais, assumindo que as letras maiúsculas representam proposições lógicas e considerando que o símbolo ⁓ representa a negação, julgue o item a seguir, relacionados à lógica proposicional.

Considere as seguintes sentenças.

S1: Todo bombeiro tem bom condicionamento físico.

S2: Toda pessoa que dorme bem tem bom condicionamento físico.

Sendo as sentenças S1 e S2 verdadeiras, então se pode concluir que todo bombeiro dorme bem.