1) A construção correta de tabelas verdade segue procedimentos padronizados que garantem a análise completa de expressões lógicas. O processo sistemático de preenchimento dessas tabelas permite identificar propriedades importantes das fórmulas, como tautologias, contradições e contingências. Uma fórmula que apresenta apenas valores verdadeiros em todas as linhas de sua tabela verdade é classificada como: Alternativas: a) Implicação b) Contingência c) Contradição d) Tautologia Alternativa assinalada e) Equivalência 2) A aplicação da lógica formal em sistemas computacionais envolve a tradução de regras de negócio complexas em expressões lógicas que possam ser processadas algoritmicamente. Esse processo requer compreensão profunda tanto dos conectivos lógicos quanto da ordem de precedência dos operadores, além da capacidade de estruturar condições compostas usando parênteses adequadamente. Uma empresa de e-commerce precisa implementar as seguintes regras para classificar clientes VIP: "O cliente deve ter mais de 25 anos E (ter gasto mais de R$ 1000,00 OU ter mais de 20 compras) E NÃO estar inadimplente." Analise as afirmativas sobre a implementação desta regra: I. A fórmula lógica correta é: (idade > 25) Λ ((gasto > 1000) U (compras > 20)) Λ ¬inadimplente. II. Um cliente de 30 anos, com R$ 800,00 gastos, 25 compras e sem inadimplência seria classificado como VIP. III. A precedência dos operadores permite omitir os parênteses internos: idade > 25 Λ gasto > 1000 U compras > 20 Λ ¬inadimplente. IV. A construção da tabela verdade desta fórmula requer 8 linhas para contemplar todas as combinações possíveis das 3 proposições básicas. Com base no contexto apresentado, é correto APENAS o que se afirma em: Alternativas: a) I e II. Alternativa assinalada b) I, II e IV. c) I, III e IV. d) II, III e IV. e) I, II, III e IV. 3) A tabela verdade é uma ferramenta fundamental para análise de proposições lógicas, permitindo verificar todas as combinações possíveis de valores de verdade para as variáveis envolvidas. Esta metodologia sistemática é essencial para compreender o comportamento de conectivos lógicos e validar argumentos em diferentes contextos. Em uma tabela verdade para duas proposições P e Q, quantas linhas são necessárias para representar todas as combinações possíveis? Alternativas: a) 2 linhas b) 3 linhas c) 4 linhas Alternativa assinalada d) 6 linhas e) 8 linhas 4) A construção de demonstrações lógicas requer a aplicação sistemática de regras de equivalência e inferência. O processo envolve a identificação de hipóteses, a aplicação apropriada das regras disponíveis e a construção de uma sequência válida de passos que conduza à conclusão desejada, demonstrando assim a validade do argumento proposto. Considere o argumento: "Se Paulo estuda, então ele passa no exame. Se Paulo não joga futebol, então ele estuda. Paulo não passou no exame. Portanto, Paulo jogou futebol." Analise as afirmativas sobre a demonstração deste argumento: I. A forma simbólica do argumento é (P → Q) Λ (¬R → P) Λ ¬Q → R. II. A primeira regra aplicada deve ser Modus Tollens entre as hipóteses 1 e 3. III. A segunda aplicação de regra será Modus Tollens entre o resultado anterior e a hipótese 2. IV. O argumento pode ser demonstrado usando apenas regras de equivalência. Com base no contexto apresentado, é correto APENAS o que se afirma em: Alternativas: a) I e II. b) II e III. Alternativa assinalada c) I, II e III. d) I, II e IV. e) I, II, III e IV. 5) Os conectivos lógicos apresentam comportamentos específicos que podem ser analisados através de tabelas verdade. O conhecimento desses padrões é fundamental para a construção de argumentos válidos e para a compreensão de como diferentes operações lógicas interagem entre si. Na conjunção entre duas proposições P e Q, o resultado será verdadeiro quando: Alternativas: a) Ambas as proposições forem falsas b) Pelo menos uma das proposições for verdadeira c) Ambas as proposições forem verdadeiras Alternativa assinalada d) Apenas uma das proposições for verdadeira e) Uma proposição for verdadeira e a outra falsa