Foram encontradas 120 questões.
A proposição X∧Z→Y é verdadeira.
Provas
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.
Alguma versão do sistema operacional Windows pode ser do tipo Linux.
Provas
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.
Provas
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.
É possível inferir que o sistema operacional MacOS Leopard é uma versão de Microsoft Windows.
Provas
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 proposição [P∧(~Q)]↔[R∨(~P)] é corretamente descrita como: “Todo sistema operacional Linux é um Unix e o sistema operacional MacOs Leopard não é um tipo de Unix se, e somente se, nenhuma versão do sistema operacional Microsoft Windows é um Unix ou algum sistema operacional Linux não é Unix”.
Provas
Considerando que o símbolo lógico ∧ corresponda à conjunção “e”; ∨ , à disjunção “ou”;➝ , à condicional “se..., então”; ↔, à bicondicional “se, e somente se”; ~ corresponda à negação “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P∧~(Q∨R)]➝[R∧(P↔Q)], julgue o próximo item.
Se P for uma proposição verdadeira e se Q e R forem falsas, então as proposições S e [P➝(Q∨R)]∧(P↔Q) terão valores lógicos diferentes.
Provas
Considerando que o símbolo lógico ∧ corresponda à conjunção “e”; ∨ , à disjunção “ou”;➝ , à condicional “se..., então”; ↔, à bicondicional “se, e somente se”; ~ corresponda à negação “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P∧~(Q∨R)]➝[R∧(P↔Q)], julgue o próximo item.
A negação de S – ~S – pode ser corretamente expressa por [~P∨(Q∨R)]∧[(~R)∨~(P↔Q)].
Provas
Considerando que o símbolo lógico ∧ corresponda à conjunção “e”; ∨ , à disjunção “ou”;➝ , à condicional “se..., então”; ↔, à bicondicional “se, e somente se”; ~ corresponda à negação “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P∧~(Q∨R)]➝[R∧(P↔Q)], julgue o próximo item.
Se Q for uma proposição verdadeira, então, independentemente dos valores lógicos de P e R, a proposição S será sempre verdadeira.
Provas
Provas
Provas
Caderno Container