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.