SóProvas


ID
4990681
Banca
CESPE / CEBRASPE
Órgão
SERPRO
Ano
2013
Provas
Disciplina
Raciocínio Lógico
Assuntos

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 o item seguinte, 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.

Alternativas
Comentários
  • Assertiva C

    P e Q, é possível inferir que o sistema operacional MacOs Leopard pode ser um Linux.

  • O conjunto S.O. Linux está contido no conjunto Unix. Mas o conjunto MacOS não está contido necessariamente em S.O. Linux, estando contido em alguma parte do conjunto Unix. Logo ele pode ser ou não um Linux, já que isso é indeterminado.

    Gabarito: Certo

  • http://sketchtoy.com/69466884

    Pra uma melhor visualização caso não entenda o comentário do Igor Teixeira

  • Gabarito: Certo

    P: Todo sistema operacional Linux é um tipo de Unix. = O Linux está dentro do conjunto Unix

    Q: O sistema operacional MacOS Leopard é um tipo de Unix. = Há uma intersecção entre os conjuntos Unix e MacOS Leopard, essa intersecção pode ou não abranger o Linux.

    Portanto, como há sim a possibilidade, pode-se dizer que o sistema operacional MacOs Leopard pode ser um Linux.

  • O segredo da frase (oração) é: "pode ser"

    Gabarito: Certo

  • GABARITO: CERTO

    Não é necessário fazer os desenhos, basta pensar dessa maneira, olha:

    Lembrando que as proposições são VERDADEIRAS:

    P: Todo sistema operacional Linux é um tipo de Unix.

    Q: O sistema operacional MacOS Leopard é um tipo de Unix.

    Assertiva: é possível inferir que o sistema operacional MacOs Leopard pode ser um Linux.

    Ora, se todo sistema operacional Linux é um tipo de Unix e o sistema operacional MacOS Leopard é um tipo de Unix, obviamente ele será um tipo de Linux.

    Não pare até que tenha terminado aquilo que começou. - Baltasar Gracián.

    -Tu não pode desistir.

  • G-C

    Em questões com proposições categóricas fazer os desenhos é sempre uma ótima opção.

    O ponto da questão é a sentido de possibilidade que o exterminador coloca nela através dos termos: pode ser.

  • O que não fez sentido pra mim, foi o fato do sistema operacional levar dois nomes, se ele é um, ele nao é outro. Acabei errando por conta desse raciocínio.

  • Se todo S.O Linux é tipo unix, então todo o Linux está inserido (contido) dentro do unix. Se o S.O MacOs é um tipo unix, então ele também está inserido dentro do unix. Ele PODE ser linux? Sim, pode ser que ele esteja dentro da parte do linux, ou fora. Gab. CERTO

  • O que eu entendi --> http://sketchtoy.com/69524202

  • P: Todo sistema operacional Linux é um tipo de Unix.

    O sistema operacional MacOS Leopard é um tipo de Unix

    Conclusão: é possível inferir que o sistema operacional MacOs Leopard pode ser um Linux.

    Negação do ''TODO'' É, '' Pelos menos um, ou Existe a possibilidade. Logo; ''Pode ser'' é uma hipótese

  • Entendi da seguinte forma:

    ele disse que P^Q são verdadeiras.

    LOGO: V^V = V

  • Cadê os comentários dos professores?

  • FIZ POR DIAGRAMA E ME LASQUE!!!

  • A questão está correta pois afirma uma POSSIBILIDADE, não afirma que É!

    P: Todo sistema operacional Linux é um tipo de Unix.

    Q: O sistema operacional MacOS Leopard é um tipo de Unix.

    A partir da veracidade das proposições P e Q, é possível inferir que o sistema operacional MacOs Leopard pode ser um Linux.

  • Espero que no dia da prova eu não leia o IMPOSSIVEL que eu li

  • P ^ Q

    v ^ V = V

  • P ^ Q

    v ^ V = V

  • P^Q = V

  • Considerando P e Q VERDADEIRO temos o seguinte:

    P ^ Q

    V ^ V = V

  • A partir da VERACIDADE das proposições:

    P = verdadeiro

    Q = verdadeiro

    (P ^ Q) = ^ TUDO V DA V

    Espero estar certo e ajudar quem me ajuda, abraço.

  • Atenção para o comando "pode ser", isso porque não necessariamente tenha que ser Linux. Vejam:

    Todo sistema operacional Linux é um tipo de Unix

    A estrutura categórica é do tipo universal positiva "Todo S é P", ou seja, Tudo que está em S também está em P, mas o o contrário não é verdadeiro. É por isso que a questão está correta ao falar que "pode ser", pois o sistema operacional MacOS poderia ser tanto um tipo de Linux (S) quanto apenas Unix (P).