Questões sobre Proposições Equivalentes

Em uma sala, cinco computadores para uso público (A, B, C, D e E) estão ligados em uma rede. Devido a problemas com os softwares de proteção da rede, o computador A está infectado com algum vírus; consequentemente, o computador B ou o computador C está infectado com o mesmo vírus. Se o computador C estiver infectado, então os computadores D e E também estarão infectados com o mesmo vírus. Cada computador pode ser infectado isoladamente e todas as manhãs, antes de serem disponibilizados para a utilização pública, os cinco computadores são submetidos a software antivírus que os limpa de qualquer infecção por vírus.

Considerando a situação hipotética acima e desconsiderando questões técnicas relativas à proteção e segurança de redes, julgue os itens a seguir.

Se, em determinado dia: 50% das pessoas que utilizarem o computador A também utilizarem o computador B; o computador A for utilizado por 12 usuários a mais que o computador B; e a soma de usuários de A ou B totalizar 84 usuários, então, nesse dia, o computador B será utilizado por mais de 50 usuários.

Considere verdadeiras as seguintes afirmações:

• Se vou ao clube, então não almoço em casa.

• Todo domingo vou ao clube.

Pode‐se concluir que:

Ser síndico não é fácil. Além das cobranças de uns e da inadimplência de outros, ele está sujeito a passar por desonesto. A esse respeito, um ex-síndico formulou as seguintes proposições: — Se o síndico troca de carro ou reforma seu apartamento, dizem que ele usou dinheiro do condomínio em benefício próprio. (P₁) — Se dizem que o síndico usou dinheiro do condomínio em benefício próprio, ele fica com fama de desonesto. (P₂) — Logo, se você quiser manter sua fama de honesto, não queira ser síndico. (P₃)

Com referência às proposições P₁, P₂ e P₃ acima, julgue os itens a seguir.

A partir das premissas P₁ e P₂, é correto concluir que a proposição “Se o síndico ficou com fama de desonesto, então ele trocou de carro” é verdadeira.

Julgue os itens que se seguem, a respeito de estruturas lógicas.