Considere como verdadeiras as seguintes proposições:
I - Se A, então B.
II - Se B, então A.
Em relação às condicionais A e B, é correto afirmar:
Considere como verdadeiras as seguintes proposições:
I - Se A, então B.
II - Se B, então A.
Em relação às condicionais A e B, é correto afirmar:
Sejam r e s proposições lógicas simples, analise as afirmações abaixo.

Das afirmações acima, qual(is) está(ão) correta(s)?
Considere que proposições P, Q e R, listadas abaixo, sejam verdadeiras.
P: Todo sistema operacional Linux é um tipo de Unix.
Q: O sistema operacional MacOS Leopard é um tipo de Unix.
R: Nenhuma versão do sistema operacional Microsoft Windows é do tipo Unix.
Julgue os itens seguintes, tendo como referência as proposições P, Q e R.
A partir da veracidade das proposições P e Q, é possível inferir que o sistema operacional MacOs Leopard pode ser um Linux.