Implicacoes E Equivalencias Logicas

Módulo II – Conceitos Iniciais de Lógica Nesse 2º módulo, iremos começar a falar do Raciocínio Lógico propriamente dito! Falaremos de proposições, seus conectivos, tabela-verdade, equivalência e negação de proposições, dentre outros assuntos. Como já fizemos no Módulo I, vamos colocar para vocês como as bancas gostam de cobrar esse assunto nos seus conteúdos programáticos. Aqui, vale a pena citar a banca. Vocês vão ver que muitos tópicos são repetidos. Cespe: Lógica sentencial (ou…

PROFESSOR CASTANHEIRA E−MAIL: lccs1701@yahoo.com EQUIVALÊNCIAS LÓGICAS Duas proposições, p e q, são ditas equivalentes, em símbolos p ⇔ q, quando possuem tabelas-verdade idênticas (idênticas no sentido de idênticas, exceto talvez pela última entrada da primeira linha). Dizer que duas proposições, p e q, são equivalentes (p ⇔ q), é o mesmo que dizer que elas sempre assumem o mesmo valor lógico, que é o mesmo que dizer que a bicondicional lógica p ↔ q é sempre verdadeira. Cabe notar a…

LÓGICA Unidade II 4 RELAÇÕES DE IMPLICAÇÃO E EQUIVALÊNCIA 4.1 Implicação lógica São proposições simples em que p implica logicamente a proposição simples q se, e somente se cada atribuição de valores lógicos que torna p verdadeira também torna q verdadeira. Sendo assim: 5 • p implica logicamente p; • p implica logicamente p ∨ q. Sempre que p for verdadeira, p ∨ q também será verdade; • p ∧ q implica logicamente p. Teorema: p implica logicamente q se, e somente se p → q for uma tautologia.

Apostila da Disciplina de Lógica Prof. João Carlos Gluz São Leopoldo, março de 2009 UNISINOS Lógica Apostila 1 Sumário CAPÍTULO 1 LÓGICA PROPOSICIONAL.....................................................................................................................1 1.1. PROPOSIÇÕES E OPERADORES LÓGICOS......................................................................................................1 1.2. IMPLICAÇÃO MATERIAL E EQUIVALÊNCIA…

Rodrigues RA: 13018525 Turma: 1PNA-RC Professor: Jefferson Ricart Pezeta Estudo Dirigido de Lógica Matemática AULA 4 Desenvolver os Exercícios da Aula 4: 1-(a,d); 2-(a,c,e,f,i); 3-(c); 4; 5-(b,c) 1. Verifique se as proposições a seguir são equivalências tautológicas. a) (p →q) ↔ ((p ˅ r) →q) RESPOSTA: A proposição (p →q) ↔ ((p ˅ r) →q) não é uma equivalência tautológica. p q r p ˅ r (p ˅ r) →q p →q (p →q) ↔ ((p ˅ r) →q) V V V V V V V V …

Profa Msc. Helaine Sousa  O que é Lógica? O modo de pensar corretamente.  Proposição? é uma frase declarativa, à qual pode ser atribuído, um dos valores lógicos: verdadeiro (V) ou falso (F).  Simples  Composta  Conectivos Lógicos (ou operadores lógicos)? são palavras ou expressões usadas para formar novas proposições a partir de proposições.  Tabela Verdade? descreve os valores lógicos de uma proposição em termos das possíveis combinações dos valores lógicos das proposições e…

Disciplina: Lógica Matemática Prof. Etelvira Leite A lógica matemática (ou lógica simbólica), trata do estudo das proposições, as quais devem satisfazer aos dois princípios fundamentais seguintes: Princípio da não contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo. (i) Princípio do terceiro excluído: uma proposição ou é verdadeira ou é falsa, não havendo outra alternativa. (ii) Lógica Matemática Chama-se proposição, sentenças declarativas afirmativas da qual…

verdadeira. Nestas condições, escreve-se que P (p, q, r....)  Q (p, q, r, ...), que se lê: P implica em Q. Quais são as regras de Implicação? R= lógica entre duas dadas fórmulas proposicionais quando nas respectivas tabelasverdades, linha a linha nas colunas resultado, não concorre simultaneamente em verdade-falsidade, nesta ordem. O que é Equivalência? R= Dadas as fórmulas proposicionais P (p, q, r, ..., p1, ..., pn) diz-se que todas as fórmulas são logicamente equivalentes se, e…

um plano são paralelas ou incidentes. 4. Se Pedro estuda, então tem êxito na escola. 5. Vou ao cinema se e somente se conseguir dinheiro. Na lógica, restringimo-nos a uma classe de proposições, que são as declarativas e que só aceitam dois valores: verdadeiro(V) ou falso (F), um excluindo o outro. A lógica matemática adota como regras fundamentais os dois seguintes princípios ou axiomas: ( I ) PRINCÍPIO DA NÃO CONTRADIÇÃO: uma proposição não pode ser…

Guaíba Curso de Engenharia em Sistemas Digitais Apostila da Disciplina de Lógica para Computação Prof. João Carlos Gluz Guaíba, 2003 UERGS Lógica para Computação Apostila 1 Sumário CAPÍTULO 1 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 1.7. PROPOSIÇÕES E OPERADORES LÓGICOS .....................................................................................1 IMPLICAÇÃO MATERIAL E EQUIVALÊNCIA LÓGICA…