Lógica Tautologia Identidade

+ ___ – pontos) –Analise as expressões lógicas abaixo e assinale a alternativa correta: a) ((A ↔ B) v (¬A → B)) v A b) (¬(A v ¬B) ∧ A) ∧ (A ↔ B) c) ((A ∨ B → C) ∧ (C → A)) → (¬C → ¬A) Marque a alternativa correta: ( X ) a - Tautologia, b - Contradição, c – Contingência ( ) a - Tautologia, c - Contradição, b - Contingência ( ) b - Tautologia, a - Contradição, c - Contingência ( ) b - Tautologia, c - Contradição, a - Contingência ( ) c - Tautologia, b - Contradição, a –…

A Lógica Matemática 1 - INTRODUÇÃO A Lógica Matemática, em síntese, pode ser considerada como a ciência do raciocínio e da demonstração. Este importante ramo da Matemática desenvolveu-se no século XIX, sobretudo através das idéias de George Boole , matemático inglês (1815 - 1864), criador da Álgebra Booleana, que utiliza símbolos e operações algébricas para representar proposições e suas interrelações. As idéias de Boole tornaram-se a base da Lógica Simbólica, cuja aplicação…

Textual Interdisciplinar – Individual apresentado à Universidade Norte do Paraná – UNOPAR, como requisito parcial para obtenção de média semestral nas disciplinas de Educação a Distância, Fundamentos da Administração da Informação, Fundamentos de Lógica e Matemática Discreta, Organização de Computadores e Linguagem e Técnicas de Programação I. Orientador Prof. Kaue Duarte. Pelotas/RS 2012 “Tenho a impressão de ter sido uma criança…

a PROPRIEDADE DA IDEMPOTÊNCIA demonstra que: A p ^ p p pois são idênticos Você acertou! Slide 5/11 apresenta que p ^ p são idênticos, comprovado pela Tabela Verdade B p v p q pois são diferentes C p ^ p q pois tem valores diferentes D p ^ p ~ p pois são tautologias Questão 3/10 No conteúdo de ÁLGEBRA DAS PROPOSIÇÕES ministrado na aula 4, a PROPRIEDADE DA COMUTATIVIDADE demonstra que: A p ^ q q ^ p Você acertou! A Tabela Verdade da proposição demonstra que…

Lógica Formal Objetivos do Capítulo Após estudar este capítulo, o leitor deve ser capaz de: • Reconhecer e trabalhar com os símbolos formais que são usados nas lógicas proposicional e de predicados • Achar o valor-verdade de uma expressão na lógica proposicional • Achar o valor-verdade de alguma interpretação de uma expressão na lógica de predicados • Usar a lógica de predicados para representar sentenças da língua portuguesa • Construir demonstrações formais nas lógicas…

Notas de aula de Lógica Matemática Curso: Sistema de Informação Capítulo I – Proposições e Conectivos 1. Proposição Def.: Chama-se sentença ou proposição todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. As proposições são geralmente representadas por letras minúsculas p, q, r, s... A Lógica Matemática adota como regras fundamentais os dois seguintes princípios (ou axiomas): Princípio da não contradição: uma proposição não pode ser

formadas a partir das proposições simples p e q: p: Dilma é presidente. q: Ronaldinho voltou para o Brasil. Se Dilma é presidente, então Ronaldinho voltou para o Brasil. Dilma é presidente ou Ronaldinho não voltou para o Brasil. Em linguagem lógica, podemos escrever as sentenças acima, respectivamente: a) p -> q e p v ~q b) p -> q e ~(p ^q) c) p v q e ~(p ^ q) d) p v q e ~(p ^ q) e) p v q e p ^~q Resposta letra a 5 (Prf. Chiaveli) Marque V para verdadeiro e F para…

CURSO TADS-EAD: Fundamentos da Informação Trabalho apresentado ao Curso de Tecnologia em Análise e Desenvolvimento de Sistemas da UNOPAR – Universidade Norte do Paraná, para as disciplias Fundamentos de Administração da Informação, Fundamentos de Lógica e Matemática Discreta e Organização de Computadores. Orientador: Prof. Marco Hisatomi, Merris Mozer e Adriane Loper. Itabuna 2012 SUMÁRIO 1 INTRODUÇÃO ____________________________________________________________ 3 2…

Lista de Exercícios - Parte: Lógica e Teoria de Conjuntos 1- i) Sejam as seguintes proposições: p: “todos gostam de matemática” q: “Não existe povo ateu ”; r: “ Todo mundo foi tirou nota vermelha na prova de Lógica ” ii)- p: “27 -1 é um número primo” q: “(-2)3 + 5 = 13 ”; r: “ 125 é divisível por 25 ” Determine o valor lógico da proposição a) ( p’ ∧ q ↔ r )’ ; b) p’ ∧ q → r; c): ( p ∨ r ↔ q ) ⇔ ( p ∨ q) ∧ ( p → q). b) determine os valores lógicos das proposições p e q ,…

Aprofundando o conhecimento Trabalho apresentado ao Curso de Análise e Desenvolvimento de Sistemas da UNOPAR - Universidade Norte do Paraná, para a disciplina Fundamentos da Administração da Informação. Fundamentos de Lógica e Matemática Discreta. Organização de Computadores. Linguagens e Técnicas de Programação um. Professora: Adriane Loper Professor: Everson Morais. Professor: Marco Hisatomi. Professor: Merris Mozer. Professora: Veronice de Freitas.