Prévia do material em texto
Gestão da Tecnologia da Informação Nome: Renato Cesar Avila Martins Matricula: 2025037280 1. Tabela Verdade para Conjunção (AND – E) Construção da tabela verdade para as proposições P e Q: P (Hoje é segunda-feira) Q (Está chovendo) P AND Q V V V V F F F V F F F F Análise da Tabela Verdade para a Conjunção (AND – E) A tabela verdade apresentada representa a operação lógica conjunção (AND), que resulta em verdadeiro (V) somente quando ambas as proposições são verdadeiras. Vamos analisar cada linha da tabela: 1. Primeira linha (P = V, Q = V, P AND Q = V) o Se "Hoje é segunda-feira" (Verdadeiro) e "Está chovendo" (Verdadeiro), então a conjunção "Hoje é segunda-feira E está chovendo" também é Verdadeira. 2. Segunda linha (P = V, Q = F, P AND Q = F) o Se "Hoje é segunda-feira" (Verdadeiro), mas "Está chovendo" (Falso), então a conjunção "Hoje é segunda-feira E está chovendo" é Falsa, pois uma das condições não foi atendida. 3. Terceira linha (P = F, Q = V, P AND Q = F) o Se "Hoje é segunda-feira" (Falso), mas "Está chovendo" (Verdadeiro), a conjunção também é Falsa, pois pelo menos uma das proposições é falsa. 4. Quarta linha (P = F, Q = F, P AND Q = F) o Se ambas as proposições são Falsas, então a conjunção "Hoje é segunda- feira E está chovendo" também será Falsa. Conclusão A operação lógica AND (E) exige que ambas as proposições sejam verdadeiras para que o resultado seja verdadeiro. Em qualquer outra situação, onde pelo menos uma proposição for falsa, o resultado será falso. Isso é útil para representar condições que precisam ser atendidas simultaneamente em programação, eletrônica digital, matemática e outras áreas da lógica. 2. Tabela Verdade para Disjunção (OR – OU) Construção da tabela verdade para as proposições R e S: R (A luz está acesa) S (A porta está aberta) R OR S V V V V F V F V V F F F Análise da Tabela Verdade da Disjunção (OR – OU) A operação lógica disjunção (OR - OU), representada pelo símbolo "∨", retorna Verdadeiro (V) sempre que pelo menos uma das proposições envolvidas for verdadeira. A única situação em que o resultado será Falso (F) ocorre quando ambas as proposições são falsas. 1. Primeira linha: o R = V (A luz está acesa) o S = V (A porta está aberta) o R ∨ S = V (Pelo menos uma das afirmações é verdadeira, logo o resultado é verdadeiro) 2. Segunda linha: o R = V (A luz está acesa) o S = F (A porta está fechada) o R ∨ S = V (Como a luz está acesa, o resultado é verdadeiro, pois basta uma proposição verdadeira para que a disjunção seja verdadeira) 3. Terceira linha: o R = F (A luz está apagada) o S = V (A porta está aberta) o R ∨ S = V (A porta está aberta, então a disjunção é verdadeira) 4. Quarta linha: o R = F (A luz está apagada) o S = F (A porta está fechada) o R ∨ S = F (Aqui, ambas as proposições são falsas, então a disjunção também é falsa) Conclusão A disjunção lógica R ∨ S representa uma escolha inclusiva: basta que pelo menos uma das proposições seja verdadeira para que o resultado final seja verdadeiro. Isso significa que, na prática, a disjunção pode ser usada para representar situações onde qualquer uma das condições satisfaz um critério. 3. Tabela Verdade para Negação Construção da tabela verdade para a proposição T: T (O céu está limpo) NOT T V F F V Análise da Tabela-Verdade para a Negação (¬T) A negação de uma proposição lógica simplesmente inverte seu valor de verdade. Vamos analisar cada linha da tabela: 1. Se T for verdadeiro (V) → Sua negação ¬T será falsa (F). o Exemplo: Se a afirmação "O céu está limpo" for verdadeira, então sua negação "O céu não está limpo" será falsa. 2. Se T for falso (F) → Sua negação ¬T será verdadeira (V). o Exemplo: Se a afirmação "O céu está limpo" for falsa (ou seja, o céu não está limpo), então a negação "O céu não está limpo" será verdadeira. Conclusão A operação de negação sempre troca verdadeiro por falso e vice-versa. Isso é útil em lógica e programação, pois permite inverter condições e criar novas expressões baseadas em proposições existentes. 4. Aplicação das Leis de De Morgan Construção da tabela verdade para as proposições U e V: U (O computador está ligado) V (A internet está conectada) NOT (U AND V) NOT U OR NOT V V V F F V F V V F V V V F F V V Análise e Conclusão sobre as Leis de De Morgan A tabela verdade construída confirma a validade da primeira Lei de De Morgan, que afirma que a negação de uma conjunção (U∧VU \wedge VU∧V) é logicamente equivalente à disjunção das negações (¬U∨¬V\neg U \vee \neg V¬U∨¬V). 1. As colunas ¬(U∧V)\neg (U \wedge V)¬(U∧V) e ¬U∨¬V\neg U \vee \neg V¬U∨¬V possuem os mesmos valores em todas as linhas. Isso demonstra que ambas expressões são logicamente equivalentes. 2. Essa equivalência é fundamental em lógica booleana, circuitos digitais e programação, permi ndo simplificar expressões e facilitar a resolução de problemas lógicos. 3. Na prá ca, isso significa que dizer "não é verdade que o computador está ligado e a internet conectada" é exatamente o mesmo que dizer "o computador não está ligado ou a internet não está conectada". 4. Conclusão A aplicação da Lei de De Morgan foi validada corretamente pela tabela verdade. Isso mostra que, em lógica proposicional, negar uma conjunção pode ser reescrito como a disjunção das negações, o que facilita a manipulação de expressões lógicas. Essa propriedade é essencial para diversas áreas da computação, como otimização de circuitos e simplificação de expressões em programação. 5. Identificação de Tautologia, Contradição e Contingência Construção das tabelas verdade para as proposições compostas: Tautologia (Sempre Verdadeiro): P NOT P P OR NOT P V F V F V V Análise: A proposição P OR NOT P é uma tautologia porque, independentemente de P ser verdadeira (V) ou falsa (F), a expressão P OR NOT P sempre será verdadeira (V). Isso ocorre porque uma proposição e sua negação (NOT P) não podem ser ambas falsas ao mesmo tempo. Portanto, sempre haverá uma das proposições (P ou NOT P) que será verdadeira, tornando a disjunção (OR) verdadeira. Conclusão: P OR NOT P é uma tautologia porque é sempre verdadeira, independentemente do valor de P. Contradição (Sempre Falso): P NOT P P AND NOT P V F F F V F Análise: A proposição P AND NOT P é uma contradição porque, independentemente de P ser verdadeira (V) ou falsa (F), a expressão P AND NOT P sempre será falsa (F). Isso acontece porque, ao fazer a conjunção (AND) entre P e NOT P, sempre uma das proposições será falsa. Uma proposição e sua negação não podem ser verdadeiras ao mesmo tempo, e a conjunção só será verdadeira se ambas forem verdadeiras. Conclusão: P AND NOT P é uma contradição porque é sempre falsa, independentemente do valor de P. Contingência (Pode ser Verdadeiro ou Falso): P Q R P OR Q NOT Q OR R (P OR Q) AND (NOT Q OR R) V V V V V V V V F V F F V F V V V V V F F V V V F V V V V V F V F V F F F F V F V F F F F F V F Análise: A expressão (P OR Q) AND (NOT Q OR R) é uma contingência, pois seu valor de verdade depende dos valores das proposições P, Q, e R. Em alguns casos, ela será verdadeira (V), e em outros, falsa (F). Isso acontece porque a proposição envolve uma conjunção entre duas disjunções, e o valor da expressão vai variar conforme os valores atribuídos às proposições envolvidas. Conclusão: (P OR Q) AND (NOT Q OR R) é uma contingência porque pode ser verdadeira ou falsa dependendo dos valores das proposições P, Q, e R.