Lógica e Matemática Discreta

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

Download "Lógica e Matemática Discreta"

Transcrição

1 Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação

2 Proposições e Conectivos

3 Conceito de proposição Definição: Chama-se proposição a todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido Completo. As proposições transmitem pensamentos, isto é, afirma fatos ou exprimem juízos que formamos a respeito de determinados entes. Exemplo a) A Lua é o satélite natural da Terra; b) Todos os alunos de LMD já estão aprovados; 1

4 Axiomas Fundamentais da Lógica A Lógica Matemática adota com regras fundamentais dois princípios (ou axiomas) básicos. (I) Princípio da Não Contradição: Uma proposição não pode ser verdadeira e falsa ao mesmo tempo. (II) Princípio do Terceiro Excluído: Toda proposição ou é verdadeira ou é falsa e não há uma terceira opção. Em virtude desse último princípio diz-se que a lógica matemática é uma lógica bivalente. Podemos afirmar, por exemplo, que a) é verdadeira e b) e falsa. 2

5 Valores lógicos das proposições Definição: Chama-se valor lógico de uma proposição a verdade se a proposição for verdadeira e falsidade se a proposição for falsa. Indicaremos os valores lógicos de uma proposição pelas letras V e F respetivamente. Atenção Pelo Princípio do Terceiro Excluído toda proposição tem um, e apenas um, valor lógico que pode ser V ou F. 3

6 Proposições Simples e Compostas As proposições podem ser classificadas em simples ou atómicas e compostas moleculares. Definição: Chama-se proposição simples ou atómica aquela que não contém nenhuma outra proposição como parte integrante de si mesma. As proposições simples serão designadas pelas letras latinas minúsculas p,q,r,s,..., chamadas letras proposicionais Exemplo p : Carlos é careca q : Pedro é estudante r : O número 49 é um quadrado perfeito 4

7 Proposições Simples e Compostas Definição: Chama-se proposição composta ou molecular aquela formada pela combinação de duas ou mais proposições. As proposições compostas serão designadas pelas letras latinas maiúsculas P,Q,R,S,..., também chamadas letras proposicionais. Exemplo P : Carlos é careca e Pedro é estudante Q : Carlos é careca ou Pedro é estudante R : Se Carlos é careca, então sente frio na cabeça. As proposições compostas também são chamadas de fórmulas proposicionais ou apenas fórmulas. Podemos indicá-las por P(p,q,r,... ). 5

8 Conectivos Lógicos Definição: Chamam-se conectivos palavras que usamos para formar novas proposições a partir de outras. Exemplo P : O número 6 é par e o número 8 é cubo perfeito. Q : O triângulos ABC é retângulo ou é isósceles. R : Não está chovendo. S : Se Jorge é engenheiro, então sabe matemática. T : O triângulo ABC é equilátero se e somente se é aquiângulo. As palavras destacados no exemplo acima são os conectivos usuais da lógica matemática. 6

9 Tabela-Verdade Segundo o Princípio do terceiro excluído, toda proposição simples p é verdadeira ou falsa, ou seja, tem o valor lógico V (verdade) ou o valor lógico F (falsidade). p V F O valor lógico de qualquer proposição composta depende unicamente dos valores lógicos das proposições simples componentes, ficando por eles univocamente determinado. 7

10 Tabela-Verdade As possibilidades para os valores lógicos de duas proposições p e q p q 1 V V 2 V F 3 F V 4 F F para as proposições p,q e r p q r 1 V V V 2 V V F 3 V F V 4 V F F 5 F V V 6 F V F 7 F F V 8 F F F 8

11 Tabela-Verdade Notação: O valor lógico de uma proposição simpes p indica-se por V(p). 1. Escrevemos V(p)=V se a proposição for verdadeira e 2. Escrevemos V(p)=F se a proposição for falsa. 9

12 Exercícios Encontre o valor lógico da proposições abaixo (a) O número 17 é primo. (b) Fortaleza é a capital do Maranhão. (c) (3 + 5) 2 = (d) 1 < 7 (e) As diagonais de um paralelogramos são iguais (f) O Cubo tem 6 faces. (g) Todo número divisível por 5 termina em 5. (h) cos(x) = cos x. 10

13 Operações Lógicas sobre Proposições

14 Cálculo Proposicional Quando pensamos, efetuamos operações sobre proposições, chamadas de operações lógicas. As operações que realizamos ao pensar obdence a regra de um cálculo, chamado de cálculo proposicional muito semelhante a artimética sobre números. 11

15 Cálculo Proposicional Negação Definição: Chama-se negação de uma proposição p a proposição representada por não p, cujo valor lógico e verdade quando p é falsa é falsidade quando p é verdadeira. Notação: p O valor lógico da negação é definido na tabala. p V F p F V Em outras palavras, se definirmos V=F e F=V teremos V( p)= V(p) 12

16 Cálculo Proposicional Conjunção ( ) Definição: Chama-se conjunção de duas proposições p e q a proposição representada por p e q, cujo valor lógico é verdade quando p e q que forem verdadeiras e é falsidade nos demais casos. Notação: p q O valor lógico da conjunção é definido na tabala. p q p q V V V V F F F V F F F F 13

17 Cálculo Proposicional Disjunção ( ) Definição: Chama-se disjunção de duas proposições p e q a proposição representada por p ou q, cujo valor lógico é verdade quando pelo menos uma entre p e q for verdadeiras e é de falsidade quando p e q forem ambas falsas. Notação: p q O valor lógico da disjunção é definido na tabala. p q p q V V V V F V F V V F F F 14

18 Cálculo Proposicional Disjunção exclusiva ( ) Definição: Chama-se disjunção exclusiva de duas proposições p e q a proposição representada por p ou q, cujo valor lógico é verdade quando pelo menos uma entre p e q for verdadeira e a outra falsa e é de falsidade quando p e q forem ambas falsas ou ambas verdadeiras. Notação: p q O valor lógico da disjunção exclusiva é definido na tabala. p q p q V V F V F V F V V F F F 15

19 Lógica e Matemática Discreta Proposições e Conectivos Lógicos Prof Clezio 20 de Março de 2018 Curso de Ciência da Computação

20 Proposições e Conectivos

21 Valores lógicos das proposições Condicional ( ) Definição: Chama-se proposição condicional ou apenas condicional uma proposição representada por se p então q, cujo valor lógico é a falsidade (F) no caso em que p é verdadeira e q é falsa e a verdade (V) nos demais casos. Notação: p q O valor lógico da condicional de duas proposições p e q é dada pela tabela p q p q V V V V F F F V V F F V 1

22 Valores lógicos das proposições Bicondicional ( ) Definição: Chama-se proposição bicondicional ou apenas bicondicional uma proposição representada por p se e somente se q, cujo valor lógico é a verdade (V) quando p e q são ambas verdadeira ou ambas falsas e é falsidade (F) nos demais casos. Notação: p q O valor lógico da bicondicional de duas proposições p e q é dada pela tabela p q p q V V V V F F F V F F F V Um conectivo bicondicional é uma equivalência lógica entre p e q 2

23 Conceito de proposição Exercícios 1 Seja as proposições p : Está frio e q : Está chovendo. Traduzir para a linguagem corrente (português) as seguintes proposições: (a) p (b) p q (c) p q (d) p q (e) p q (f) p q (g) p q (h) p q (i) p q p 2 Determinar o valor lógico das proposições do item 1. 3

24 Construção de Tabelas - Verdade Dadas várias proposições simples p, q, r,... podemos combiná-las pelos conectivos lógicos,,,, Construir proposições compostas tais como: P(p, q) = p Q(p, q) = (p q) q R(p, q, r) = (p q r) (q (p r) Usando as tabelas verdades das proposições simples (já vistas) pode-se construir a tabala de verdade que qualquer proposição composta. 4

25 Construção de Tabelas - Verdade Se uma proposição composta tem n proposições simples então sua tabela verdade terá 2 n linhas. Exemplificando com uma tabela p q q p q (p q) V V V F F V F F 5

26 Construção de Tabelas - Verdade Se uma proposição composta tem n proposições simples então sua tabela verdade terá 2 n linhas. Exemplificando com uma tabela p q q p q (p q) V V F V F V F V F F F V 6

27 Construção de Tabelas - Verdade Se uma proposição composta tem n proposições simples então sua tabela verdade terá 2 n linhas. Exemplificando com uma tabela p q q p q (p q) V V F F V V F V V F F V F F V F F V F V 7

28 Construção de Tabelas - Verdade Segundo Método p q (p q) V V V F V F V F F V F V F F F F 1 1 8

29 Construção de Tabelas - Verdade Segundo Método p q (p q) V V V F V V F V V F F V F F V F F F V F

30 Construção de Tabelas - Verdade Segundo Método p q (p q) V V V F F F V F V V V F F V F F F V F F F F V F

31 Construção de Tabelas - Verdade Segundo Método p q (p q) V V V V F F F V F F V V V F F V V F F F V F F V F F V F

32 Construção de Tabelas - Verdade Exercício: Construir a tabela-verdade da proposição P(p, q, r) = p r q r p q r p r q r V V V V V F V F V F F V V V F V V V F V V V V F V F V V V F V F F F F V V F F V V V F F F F V F F V V F F F V V V F F V F V F F V V F V V V V F F F V F F F V V F F F V F F F F V V F F F F V F

33 Construção de Tabelas - Verdade Construir a tabela verdade das proposições: e P(p, q, r) = (p q) (q r) (p r) P(p, q, r) = (p ( q r)) (q (p r)) 13

34 Valor Lógico de Proposições Compostas Valor lógico de uma proposição composta Dada P(p, q, r,...) podemos determinar seu valor lógico (V ou F) quando são conhecidos os valores lógicos da proposições componentes. Exemplo (1) Sabendo que os valores lógicos das proposições p e q são respectivamente V e F, determinar o valor lógico da proposição: P(p, q) = (p q) p q (2) Sejam as proposições p : π = 3 e q : sen(π/2) = 0. Determinar o valor lógico da proposição P(p, q) = (p q) (p p q) 14

35 Valor Lógico de Proposições Compostas Considere a Proposição Composta: Traga sua família ou venha sozinho e tenha uma noite agradável. Levando em conta a maneira como está escrita, esta proposição pode ser lida de dois modos diferentes. a) Considerando que a proposição é obtida a partir das proposições p : traga sua família e q: venha sozinho e tenha uma noite agradável, por aplicação do conectivo ou teremos: p q: Traga sua família, ou venha sozinho e tenha uma noite agradável. b) Considerando que a proposição é obtida a partir das proposições p: traga sua família ou venha sozinho e q: tenha uma noite agradável, por aplicação do conectivo e, a sentença pode ser lida como: p q: Traga sua família ou venha sozinho, e tenha uma noite agradável. 15

36 Valor Lógico de Proposições Compostas Uso de Parêntesis Parenteses são necessários na simbolização de proposições para evitar ambiguidades. A presença de ambiguidades acarreta a possibilidade de leituras distintas para uma mesma proposição e isto pode acarretar análises lógicas incompatíveis. Exemplo (1) p (q r) e (2) (p q) r (I) A ordem de precedência dos conectivos é, e ; ; ; (II) Quando o mesmo conectivo aparece sucessivamente repetido, suprime-se os parêntesis e faz-se a associação a partir da esquerda. 16

37 Lógica e Matemática Discreta Proposições Prof clezio 26 de Março de 2018 Curso de Ciência da Computação

38 Valor Lógico de Proposições Compostas Considere a Proposição Composta: Traga sua família ou venha sozinho e tenha uma noite agradável. Levando em conta a maneira como está escrita, esta proposição pode ser lida de dois modos diferentes. a) Considerando que a proposição é obtida a partir das proposições p : traga sua família e q: venha sozinho e tenha uma noite agradável, por aplicação do conectivo ou teremos: p q: Traga sua família, ou venha sozinho e tenha uma noite agradável. b) Considerando que a proposição é obtida a partir das proposições p: traga sua família ou venha sozinho e q: tenha uma noite agradável, por aplicação do conectivo e, a sentença pode ser lida como: p q: Traga sua família ou venha sozinho, e tenha uma noite agradável. 1

39 Valor Lógico de Proposições Compostas Uso de Parênteses Parenteses são necessários na simbolização de proposições para evitar ambiguidades. A presença de ambiguidades acarreta a possibilidade de leituras distintas para uma mesma proposição e isto pode acarretar análises lógicas incompatíveis. Exemplo (1) p (q r) e (2) (p q) r (I) A ordem de precedência dos conectivos é, e ; ; ; (II) Quando o mesmo conectivo aparece sucessivamente repetido, suprime-se os parênteses e faz-se a associação a partir da esquerda. 2

40 Tautologias, Contradições e Contigências

41 Tautologias Definição: Chama-se tautologia toda a proposição composta cujo valor lógico é sempre de verdade (V), qualquer que seja o valor lógico das proposições simples que a compõe. Tautologias também são chamadas de proposições tautológicas ou proposições logicamente verdadeiras. Exemplo 1) A proposição (p p) (princípio da não contradição) é tautológica. 2) As proposições p p e p p (Princípio de identidade) também são tautológicas. 3) A proposição (p p) (princípio do terceiro excluído) é tautológica. 3

42 Princípio da substituição para as tautologias Seja P(p, q, r,...) uma tautologia e sejam P 0 (p, q, r,...), Q 0 (p, q, r,...), R 0 (p, q, r,...),... proposições quaisquer. Se substituirmos em P(p, q, r,...) 1. p por P 0 ; 2. q por Q 0 ; 3. r por R 0 ; e assim para todas as proposições componente ainda teremos uma tautologia P(P 0, Q 0, R 0,...); 4

43 Contradição Definição: Chama-se contradição toda proposição composta cujo valor verdade é sempre de falsidade (F), qualquer que seja o valor lógico das proposições simples que a compõe. Contradições também são chamadas de proposições contraválidas ou proposições logicamente falsas. Para contradições também vale um Princípio de substituição análogo ao que foi feito para tautologias. Seja P(p, q, r,...) uma contradição e sejam P 0 (p, q, r,...), Q 0 (p, q, r,...), R 0 (p, q, r,...),... proposições quaisquer. Então P(P 0, Q 0, R 0,... é uma contradição Exemplo 1) A proposição (p p) é uma contradição. 2) As proposição p p também é uma contradição. 5

44 Contingência Definição: Chama-se contingência toda proposição composta que não é nem tautologia nem contradição. Exemplo 1) A proposição p p é uma contingência. 2) A proposição p q p é uma contingência. 6

45 Contingência Exercícios: Determinar quais das seguintes proposições são tautologicas, contraválidas ou contingentes. a) p ( p q) b) p q (p q) c) p (q (q p)) d) ((p q) q) p e) p q (p q) f) p q (p q) 7

46 Implicação lógica Definição: Diz-se que uma proposição P(p, q, r,...) implica logicamente ou apenas implica uma proposição Q(p, q, r,...), se Q(p, q, r,...) é verdadeira (V) todas as vezes que P(p, q, r,...) é verdadeira (V). Notação: P(p, q, r,...) = Q(p, q, r,...) Propriedades da Implicação Lógica a) P(p, q, r,...) = P(p, q, r,...) (Reflexiva) b) 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,...) (Transitiva) 8

47 Implicação lógica Algumas regras de inferências: (1) As tabelas verdade das proposições p q, p q e p q são p q p q p q p q V V V V V V F F V F F V F V F F F F F V A proposição p q é verdadeira somente na linha 1 e, nessa linha também são verdadeiras as proposições p q e p q. Nesse caso dizemos que p q implica p q e p q implica p q. E escrevemos p q = p q e p q = p q. 9

48 Implicação lógica (2) As tabelas verdade das proposições p q p q, q p são: p q p q p q q p V V V V V V F F F V F V F V F F F V V V Nesse caso dizemos que p q implica p q e p q implica q p. E escrevemos p q = p q e p q = q p. 10

49 Lógica e Matemática Discreta Proposições Prof clezio 26 de Março de 2018 Curso de Ciência da Computação

50 Inferência Lógica Uma inferência lógica, ou, simplesmente uma inferência, é uma tautologia da forma p q; Para evitar confusão tanto na leitura quanto na compreensão, vamos usar a flecha simples para indicar a proposição condicional e = para implicação lógica. A proposição p é chamada antecedente, e q, consequente da implicação. Da definição decorre imediatamente que p = q, se e somente se, o consequente q assumir o valor lógico V, sempre que o antecedente p assumir esse valor. É possível mostrar que a inferência lógica têm as seguintes propriedades: a) Reflexiva: p = p; b) Transitiva: Se p = q e q = r, então p = r 1

51 Regas de inferência Lógica Regra da Adição p = p q Exemplo: Eu trabalho, logo, eu trabalho ou fico em casa dormindo. Regra da Simplificaçao p q = p e p q = q Exemplo: Eu trabalho e viajo muito, logo, trabalho. Eu trabalho e viajo muito, portanto, eu viajo muito. Regra do Silogismo Hipotético (ou Condicional) (p q) (q r) = p r Exemplo: Se trabalho, ganho dinheiro, e, se ganho dinheiro, vou viajar; logo, se trabalho, vou viajar. Regra do Silogismo Disjuntivo (ou Alternativo) (p q) p = q Exemplo: Ou trabalho ou estudo; não trabalho; logo, estudo. 2

52 Regas de inferência Lógica Regra do Silogismo Conjuntivo (ou Incompatibilidade) (p q) q = p. Exemplo: É falso que eu estudo e trabalho; eu trabalho; logo, não estudo Dilema Construtivo (p q) (r s) (p r) = q r Exemplo: Se vou à festa, fico cansado; se vejo televisão, durmo; ou vou à festa ou fico vendo televisão; logo, ou fico cansado ou durmo. Dilema Destrutivo (p q) (r s) ( q s) = p r Exemplo: Se vou à festa, fico cansado; se vejo televisão, durmo; ou não fico cansado ou não vou dormir; logo, ou não vou à festa ou não vejo televisão. Regra da Inconsistência (de uma contradição se conclui qualquer proposição) (p p) = q Exemplo: O avião está voando; o avião não está voando; logo, eu sou o Rei da Inglaterra. 3

53 Regas de inferência Lógica Modus Ponens (p q) p = q Exemplo: Se ganhar na Loteria, fico rico; ganhei na Loteria; logo, fiquei rico. Modus Tollens (p q) q = p Exemplo: Se ganhar na Loteria, fico rico; não fiquei rico; logo não ganhei na Loteria. Regra da Atenuação p q = p q r Exemplo: Se eu ganhar na Loteria, fico rico; logo, se eu ganhar na Loteria, fico rico ou vou viajar. Regra da Retorsão p p = p Exemplo: Se eu não trabalhar, trabalho; logo, trabalho. 4

54 Equivalência Lógica Uma expressão proposicional da forma bicondicional p q que é, também, uma tautologia, é chamada uma equivalência (ou equivalência lógica). As proposições p e q são ditas equivalentes, e escrevemos p q. Por exemplo, a expressão p q q p é uma equivalência. Veja sua Tabela Verdade: p q p q P q q p p q q p V V V F F V V V F F F V F V F V V V F V V F F V V V V V A condicional q p é chamada de contra-positiva de p q 5

55 Equivalência Lógica A relação de equivalência possui as propriedades: Reflexiva: p p Simétrica:Se p q, então q p Transitiva: Se p q e q r, então p r Leis da Comutatividade p q q p p q q p Exemplo: Fui ao teatro ou ao cinema equivale a Fui ao cinema ou ao teatro. Leis da Associatividade (p q) r p (q r) (p q) r p (q r) 6

56 Equivalência Lógica Leis da Distributividade p (q r) (p q) (p r) p (q r) (p q) (p r) Leis de De Morgan (p q) p q (p q) p q Exemplo: Não é verdade que João foi ao cinema e ao teatro; isso equivale a: Ou João não foi ao cinema ou não foi ao teatro. Leis da Idempotência p p p p p p Lei da Dupla Negação ( p) p Lei da Condicional p q p q Exemplo: Se continuar chovendo, o rio vai transbordar; equivale a: Ou para de chover ou o rio vai transbordar. 7

57 Equivalência Lógica Lei da Bicondicional p q (p q) (q p) p q (p q) ( p q) Exemplo: Um número é divisível por 10 se e somente se terminar por zero; equivale a: Se um numero terminar por zero, então é múltiplo de 10, e, se for múltiplo de 10, então termina por zero; também equivale a: Ou o número é múltiplo de 10 e termina em zero, ou não é múltiplo de 10 e não termina em zero. Lei da Contraposição p q q p Exemplo: Se João estudar, será aprovado; equivale a: Se João não for aprovado, então é porque ele não estudou. Lei da Absorção p p q p q 8

58 Equivalência Lógica Lei de Clavius p p p Lei da Refutação por Absurdo (p q) (p q) p Lei do Dilema (p q) ( p q) q Exemplo: Se eu for aprovado, vou viajar, e, se não for, também vou; equivale a: vou viajar. Lei da Demonstração por Absurdo (onde F é uma contradição) p q F p q Lei de Exportação Importação p (q r) p q r 9

59 Lógica e Matemática Discreta Método Dedutivo Prof Clezio 2 de Abril de 2018 Curso de Ciência da Computação

60 Método Dedutivo Implicações e equivalências foram demonstradas até agora usando tabelas verdades. Não é um método muito eficiente. É trabalhoso e demorado. Vamos olhar então para o método dedutivo. O método dedutivo propões se a determinar se uma implicação ou equivalência é o não verdadeira sem uso de novas tabelas verdades. Exemplo 1) Demonstrar as implicações (i) f = p (ii) p = v Onde p é uma proposição qualquer e f e v são proposições cujos valores lógicos são de falsidade (F) e verdade (V) respectivamente. 1

61 Método Dedutivo Prova: (i) f p f p v p v (ii) p v p v v Observação: Tablas verdade de c p e p t p c t c p p t V F V V V F F V V V 2

62 Método Dedutivo 2) Demonstrar a implicação p q = p (Simplificação) 3) Demonstrar a implicação: p = p q (Adição) 4) Demonstrar a implicação: (p q) p = q (Modus Ponens) 5) Demonstrar a implicação: (p q) q = p (Modus Tollens) 6) Demonstrar a implicação: (p q) p = q (silogismo disjuntivo) 7) Demonstrar a implicação: p q = p q 8) Demonstrar a implicação: p = q p 9) Demonstrar a implicação: p = p q 10) Demonstrar a implicação: p q = p r q 11) Demonstrar a equivalência: p q p q c (Redução ao absurdo) 3

63 Método Dedutivo 12) Demonstrar a equivalência: p q p q q 13) Demonstrar a equivalência: (p q) (p q) p 14) Demonstrar a equivalência: p q r p (q r) (Exportação-Importação) 15) Demonstrar a equivalência: (p r) (q r) p q r 16) Demonstrar a equivalência (p q) (p r) p q r 17) Demonstrar a equivalência (p r) (q s) p q r s 4

64 Redução do Número de Conectivos Teorema: Entre os cinco conectivos fundamentais (,,,, ) três exprimem-se em termos de apenas dois dos seguintes pare: (1) e (2) e (3) e Prova: (1), e exprimem-se em termos de e : p q p q ( p q) p q p q p q (p q) (q p) ( ( p q) ( q p)) 5

65 Redução do Número de Conectivo Prova: (2), e exprimem-se em termos de e : p q p q ( p q) p q p q (p q) p q (p q) (q p) (p q) ( p q)) 3), e exprimem-se em termos de e : p q ( p q) (p q) p q p q p q) p q (p q) (q p) (p q) (q p)) Os conectivos, e nã se exprimem em termos de e 6

66 Forma Normal da Proposições Definição: Diz-se que uma proposição está na forma normal (FN) se e somente se quando muito contem os conectivo, e. Exemplo p q, ( p q), (p q) ( q r) 7

67 Forma Normal conjuntiva Definição: Diz-se que uma proposição está na forma normal conjuntiva (FNC) se e somente se satisfazem as seguintes condições: (1) Contém, quando muito, os conectivo, e ; (2) não aparece repetido (por exemplo ) e não tem alcance sobre e, em outras palavras, só incide sobre letras proposicionais; (3) não tem alcance sobre ( isto é, não aparecem coisas do tipo p (q r)) Exemplo p q, p q r, ( p q) ( q r) Ver exemplos na pg. 83 do livro texto 8

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

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

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

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

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

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

Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES

Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira

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

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 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

Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional

Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional Bacharelado em Sistemas de Informação Lógica Matemática Prof.ª Dr.ª Donizete Ritter Introdução ao Cálculo Proposicional 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição Valor Lógico Proposição

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 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

Matemática Computacional

Matemática Computacional Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:

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

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

CCAE. Lógica Aplicada a Computação - Cálculo Proposicional - Parte I. UFPB - Campus IV - Litoral Norte. Centro de Ciências Aplicadas e Educação

CCAE. Lógica Aplicada a Computação - Cálculo Proposicional - Parte I. UFPB - Campus IV - Litoral Norte. Centro de Ciências Aplicadas e Educação CCAE Centro de Ciências Aplicadas e Educação UFPB - Campus IV - Litoral Norte Lógica Aplicada a Computação - Cálculo Proposicional - Parte I Estes slides foram criados pelo Professor Alexandre Duarte Para

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

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

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

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

Iniciação a Lógica Matemática

Iniciação a Lógica Matemática Iniciação a Lógica Matemática Faculdade Pitágoras Prof. Edwar Saliba Júnior Julho de 2012 1 O Nascimento da Lógica É lógico que eu vou!, Lógico que ela disse isso! são expressões que indicam alguma coisa

Leia mais

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.

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. 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

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 Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016

Lógica Proposicional Parte II. Raquel de Souza Francisco Bravo   25 de outubro de 2016 Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições

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. 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

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

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados

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

Lógica Proposicional (cont.)

Lógica Proposicional (cont.) Lógica Proposicional (cont.) Conectivos lógicos Conjunção (e: ^) Disjunção (ou: v) Negação (não : ~) Condicional (se...então: ) Bicondicional (se somente se: ) 1 Negação de um proposição composta Negar

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

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

Lógica de Programação

Lógica de Programação Lógica de Programação Autor: Jusdewbe Tatiane de Souza Mora 1 Introdução: LÓGICA O estudo da Lógica, é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto. Esta definição

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

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 FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG

Leia mais

Fundamentos de Lógica Matemática

Fundamentos de Lógica Matemática Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise

Leia mais

3.3 Cálculo proposicional clássico

3.3 Cálculo proposicional clássico 81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos

Leia mais

MATEMÁTICA Questões comentadas Daniela Arboite

MATEMÁTICA Questões comentadas Daniela Arboite MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível

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

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

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

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

A Lógica Matemática se ocupa da análise e relações entre certas sentenças, quase sempre de conteúdo matemático, chamadas proposições.

A Lógica Matemática se ocupa da análise e relações entre certas sentenças, quase sempre de conteúdo matemático, chamadas proposições. Capítulo 1 CÁLCULO PROPOSICIONAL 1. PROPOSIÇÕES E CONECTIVOS A Lógica Matemática se ocupa da análise e relações entre certas sentenças, quase sempre de conteúdo matemático, chamadas proposições. Uma proposição

Leia mais

Universidade Federal Rural de Pernambuco Departamento de Matemática Disciplina: Elementos de Lógica Matemática Prof a Yane Lísley

Universidade Federal Rural de Pernambuco Departamento de Matemática Disciplina: Elementos de Lógica Matemática Prof a Yane Lísley Universidade Federal Rural de Pernambuco Departamento de Matemática Disciplina: Elementos de Lógica Matemática Prof a Yane Lísley 1 a Lista de Exercícios 1. Determinar o valor lógico (V ou F) de cada uma

Leia mais

Introdução a computação

Introdução a computação Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...

Leia mais

Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto

Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto Álgebra das Proposições Prof. Guilherme Tomaschewski Netto guilherme.netto@gmail.com Roteiro! Lógica Matemática clássica! Proposições! alores lógicos! Conectivos! Fórmulas Lógicas! Exemplos de aplicações

Leia mais

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam. Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos

Leia mais

Lógica Proposicional (Consequência lógica / Dedução formal)

Lógica Proposicional (Consequência lógica / Dedução formal) Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /

Leia mais

LÓGICA I ANDRÉ PONTES

LÓGICA I ANDRÉ PONTES LÓGICA I ANDRÉ PONTES 4. Lógica Proposicional A Linguagem da Lógica Proposicional Letras Proposicionais: P, Q, R, S, T,... Conectivos Lógicos: Símbolos auxiliares: (, ), = Conectivo Leitura Símbolo Símbolos

Leia mais

Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência.

Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência. Unidade 1 Sentenças e Representação simbólica Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência. 1 Introdução e Conceitos Iniciais: Geralmente nos expressamos, em português,

Leia mais

Proposições e Conectivos

Proposições e Conectivos Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Proposições e Conectivos Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com

Leia mais

SMA Elementos de Matemática Notas de Aulas

SMA Elementos de Matemática Notas de Aulas Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções

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

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças. NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo

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

Lógica Texto 7. Texto 7. 1 Negação de enunciados atômicos Exercício resolvido Negação de enunciados moleculares 5

Lógica Texto 7. Texto 7. 1 Negação de enunciados atômicos Exercício resolvido Negação de enunciados moleculares 5 Lógica para Ciência da Computação I Lógica Matemática Texto 7 Negação e simplificação de enunciados Sumário 1 Negação de enunciados atômicos 2 1.1 Observações................................ 2 1.2 Exercício

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

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

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

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

1 TEORIA DOS CONJUNTOS

1 TEORIA DOS CONJUNTOS 1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,

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

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

Lógica. Professor Mauro Cesar Scheer

Lógica. Professor Mauro Cesar Scheer Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de

Leia mais

Introdução à Programação I

Introdução à Programação I Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem

Leia mais

Uma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem.

Uma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem. Tautologia Uma proposição composta é uma tautologia, se for sempre verdadeira, independentemente do valor lógico das proposições simples que a compõem. Exemplos: Contradição Uma proposição composta é uma

Leia mais

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

Prof. João Giardulli. Unidade III LÓGICA Prof. João Giardulli Unidade III LÓGICA Objetivo Apresentar os seguintes conceitos: argumento; verificação da validade. Argumento: Algumas definições (dicionário): 1. Raciocínio através do qual se tira

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

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

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.

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

4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência.

4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência. 1 LIVRO Regras de Inferência e Regras de Equivalência 4 AULA META: Introduzir algumas regras de inferência e algumas regras de equivalência. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de:

Leia mais

Álgebra Linear e Geometria Analítica

Álgebra Linear e Geometria Analítica Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu www.estv.ipv.pt/paginaspessoais/lucas lucas@mat.estv.ipv.pt 2007/2008 Álgebra Linear e Geometria Analítica

Leia mais

Fundamentos de Lógica Matemática

Fundamentos de Lógica Matemática Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível

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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Matemática Discreta - 01

Matemática Discreta - 01 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

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

Prof. Jorge Cavalcanti

Prof. Jorge Cavalcanti Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Lógica para Computação. Álgebra de Boole

Lógica para Computação. Álgebra de Boole Lógica para Computação Álgebra de Boole Formas Normais Definição: diz-se que uma proposição está na forma normal (FN) se e somente se, quando muito, contém os conectivos ~, ^ e v. - Toda proposição pode

Leia mais

Sistemas Inteligentes

Sistemas Inteligentes Sistemas Inteligentes Aula 21/10 Agentes Lógicos Agente Baseado em Conhecimento Agentes Baseados em Conhecimento ou Agentes Lógicos. Podem lidar mais facilmente com ambientes parcialmente observáveis.

Leia mais

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira. Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Lógica Proposicional 1 Proposição Uma rase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F) ou Verdadeiro

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

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

Matemática para controle:

Matemática para controle: Matemática para controle: Introdução à Lógica Amit Bhaya, Programa de Engenharia Elétrica COPPE/UFRJ Universidade Federal do Rio de Janeiro amit@nacad.ufrj.br http://www.nacad.ufrj.br/ amit Introdução

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

Noções básicas de Lógica

Noções básicas de Lógica Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. Uma expressão pode ser uma expressão com significado expressão sem significado

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

CAPÍTULO 4 Cálculo proposicional

CAPÍTULO 4 Cálculo proposicional CÁLCULO PROPOSICIONAL 1. PROPOSIÇÕES Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas não ambas. As proposições podem ser divididas em proposições simples e compostas. 1.1.

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

ANÁLISE MATEMÁTICA I. Curso: EB

ANÁLISE MATEMÁTICA I. Curso: EB ANÁLISE MATEMÁTICA I (com Laboratórios) Curso: EB Lógica - Resumo Ana Matos DMAT Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a qualquer sequência de símbolos.

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

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

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 Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo

Lógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento

Leia mais

Regras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

Regras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março Matemática Discreta Regras de Inferência Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Argumentos Válidos em Lógica Proposicional Considere o argumento: Se João pensa, então João existe.

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