Considerando que P e Q sejam proposições simples, julgue o item que se segue.
A proposição composta 
é uma tautologia.
Com relação à lógica proposicional, julgue os itens que se seguem, considerando que P e Q sejam proposições adequadas.
Um argumento lógico válido é uma sequência de proposições, em que algumas são denominadas premissas e são verdadeiras e as demais, denominadas conclusões, são verdadeiras por consequência das premissas. Considere as seguintes premissas:
< Algumas auditorias cometem erros.
< Existem erros aceitáveis e outros, não aceitáveis.
< Não é aceitável um erro que cause prejuízo aos cofres públicos.
Com base nessas premissas, julgue os itens subsequentes, relativos a argumento lógico válido.
O argumento constituído das premissas acima e da conclusão %u201CSe uma auditoria cometeu erro e não houve prejuízo aos cofres públicos, então o erro é aceitável%u201D é um argumento lógico válido.Um argumento lógico válido é uma sequência de proposições, em que algumas são denominadas premissas e são verdadeiras e as demais, denominadas conclusões, são verdadeiras por consequência das premissas. Considere as seguintes premissas:
< Algumas auditorias cometem erros.
< Existem erros aceitáveis e outros, não aceitáveis.
< Não é aceitável um erro que cause prejuízo aos cofres públicos.
Com base nessas premissas, julgue os itens subsequentes, relativos a argumento lógico válido.
O argumento constituído das premissas acima e da conclusão “Se o erro não é aceitável, então houve prejuízo aos cofres públicos” é um argumento lógico válido.Na auditoria de uma empresa, o auditor concluiu que: “Ocorreu desvio de recursos se, e somente se, o gerente financeiro e o presidente da empresa estiveram envolvidos nesse desvio”.
Considerando que a conclusão do auditor corresponde a uma proposição verdadeira, julgue os itens seguintes.
A proposição “Não ocorreu desvio se, e somente se nem o gerente financeiro nem o presidente estiveram envolvidos” é verdadeira.Na auditoria de uma empresa, o auditor concluiu que: “Ocorreu desvio de recursos se, e somente se, o gerente financeiro e o presidente da empresa estiveram envolvidos nesse desvio”.
Considerando que a conclusão do auditor corresponde a uma proposição verdadeira, julgue os itens seguintes.
A proposição “Se o gerente financeiro esteve envolvido no desvio mas o presidente não, então não ocorreu desvio de recursos” é verdadeira.Na auditoria de uma empresa, o auditor concluiu que: “Ocorreu desvio de recursos se, e somente se, o gerente financeiro e o presidente da empresa estiveram envolvidos nesse desvio”.
Considerando que a conclusão do auditor corresponde a uma proposição verdadeira, julgue os itens seguintes.
Um argumento constituído por uma sequência de três proposições — P1, P2 e P3, em que P1 e P2 são as premissas e P3 é a conclusão — é considerado válido se, a partir das premissas P1 e P2, assumidas como verdadeiras, obtém-se a conclusão P3, também verdadeira por consequência lógica das premissas. A respeito das formas válidas de argumentos, julgue os próximos itens.
Se as premissas P1 e P2 de um argumento forem dadas, respectivamente, por “Todos os leões são pardos” e “Existem gatos que são pardos”, e a sua conclusão P3 for dada por “Existem gatos que são leões”, então essa sequência de proposições constituirá um argumento válido.
Argumento é a afirmação de que uma sequência de proposições, denominadas premissas, acarreta outra proposição, denominada conclusão. Um argumento é válido quando a conclusão é verdadeira sempre que as premissas são todas verdadeiras.
— Vou cortar o cabelo hoje, disse Joelson.
— Não é preciso, pois seu cabelo está curto, retrucou Rute.
— É que hoje vou a uma festa, vou procurar uma namorada, explicou Joelson.
— Meu marido está com o cabelo enorme, mas não quer cortálo, disse Rute.
— Ele já é casado, não precisa cortar o cabelo, concluiu Joelson.
Com base no fragmento de texto e no diálogo acima apresentados, julgue os itens que se seguem....
Diz-se que as proposições P e Q são logicamente equivalentes quando possuem tabelas-verdade idênticas, de modo que tais proposições assumem os mesmos valores lógicos em função de suas proposições representa uma forma de expressar uma mesma afirmação de diferentes maneiras. Considerando essas informações, julgue os próximos itens.
As proposições
são logicamente equivalentes.
