Julgue os itens que se seguem, acerca de tautologia, proposições e operações com conjuntos.
No ambiente de trabalho, é comum se ouvir o seguinte dito popular: “Quem trabalha pouco erra pouco. Quem não trabalha não erra. Quem não erra é promovido. Logo, quem não trabalha é promovido.” Com relação ao argumento desse dito popular, julgue os itens que se seguem.
Do ponto de vista lógico, o argumento apresentado no dito popular é válido.
A partir dessas informações, julgue os itens os itens subsequentes.
Considere que um delegado, quando foi interrogar Carlos e José, já sabia que, na quadrilha à qual estes pertenciam, os comparsas ou falavam sempre a verdade ou sempre mentiam. Considere, ainda, que, no interrogatório, Carlos disse: José só fala a verdade, e José disse: Carlos e eu somos de tipos opostos. Nesse caso, com base nessas declarações e na regra da contradição, seria correto o delegado concluir que Carlos e José mentiram.
Entre as opções abaixo, qual exemplifica uma contradição formal?
Julgue os itens que se seguem, acerca de proposições e seus valores lógicos.
A proposição 
é uma tautologia.
Considere as proposições a seguir:
P1: "5 não é par";
P2: "5 é um número ímpar";
P3: "5 é um número primo";
P4: "Todo número ímpar é primo".
Com base nessas informações, julgue os itens seguintes.
P1 ⇒ P2 é uma contradição.
Qual das alternativas a seguir apresenta uma contradição?
Uma proposição é uma sentença que pode ser julgada verdadeira (V) ou falsa (F). As proposições são normalmente representadas pelas letras maiúsculas A, B, C etc. A partir de proposições dadas, podem-se construir novas proposições compostas, mediante o emprego de símbolos lógicos chamados conectivos: "e", indicado pelo símbolo lógico v, e "ou", indicado pelo símbolo lógico w. Usa-se o modificador "não", representado pelo símbolo lógico ¬, para produzir a negação de uma proposição; podese, também, construir novas proposições mediante o uso do condicional "se A então B", representado por A6B. O julgamento de uma proposição lógica composta depende do julgamento que se faz de suas proposições componentes....
As proposições simples são freqüentemente simbolizadas por letras maiúsculas do alfabeto, e as proposições compostas são conexões de proposições simples.
Uma expressão da forma A
B é uma proposição composta que tem valor lógico V quando A e B forem ambas V e, nos demais casos, será F, e é lida "A e B".
A expressão ¬A, "não A", tem valor lógico F se A for V, e valor lógico V se A for F.
A expressão A V B, lida como "A ou B", tem valor lógico F se ambas as proposições A e B forem F; nos demais casos, é V.
A expressão - tem valor lógico F se A fo...
