n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.

Tamanho: px
Começar a partir da página:

Download "n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas."

Transcrição

1 n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição P (p, q, r, ) é logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas. Se as proposições P (p, q, r, ) e Q (p, q, r, ) são ambas tautologias, ou ambas contradições, então são equivalentes. Notação para indicar equivalência lógica, símbolo: Ou P Q P (p, q, r, ) Q (p, q, r, ) De maneira menos formal também encontramos a representação simbólica de uma equivalência por: P = Q. A relação de equivalência nos permite verificar quando duas proposições (simples ou compostas) são equivalentes, ou seja, quando estas proposições têm sempre valor lógico igual. Exemplos de contradições: p ~p p ~p F F F F

2 p q p q ~(p q) p q ~(p q) (p q) F F F F F F F F F F F F F F F Tautologia e equivalência Lógica Teorema: A proposição P (p, q, r, ) é equivalente a proposição Q (p, q, r, ), ou seja: P (p, q, r, ) Q (p, q, r, ) se e somente se a bicondicional: P (p, q, r, ) Q (p, q, r, ) for tautológica. Portanto, a toda equivalência lógica corresponde uma bicondicional tautológica, e vice-versa. Para verificarmos se as equivalências são válidas, trocamos o símbolo de equivalência ( ) pela bicondicional ( ), se resultar em uma tautologia é porque a equivalência é válida. Propriedades da Equivalência Lógica a) Reflexiva (R): P (p, q, r, ) P (p, q, r, ) b) Simétrica (S): Se P (p, q, r, ) Q (p, q, r, ) então Q (p, q, r, ) P (p, q, r, )

3 c) Transitiva (T): Se P (p, q, r, ) Q (p, q, r, ) e Q (p, q, r, ) R (p, q, r, ) então P (p, q, r, ) R (p, q, r, ) Exemplos: 1. As proposições "~~p" e "p" são equivalentes, isto é, simbolicamente: ~~p p (Regra da dupla negação). Portanto, a dupla negação equivale à afirmação. p ~p ~~p ~~p p F F F 2. As proposições "~p p" e "p" são equivalentes, isto é, simbolicamente: ~p p p (Regra de Clavius) p ~p ~p p ~p p p F F F 3. As condicionais "p p q" e "p q" são equivalentes, isto é, simbolicamente: p p q p q (Regra de absorção) p q p q p p q p q p p q p q F F F F F F F F F 4. A condicional p q e a disjunção "~p q" são equivalentes, isto é, simbolicamente: p q ~p q

4 p q ~p p q ~p q p q ~p q F F F F F F F F 5. A bicondicional "p q" e a conjunção "(p q) (q p)" são equivalentes, isto é, simbolicamente: p q (p q) (q p) p q p q p q q p (p q) (q p) p q (p q) (q p) F F F F F F F F F F 6. A bicondicional "p q" e a disjunção "(p q) (~p ~q)" são equivalentes, isto é, simbolicamente: p q (p q) (~p ~q) p q ~p ~q p q p q ~p ~q (p q) (~p ~q) p q (p q) (~p ~q) F F F F F F F F F F F F F F F F F F Exemplos de bicondicionais tautológicas: 1. (p ~q c) (p q) Corresponde a: p ~q c p q Portanto: p ~q c é equivalente a p q

5 Nesta equivalência consiste o método de demonstração por absurdo. 2. (p q r) (p (q r)) Corresponde a: p q r p (q r) Portanto: p q r é equivalente a p (q r) Equivalência Lógica denominada Regra de exportação- Importação Exemplo de bicondicional não tautológica: 1. "x = 1 x 3" e "~(x < 3 x = 1)" Corresponde a: (x = 1 x 3) ~(x < 3 x = 1) Entretanto, pela tabela-verdade observamos que o bicondicional não é tautológico. x = 1 x 3 x = 1 x 3 x < 3 x < 3 x = 1 ~(x < 3 x = 1) (x = 1 x 3) ~(x < 3 x = 1) F F F F F F F F F F F F F Proposições associadas a uma condicional Def.: Dada a condicional p q, chamam-se proposições associadas a p q as três proposições condicionais que contém p e q: a. Proposição recíproca de p q é q p b. Proposição contrária de p q é ~p ~q Também denominada de inversa de p q

6 c. Proposição contrapositiva de p q é ~q ~p p q ~q ~p A equivalência entre p q é ~q ~p estabelece um procedimento para demonstrar teoremas condicionais como, se a + b = c então a = c b, onde a + b = c é a hipótese e a = c b é a tese. Para provar a propriedade podemos usar a contrapositiva ou a negação da tese. Se a negação da tese levar a concluir a negação da hipótese então a propriedade estará demonstrada. Negando a tese, a c b. Somando b a ambos os membros, a desigualdade permanece. Assim, a + b c b + b a + b c O que contraria a hipótese. Portanto a propriedade é verdadeira. Tabela-verdade das proposições associadas: p q ~p ~q p q q p ~p ~q ~q ~p p q ~q ~p q p ~p ~q F F F F F F F F F F F F Logo, A condicional p q e a contrapositiva ~q ~p são equivalentes: p q ~q ~p

7 A recíproca q p e a contrária ~p ~q da condicional p q são equivalentes: q p ~p ~q Entretanto, pela tabela-verdade ainda podemos observar que: p q e a sua recíproca q p: não são equivalentes p q e a sua contrária ~p ~q: não são equivalentes Negação conjunta de duas proposições Def.: Chama-se negação conjunta de duas proposições a proposição "não p e não q", isto é, ~p ~q. A negação conjunta de duas proposições p e q se indica pela notação " p q ". Assim, p e q também p q ~p ~q Tabela-verdade: p q ~p ~q ~p ~q p q p q ~p ~q F F F F F F F F F F F F F F Negação disjunta de duas proposições

8 Def.: Chama-se negação disjunta de duas proposições a proposição "não p ou não q", isto é, ~p ~q. A negação disjunta de duas proposições p e q se indica pela notação " p q ". Assim, p e q também p q ~p ~q Tabela-verdade: p q ~p ~q ~p ~q p q p q ~p ~q F F F F F F F F F F Os símbolos e são chamados de conectivos de SCHEFFER. Exercícios: 1. Demonstre as seguintes equivalências: a. p (p q) p b. (p q) r p ~r ~q c. q p q p q 2. Mostre que as proposições x = 1 x 3 e "~(x < 3 x = 1) " não são equivalentes. 3. Julgue se são logicamente equivalentes as proposições: Quem tem dinheiro, não compra fiado e Quem não tem, compra, provando sua resposta.

9 4. Determine: a. A contrapositiva da recíproca de x = 0 x < 1 b. A contrapositiva da contrária de x < 1 x < 3 5. Sabendo que as proposições p e q são verdadeiras e que a proposição r é falsa, determine o valor lógico () ou (F) das seguintes proposições: a. (~p q) (q ~r) b. [(p q) (q r)] (r p) c. (~p ~q) [(q r) p] 6. Demonstre: [(p ~p) (p ~p)] p ~p Resoluções: 1. Demonstre as seguintes equivalências: a. p (p q) p p q p q p (p q) p (p q) p F F F F F F F b. (p q) r p ~r ~q p q r ~q ~r p q (p q) r p ~r p ~r ~q (p q) r p ~r ~q F F F F F F F F F F F F F F F F F F F F F F F F

10 F F F F F F F F F F c. q p q p q p q p q q p q p q q p q p q F F F F F F F 2. Mostre que as proposições x = 1 x 3 e ~(x < 3 x = 1) não são equivalentes. x = 1 x < 3 x 3 x = 1 x 3 x < 3 x = 1 ~(x < 3 x = 1) x = 1 x 3 ~(x < 3 x = 1) F F F F F F F F F F F F F Não são equivalentes porque as tabelas-verdade das proposições não são idênticas, e também a bicondicional não é uma tautologia. 3. Julgue se são logicamente equivalentes as proposições: Quem tem dinheiro, não compra fiado e Quem não tem, compra, provando sua resposta. Proposições: p: quem tem dinheiro q: compra fiado Premissas: Quem tem dinheiro, não compra fiado: Quem não tem, compra: p ~ q ~p q

11 Para serem equivalentes: p ~ q ~ p q p q ~p ~q p ~ q ~p q p ~ q ~ p q F F F F F F F F F F F F Não são equivalentes porque as tabelas-verdade das proposições não são idênticas, e também a bicondicional não é tautológica. 4. Determine: a. A contrapositiva da recíproca de x = 0 x < 1 x = 0 x < 1 x < 1 x = 0 (recíproca de x = 0 x < 1) ~(x = 0) ~(x < 1) (contrapositiva de x < 1 x = 0) x 0 x 1 (resposta) b. A contrapositiva da contrária de x < 1 x < 3 x < 1 x < 3 ~(x < 1) ~(x < 3) (contrária de x < 1 x < 3) x 1 x 3 (contrária de x < 1 x < 3) ~(x 3) ~(x 1) (contrapositiva da contrária de x 1 x 3) x < 3 x < 1 (resposta) 5. Sabendo que as proposições p e q são verdadeiras e que a proposição r é falsa, determine o valor lógico () ou (F) das seguintes proposições:

12 a. (~p q) (q ~r) (~p q) (q ~r) (p ~q) (~q r) p q r ~q p ~q ~q r (~p q) (q ~r) F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F Outra forma de resolução: (~p q) (q ~r) (p ~q) (~q r) b. [(p q) (q r)] (r p) (p ~q) (~q r) ( F) (F F) ( F) (F) F Seja: p =, q = e r = F Então: [(p q) (q r)] (r p) [(~p ~q) (~q ~r)] ( ~r ~ p) [(~p ~q) (~q ~r)] ( ~r ~ p) [(F F) (F )] ( F) [F F] (F)

13 F F F c. (~p ~q) [(q r) p] Seja: p =, q = e r = F Então: (~p ~q) [ (q r) p] ~(~p ~q) [ ~(~q ~r) ~ p] ~(~p ~q) [ ~(~q ~r) ~ p] ~(F F) [ ~(F ) F] ~(F) [ ~(F) F] [ F] F F 6. Demonstre: [(p ~p) (p ~p)] p ~p Seja: p = e ~p = F Então: [(p ~p) (p ~p)] p ~p [~(~ p p) ~ (~p p)] p ~p [~() ~ ()] F [F F] F F F Exercícios: 1. (CARALHO; CAMPOS, 2010, p. 119) Numa proposição composta s, aparecem às proposições simples p, q e r. Sua tabela verdade é:

14 p q r s L1 L 2 F L3 F F L4 F F L5 F L6 F F L7 F F F L8 F F F Usando a conjunça o ( ), a disjunça o ( ) e a negaça o ( ), podese construir sentenças equivalentes a s. Uma dessas sentenças é: a. (p q r) (~p ~ q r) b. (p q r) (~p ~q r) c. (p q ~r) (p ~ q ~r) d. (~p q ~r) (p q ~r) e. (p q ~r) (~p ~ q r) 2. Julgue os itens (CARALHO; CAMPOS, 2010, p. 121): a. Se meu cliente fosse culpado, então a arma do crime estaria no carro. Portanto, se a arma do crime não estava no carro, então meu cliente não é culpado. É uma tautologia. b. Se meu cliente fosse culpado, então a arma do crime estaria no carro. Portanto, ou meu cliente não é culpado ou a arma do crime estaria no carro. Não é uma tautologia. 3. erifique as equivalências (CASTRUCCI, 1982, p. 34): a. ~(p ~p) (p ~p) b. p (~p q ) (p q) c. p (q r) q (p r) d. ~(p q) ~(~q ~p)

15 e. ~(p ~ q ) ~p q 4. erifique se são equivalentes as proposições: a. Não é verdade que o triângulo é retângulo e não é retângulo. E O triângulo é retângulo ou o triângulo não é retângulo. b. Se é bonito, é feliz. E Não é bonito ou feliz. c. A: se o céu está escuro, choverá; B: o céu não está escuro ou não choverá. 1. Construir as tabelas-verdade Resolução: 1. Correta letra (d): (~p q ~r) (p q ~r) Conferência utilizando as linhas da tabela-verdade: (~p q ~r) (p q ~r) Linha 1: p =, q =, r =, s = (~p q ~r) (p q ~r) (F F) ( F) ( F) ( F) ( ) ( )

16 Linha 1 resulta em, logo corresponde a tabela-verdade. Linha 2: p =, q =, r = F, s = (~p q ~r) (p q ~r) (F ) ( ) ( ) ( ) ( ) ( ) Linha 2 resulta em, logo corresponde a tabela-verdade. Linha 3: p =, q = F, r =, s = F (~p q ~r) (p q ~r) (F F F) ( F F) ( F F) ( F) ( F ) ( ) F Linha 3 resulta em F, logo corresponde a tabela-verdade. Linha 4: p =, q = F, r = F, s = (~p q ~r) (p q ~r) (F F ) ( F ) ( F ) ( ) ( ) ( ) Linha 4 resulta em, logo corresponde a tabela-verdade. Linha 5: p = F, q =, r =, s = (~p q ~r) (p q ~r) ( F) (F F) ( F) ( F) ( ) ( )

17 Linha 5 resulta em, logo corresponde a tabela-verdade. Linha 6: p = F, q =, r = F, s = (~p q ~r) (p q ~r) ( ) (F ) ( F) ( F) ( ) ( ) Linha 6 resulta em, logo corresponde a tabela-verdade. Linha 7: p = F, q = F, r =, s = F (~p q ~r) (p q ~r) ( F F) (F F F) ( F) (F F) ( ) (F ) F Linha 7 resulta em F, logo corresponde a tabela-verdade. Linha 8: p = F, q = F, r = F, s = (~p q ~r) (p q ~r) ( F ) (F F ) ( ) (F ) ( ) ( ) Linha 8 resulta em, logo corresponde a tabela-verdade.

18 Caso em alguma das alternativas tivesse dado algum valor lógico diferente daquele da coluna do s, não seria uma equivalência. 2. Julgue os itens (CARALHO; CAMPOS, 2010, p. 121): a. Se meu cliente fosse culpado, então a arma do crime estaria no carro. Portanto, se a arma do crime não estava no carro, então meu cliente não é culpado. É uma tautologia. Inocente: p Culpado: ~p Arma está no carro: q Arma não está no carro o: ~q (P1): Se meu cliente fosse culpado, então a arma do crime estaria no carro. ~p q (P2): Portanto, se a arma do crime não estava no carro, então meu cliente não é culpado. ~q p p q ~p ~q ~p q ~q p (~p q) (~q p) F F F F F F F F F F Sim, (~p q) (~q p) é uma tautologia. b. Se meu cliente fosse culpado, então a arma do crime estaria no carro. Portanto, ou meu cliente não é culpado ou a arma do crime estaria no carro. Não é uma tautologia. Inocente: p Arma está no carro: q Culpado: ~p Arma não está no carro o: ~q

19 (P1): Se meu cliente fosse culpado, então a arma do crime estaria no carro. ~p q (P2): Portanto, ou meu cliente não é culpado ou a arma do crime estaria no carro. ( p q) p q ~p ~q ~p q p q (~p q) (p q ) F F F F F F F F F F Como, (~p q) (p q ) é uma tautologia e a questão afirma que não é uma tautologia, então esta questão está errada, ou seja, é falsa. 3. Resolução: Construir as tabelas-verdade. 4. erifique se são equivalentes as proposições: a. Não é verdade que o triângulo é retângulo e não é retângulo. E O triângulo é retângulo ou o triângulo não é retângulo. Proposições: O triângulo é retângulo: p O triângulo não é retângulo: ~p Premissas: (P1): Não é verdade que o triângulo é retângulo e não é retângulo: (p ~p) (P1): O triângulo é retângulo ou o triângulo não é

20 retângulo: (p ~p) p ~p p ~p (p ~p) p ~p (p ~p) p ~p F F F F Logo, (p ~p) p ~p (p ~p) p ~p Portanto, é uma equivalência. b. Se é bonito, é feliz. E Não é bonito ou feliz. Proposições: É bonito: p É feliz: q Premissas: (P1): Se é bonito, é feliz: (P1): Não é bonito ou feliz: Não é bonito: ~p p q ~p q p q ~p p q ~p q (p q) (~p q) (p q) (~p q) F F F F F F F F Portanto, é uma equivalência. c. A: se o céu está escuro, choverá;

21 B: o céu não está escuro ou não choverá. Proposições: Céu está escuro: p Não está escuro: ~p Choverá: q Não choverá: ~q Premissas: (P1): Se o céu está escuro, choverá: (P1): O céu não está escuro ou não choverá: p q ~p ~q p q ~p ~q p q ~p ~q (p q) (~p ~q) F F F F F F F F F F F F Logo, (p q) (~p ~q) F (p q) (~p q) F F Portanto, NÃO é uma equivalência. Referências Bibliográficas ALENCAR FILHO, Edgard. Iniciação à Lógica Matemática. São Paulo, Nobel, CARALHO, Sérgio; CAMPOS, Weber. Raciocínio Lógico Simplificado.. 1. Rio de Janeiro: Elsevier. 2010

22 CASTRUCCI, Benedito. Introdução à Lógica Matemática. 5 ed. São Paulo: Nobel, DIAS, Carlos Magno Corrêa. Lógica matemática: introdução ao cálculo proposicional. 3 ed. Curitiba: C. M. C. Dias, GERÔNIMO, João Roberto; FRANCO, aldeni Soliani. Fundamentos da Matemática: uma introdução à lógica matemáti5ca, teoria dos conjuntos, relações e funções. 2 ed. Maringá: Eduem, 2008.

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por: LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,

Leia mais

n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V

n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V n. 5 Implicações Lógicas A implicação lógica trata de um conjunto de afirmações, proposições simples ou compostas, cujo encadeamento lógico resultará em uma conclusão, a ser descoberta. Tal conclusão deverá

Leia mais

n. 12 VALIDADE MEDIANTE TABELAS-VERDADE A validade de um argumento pode ser verificada, demonstrada ou testada através das tabelas-verdade.

n. 12 VALIDADE MEDIANTE TABELAS-VERDADE A validade de um argumento pode ser verificada, demonstrada ou testada através das tabelas-verdade. n. 12 ALIDADE MEDIANTE TABELAS-ERDADE alidade dos argumentos através de tabela- verdade A validade de um argumento pode ser verificada, demonstrada ou testada através das tabelas-verdade. Dado um argumento

Leia mais

Lógica para computação

Lógica para computação Lógica para computação PROPRIEDADES SEMÂNTICAS DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Introdução Esta seção considera a análise de algumas propriedades semânticas da LP que relacionam os resultados

Leia mais

Lógica Matemática e Computacional. 2.3 Equivalência Lógica

Lógica Matemática e Computacional. 2.3 Equivalência Lógica Lógica Matemática e Computacional 2.3 Equivalência Lógica Equivalência Lógica Definição: Dadas as proposições compostas P e Q, diz-se que ocorre uma equivalência lógica entre P e Q quando suas tabelas-verdade

Leia mais

n. 18 ALGUNS TERMOS...

n. 18 ALGUNS TERMOS... n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.

Leia mais

n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL

n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL Para demonstrar a validade de um argumento podemos utilizar outro método, conhecido como Demonstração

Leia mais

n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS

n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS As sentenças em que não é possível atribuir valor lógico verdadeiro ou falso, porque isso

Leia mais

n. 11 Argumentos e Regras de Inferência

n. 11 Argumentos e Regras de Inferência n. 11 Argumentos e Regras de Inferência A lógica formal lida com um tipo particular de argumento, denominado de argumento dedutivo, que nos permite deduzir uma conclusão Q, com base num conjunto de proposições

Leia mais

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César Lógica Matemática UNIDADE I Professora: M.Sc. Juciara do Nascimento César 1 A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento

Leia mais

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos

Leia mais

n. 4 TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIA

n. 4 TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIA n. 4 TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIA Chama-se tautologia é toda a proposição composta cujo valor lógico (última coluna da sua tabela-verdade) é sempre V (Verdadeiro). As tautologias

Leia mais

LÓGICA EM COMPUTAÇÃO

LÓGICA EM COMPUTAÇÃO CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais

Lógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César

Lógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições

Leia mais

n. 3 Construção de Tabelas-Verdade

n. 3 Construção de Tabelas-Verdade n. 3 Construção de Tabelas-Verdade Dadas várias proposições simples: p, q, r, s,..., podemos combiná-las pelos conectivos lógicos: Negação (~) ou ( ) Conjunção ( ) Disjunção ( ) Condicional ( ) Bicondicional

Leia mais

RECEITA FEDERAL ANALISTA

RECEITA FEDERAL ANALISTA SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como

Leia mais

LÓGICA EM COMPUTAÇÃO

LÓGICA EM COMPUTAÇÃO CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 4 - ABRIL DE 2018 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br

Leia mais

Introdução à Lógica Matemática

Introdução à Lógica Matemática Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira

Leia mais

Lógica. Cálculo Proposicional. Introdução

Lógica. Cálculo Proposicional. Introdução Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras

Leia mais

Fundamentos da Computação 1. Introdução a Argumentos

Fundamentos da Computação 1. Introdução a Argumentos Fundamentos da Computação 1 Introdução a s Se você tem um senha atualizada, então você pode entrar na rede Você tem uma senha atualizada Se você tem um senha atualizada, então você pode entrar na rede

Leia mais

Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti

Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti Unidade II LÓGICA Profa. Adriane Paulieli Colossetti Relações de implicação e equivalência Implicação lógica Dadas as proposições compostas p e q, diz-se que ocorre uma implicação lógica entre p e q quando

Leia mais

Lógica Matemática. Prof. Gerson Pastre de Oliveira

Lógica Matemática. Prof. Gerson Pastre de Oliveira Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;

Leia mais

Lógica e Matemática Discreta

Lógica e Matemática Discreta Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de

Leia mais

A Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto

A Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA A Linguagem dos Teoremas - Parte II Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de maio

Leia mais

Elementos de Lógica Matemática p. 1/2

Elementos de Lógica Matemática p. 1/2 Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ

Leia mais

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo   11 de outubro de 2016 Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.

Leia mais

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009 Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação

Leia mais

Aula 1 Aula 2. Ana Carolina Boero. Página:

Aula 1 Aula 2. Ana Carolina Boero.   Página: Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática

Leia mais

Lógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução

Lógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três

Leia mais

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:

Leia mais

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1 Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados

Leia mais

Com relação a lógica sentencial, contagem e combinação, julgue os itens a seguir.

Com relação a lógica sentencial, contagem e combinação, julgue os itens a seguir. Considerando-se como V a proposição "Sem linguagem, não há acesso à realidade", conclui-se que a proposição "Se não há linguagem, então não há acesso à realidade" é também V. Certo Errado Com relação a

Leia mais

Aula 1 Aula 2 Aula 3. Ana Carolina Boero. Página:

Aula 1 Aula 2 Aula 3. Ana Carolina Boero.   Página: Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática

Leia mais

Unidade: Proposições Logicamente Equivalentes. Unidade I:

Unidade: Proposições Logicamente Equivalentes. Unidade I: Unidade: Proposições Logicamente Equivalentes Unidade I: 0 Unidade: Proposições Logicamente Equivalentes Nesta unidade, veremos a partir de nossos estudos em tabelas-verdade as proposições logicamente

Leia mais

Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto

Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Considere as afirmações: I. A camisa é azul ou a gravata é branca. II. Ou o sapato é marrom ou a camisa

Leia mais

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:

Leia mais

Questões de Concursos Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto

Questões de Concursos Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto Questões de Concursos Aula 03 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Sabendo que os valores lógicos das proposições simples p e q são, respectivamente, a verdade e a falsidade,

Leia mais

Alfabeto da Lógica Proposicional

Alfabeto da Lógica Proposicional Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de

Leia mais

LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016

LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016 LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:

Leia mais

Lóg L ica M ca at M em e ática PROF.. J EAN 1

Lóg L ica M ca at M em e ática PROF.. J EAN 1 Lógica Matemática PRO. JEAN 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição alor Lógico Proposição Simples e Proposição Composta Conectivos Tabela-erdade 2 LÓGICA MATEMÁTICA INTRODUÇÃO ao

Leia mais

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam. CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases

Leia mais

Aprendendo. Raciocínio. Lógico

Aprendendo. Raciocínio. Lógico Aprendendo Raciocínio Lógico Raciocínio Lógico Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos

Leia mais

MATEMÁTICA E RACIOCÍNIO LÓGICO

MATEMÁTICA E RACIOCÍNIO LÓGICO SENTENÇAS OU PROPOSIÇÕES MODIICADORES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (),

Leia mais

Lógica e Matemática Discreta

Lógica e Matemática Discreta Lógica e Matemática Discreta Proposições Prof clezio 26 de Abril de 2017 Curso de Ciência da Computação Inferência Lógica Uma inferência lógica, ou, simplesmente uma inferência, é uma tautologia da forma

Leia mais

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO

Leia mais

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja

Leia mais

Gestão Empresarial Prof. Ânderson Vieira

Gestão Empresarial Prof. Ânderson Vieira NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas

Leia mais

A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360

A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360 1 DEMAIS SIMULADOS NO LINK ABAIXO CLIQUE AQUI REDE SOCIAL SIMULADO 17/360 RLM INSTRUÇÕES TEMPO: 30 MINUTOS MODALIDADE: CERTO OU ERRADO 30 QUESTÕES CURTA NOSSA PÁGINA MATERIAL LIVRE Este material é GRATUITO

Leia mais

Lista 1 - Bases Matemáticas

Lista 1 - Bases Matemáticas Lista 1 - Bases Matemáticas Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo ou 4 é ímpar. c) (Não é verdade

Leia mais

QUESTÕES REVISÃO DE VÉSPERA FUNAI

QUESTÕES REVISÃO DE VÉSPERA FUNAI QUESTÕES REVISÃO DE VÉSPERA FUNAI RACIOCÍNIO LÓGICO Prof. Josimar Padilha EDITAL: RACIOCÍNIO LÓGICO E QUANTITATIVO: 1. Lógica e raciocínio lógico: problemas envolvendo lógica e raciocínio lógico. 2. Proposições:

Leia mais

Simulado Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto

Simulado Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto Simulado Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Se S = (P Q) (P R), então a última coluna da tabela-verdade de S conterá, de cima para baixo e na ordem em que aparecem,

Leia mais

Fundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno

Fundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão

Leia mais

Prof. João Giardulli. Unidade I LÓGICA

Prof. João Giardulli. Unidade I LÓGICA Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fundamentos de Lógica No nosso dia a dia, usamos todo o tipo de frases: Cinco é menor

Leia mais

NHI Lógica Básica (Lógica Clássica de Primeira Ordem)

NHI Lógica Básica (Lógica Clássica de Primeira Ordem) NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático

Leia mais

Aula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

Aula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições

Leia mais

Afirmações Matemáticas

Afirmações Matemáticas Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1

Leia mais

MDI0001 Matemática Discreta Aula 01

MDI0001 Matemática Discreta Aula 01 MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina

Leia mais

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14 Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...

Leia mais

Proposições são sentenças que podem ser julgadas como verdadeiras - V - ou falsas - F -, mas não como ambas, simultaneamente. As proposições são

Proposições são sentenças que podem ser julgadas como verdadeiras - V - ou falsas - F -, mas não como ambas, simultaneamente. As proposições são Proposições são sentenças que podem ser julgadas como verdadeiras - V - ou falsas - F -, mas não como ambas, simultaneamente. As proposições são freqüentemente representadas por letras maiúsculas e, a

Leia mais

MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP

MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 1 MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 2009 02 2 CÁLCULO PROPOSICIONAL 1. Proposições Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas

Leia mais

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;

Leia mais

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1 UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Disciplina: Lógica Computacional I Professora: Juliana Pinheiro Campos Data: 25/08/2011 Lista

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,

Leia mais

3 Cálculo Proposicional

3 Cálculo Proposicional 3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases

Leia mais

Lista 2 - Bases Matemáticas

Lista 2 - Bases Matemáticas Lista 2 - Bases Matemáticas (Última versão: 14/6/2017-21:00) Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo

Leia mais

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014 Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.

Leia mais

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas. 1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um

Leia mais

Técnicas de Demonstração. Raquel de Souza Francisco Bravo 17 de novembro de 2016

Técnicas de Demonstração. Raquel de Souza Francisco Bravo   17 de novembro de 2016 Técnicas de Demonstração e-mail: raquel@ic.uff.br 17 de novembro de 2016 Técnicas de Demonstração O que é uma demonstração? É a maneira pela qual uma proposição é validada através de argumentos formais.

Leia mais

Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática

Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Argumentação em Matemática Prof. Lenimar Nunes de Andrade e-mail: numerufpb@gmail.com ou lenimar@mat.ufpb.br versão 1.0

Leia mais

Lógica proposicional

Lógica proposicional Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),

Leia mais

Matéria: Raciocínio Lógico Concurso: Agente da Polícia Federal 2018 Professor: Alex Lira

Matéria: Raciocínio Lógico Concurso: Agente da Polícia Federal 2018 Professor: Alex Lira Concurso: Professor: Alex Lira Prova comentada: Agente Polícia Federal 2018 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES... 10 Página

Leia mais

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO

Leia mais

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos: 1 Noções Básicas de Lógica 1.1 Proposições Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. 1. Os sapos são anfíbios. 2. A capital do Brasil é Porto Alegre. 3. O tomate é um tubérculo.

Leia mais

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE 1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.

Leia mais

01/09/2014. Capítulo 3. Propriedades semânticas da Lógica Proposicional

01/09/2014. Capítulo 3. Propriedades semânticas da Lógica Proposicional Capítulo 3 Propriedades semânticas da Lógica Proposicional 1 Introdução Propriedades Definição 3.1 (propriedades semânticas básicas da Lógica Proposicional) Sejam H, G, H 1, H 2,...,H n, fórmulas da Lógica

Leia mais

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

Leia mais

Proposições simples e compostas

Proposições simples e compostas Revisão Lógica Proposições simples e compostas Uma proposição é simples quando declara algo sem o uso de conectivos. Exemplos de proposições simples: p : O número 2 é primo. (V) q : 15 : 3 = 6 (F) r :

Leia mais

Campos Sales (CE),

Campos Sales (CE), UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:

Leia mais

Lógica Proposicional

Lógica Proposicional Lógica Proposicional Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos que duas proposições

Leia mais

Matemática. Lógica Proposicional. Professor Dudan

Matemática. Lógica Proposicional. Professor Dudan Matemática Lógica Proposicional Professor Dudan Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos

Leia mais

Lógica Matemática 1. Semana 7, 8 e 9. Material Previsto para três semanas

Lógica Matemática 1. Semana 7, 8 e 9. Material Previsto para três semanas Lógica Matemática 1 Semana 7, 8 e 9. Professor Luiz Claudio Pereira Departamento Acadêmico de Matemática Universidade Tecnológica Federal do Paraná Material Previsto para três semanas Implicação e equivalência

Leia mais

n. 25 DIAGRAMAS DE VENN

n. 25 DIAGRAMAS DE VENN n. 25 DIAGRAMAS DE VENN Foi o matemático inglês John Venn (1834-1923) que criou os diagramas, com o intuito de facilitar a compreensão na relação de união e intersecção entre conjuntos. John Venn desenvolveu

Leia mais

2016 / Nome do aluno: N.º: Turma:

2016 / Nome do aluno: N.º: Turma: Teste de Matemática A 2016 / 2017 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em

Leia mais

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

Para provar uma implicação se p, então q, é suficiente fazer o seguinte: Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que

Leia mais

RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS

RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 1 RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 2 TIPOS DE PROPOSIÇÃO Simples ou Atômicas Oscar é prudente; Mário é engenheiro; Maria é morena. 3 TIPOS DE PROPOSIÇÃO Composta ou Molecular Walter é engenheiro E

Leia mais

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula / 1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 02 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br

Leia mais

Cálculo proposicional

Cálculo proposicional Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas

Leia mais

ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo

ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo Assembleia Legislativa do Estado de Sergipe ALESE Técnico Legislativo / Área Apoio Técnico Administrativo Volume I Edital Nº 01/2018 de Abertura de Inscrições JN071-A-2018 DADOS DA OBRA Título da obra:

Leia mais

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3 Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando

Leia mais

Lógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios...

Lógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios... Lógica para Ciência da Computação I Lógica Matemática Texto 11 Tautologias Sumário 1 Comportamento de um enunciado 2 1.1 Observações................................ 4 2 Classificação dos enunciados 4 2.1

Leia mais

OBS.1: As palavras Se e então podem estar ocultas na. Proposição

OBS.1: As palavras Se e então podem estar ocultas na. Proposição RACIOCÍNIO LÓGICO PRO. IGOR BRASIL 1) Proposição: Observação!!! Não são proposições 1. 2. 3. 4. 5. 6. 7. 2) Conectivos São utilizados em proposições.» O conectivo e é conhecido por, representado pelo símbolo

Leia mais

OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL. APOSTILA 4 Construção de Tabelas-Verdade

OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL. APOSTILA 4 Construção de Tabelas-Verdade OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 4 Construção de Tabelas-Verdade Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva juliocesar@eloquium.com.br Alterações eventuais

Leia mais

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais