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

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

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

Transcrição

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

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

3 Lógica Introdução Importância da lógica: Precisar argumentos matemáticos Verificar a sua validade Programação de computadores Verificar a correcção de algoritmos Circuitos electrónicos digitais Definição Uma proposição é uma afirmação que pode ser classificada como verdadeira ou falsa. Fernando Fontes (Universidade do Minho) Lógica 3 / 65

4 Introdução Exemplos de proposições: Guimarães é a capital de Portugal. x + y = y + x para quaisquer x, y R. A milionésima casa decimal de π é 5. (Não precisamos de saber o valor para considerarmos se é proposição) 4 é positivo e 3 é negativo. Se hoje é Domingo, então = 3. Contra exemplos: Vamos almoçar? Estejamos atentos! x y = y x (Para que valores de x e y?) Fernando Fontes (Universidade do Minho) Lógica 4 / 65

5 Cálculo Proposicional I Introdução Valores Lógicos: Verdadeiro, representado por V ou 1. Falso, representado por F ou 0. Operadores Lógicos: Negação: Negação de p é representado por p (também representado por p em expressões lógicas). p é verdadeiro se p for falso e é falso se p for verdadeiro. Exemplo: p: Hoje é Domingo. p: Hoje não é Domingo. Fernando Fontes (Universidade do Minho) Lógica 5 / 65

6 Cálculo Proposicional II Introdução E(Conjunção): A conjunção de p e q é representada por p q (também por p.q ou pq). p q é verdadeiro se p e q forem ambos verdadeiros. É falso se p for falso ou se q for falso (ou ambos). Exemplo: q: Hoje está a chover. p q: Hoje é Domingo e está a chover. OU(Disjunção): Disjunção de p ou q é representada por p q. p q é verdadeiro se p for verdadeiro ou se q for verdadeiro. É falso se p e q forem ambos falsos. Fernando Fontes (Universidade do Minho) Lógica 6 / 65

7 Tabelas de verdade I Introdução NEGAÇÃO p p CONJUNÇÃO p q p q DISJUNÇÃO p q p q (Tem que explicitar todas as combinações possíveis.) Fernando Fontes (Universidade do Minho) Lógica 7 / 65

8 Tabelas de verdade II Introdução (p q) ( r) p q r p q r (p q) ( r) Fernando Fontes (Universidade do Minho) Lógica 8 / 65

9 Outros Operadores Lógicos I Introdução OU EXCLUSIVO: representado por p q. p q é verdadeiro quando exactamente uma das proposições p ou q é verdadeira. É falso quando p e q tiverem o mesmo valor lógico. p q p q Fernando Fontes (Universidade do Minho) Lógica 9 / 65

10 Introdução Outros Operadores Lógicos II IMPLICAÇÃO (material): p implica q é representado por p q. p q é falso quando p é verdadeiro e q é falso. É verdadeiro em qualquer outro caso. p q p q Fernando Fontes (Universidade do Minho) Lógica 10 / 65

11 Introdução Outros Operadores Lógicos III Podemos ler p q como: p implica q Se p então q p é condição suficiente para q q é condição necessária para p q sempre que p q se p Numa implicação p q chamamos: A p a hipótese, o antecedente ou a premissa. A q a conclusão, ou consequência. Fernando Fontes (Universidade do Minho) Lógica 11 / 65

12 Introdução Outros Operadores Lógicos IV EQUIVALÊNCIA (material): p equivale a q, ou p se e só se q, representado por p q. p q é verdadeiro se p e q tiverem os mesmos valores lógicos. É falso no outro caso. p q p q Fernando Fontes (Universidade do Minho) Lógica 12 / 65

13 Expressões Lógicas I Introdução Regras de Precedência: precedência mais alta,, nível de precedência seguinte, precedência mais baixa Exemplo: p q p q deve ler-se como: (p ( q)) (( p) q) Atenção a expressões ambíguas do tipo p q r ou do tipo p q r. Fernando Fontes (Universidade do Minho) Lógica 13 / 65

14 Expressões Lógicas II Introdução Exercício: Verifique que (p q) r tem uma tabela de verdade diferente de p (q r). Verifique que (p q) r tem uma tabela de verdade diferente de p (q r). Fernando Fontes (Universidade do Minho) Lógica 14 / 65

15 Implicações e Equivalências Lógicas Implicações e Equivalências Lógicas I Definição Uma expressão lógica que seja sempre verdadeira (quaisquer que sejam os valores lógicos das proposições que a compõem) é chamada uma Tautologia. Definição Uma expressão lógica que seja sempre falsa é chamada uma Contradição. Fernando Fontes (Universidade do Minho) Lógica 15 / 65

16 Implicações e Equivalências Lógicas Implicações e Equivalências Lógicas II Exemplo p p é uma tautologia. p p é uma contradição. p p p p p q Fernando Fontes (Universidade do Minho) Lógica 16 / 65

17 Implicações e Equivalências Lógicas Implicações e Equivalências Lógicas III Exercício Verifique que são tautologias as seguintes expressões: 1 (a b) ( a b) 2 (a b) (( a) b) Fernando Fontes (Universidade do Minho) Lógica 17 / 65

18 Implicações e Equivalências Lógicas Equivalência Lógica ( ) I Dizemos que uma expressão lógica f 1 é logicamente equivalente a outra expressão f 2 se e só se os valores lógicos de ambas as expressões forem iguais quaisquer que sejam os valores lógicos das proposições que as compõem. Isto é, as últimas colunas das tabelas de verdade de f 1 e f 2 são iguais. Conclui-se que: f 1 f 2 se e só se f 1 f 2 é uma tautologia. Fernando Fontes (Universidade do Minho) Lógica 18 / 65

19 Implicações e Equivalências Lógicas Equivalência Lógica ( ) II As equivalências lógicas são úteis para simplificar expressões. Fernando Fontes (Universidade do Minho) Lógica 19 / 65

20 Implicações e Equivalências Lógicas Equivalência Lógica ( ) III Exercício: Verifique as leis de De Morgan: (p q) ( p q) (p q) ( p q) Verifique p q p q Fernando Fontes (Universidade do Minho) Lógica 20 / 65

21 Implicações e Equivalências Lógicas Implicação Lógica ( ) I Dizemos que uma expressão lógica f 1 IMPLICA LOGICAMENTE outra expressão f 2 se e só se quaisquer que sejam os valores lógicos das proposições que compõem f 1 e que tornam f 1 verdadeira, também tornam f 2 verdadeira. Isto é, sempre que na última coluna da tabela de verdade de f 1 ocorrer um valor verdadeiro, terá que ser também verdadeiro o valor correspondente na última coluna da tabela de verdade de f 2. Conclui-se que: f 1 f 2 se e só se f 1 f 2 é uma tautologia. Fernando Fontes (Universidade do Minho) Lógica 21 / 65

22 Implicações e Equivalências Lógicas Implicação Lógica ( ) II As implicações lógicas são úteis na demonstração de argumentos matemáticos. Exercício:Verifique o seguinte argumento de redução ao absurdo: Se p implica uma contradição, então p é verdadeiro. Fernando Fontes (Universidade do Minho) Lógica 22 / 65

23 Implicações e Equivalências Lógicas Implicação Lógica ( ) III Forma normal disjuntiva: Expressão na forma de disjunção de termos compostos por conjunções e negações. Exemplo: ( p q r) (p q r) ( p r) Forma normal conjuntiva: Expressão na forma de conjunções de termos compostos por disjunções e negações. Exemplo: ( p q r) (p q r) ( p r) Fernando Fontes (Universidade do Minho) Lógica 23 / 65

24 Implicações e Equivalências Lógicas Obtenção da Forma Normal Disjuntiva a partir de tabelas de verdade. I Exemplo: p q p q Considere as linhas da tabela que dão resultado verdadeiro. No exemplo 2 a e 3 a linhas. Fernando Fontes (Universidade do Minho) Lógica 24 / 65

25 Implicações e Equivalências Lógicas Obtenção da Forma Normal Disjuntiva a partir de tabelas de verdade. II 2 Para cada uma dessas linhas conjugue as entradas verdadeiras com a negação das entradas falsas. No exemplo: 2 a linha: p q 3 a linhas: p q 3 Faça a disjunção das expressões obtidas para cada linha. No exemplo: ( p q) (p q) Fernando Fontes (Universidade do Minho) Lógica 25 / 65

26 Implicações e Equivalências Lógicas Obtenção da Forma Normal Disjuntiva a partir de tabelas de verdade. III Exercício: Transforme na forma normal disjuntiva as seguintes expressões: 1 (p q) r 2 ( p q) (r p) Expressões na forma normal disjuntiva são habitualmente escritas representando a conjunção a b por a b ou ab (com precedência superior à disjunção) e a negação a por a. Assim, (p q r) (p q r) poderá ser representado como pqr pqr Fernando Fontes (Universidade do Minho) Lógica 26 / 65

27 Implicações e Equivalências Lógicas Obtenção da Forma Normal Disjuntiva a partir de tabelas de verdade. IV Uma das simplificações mais usuais de expressões na forma normal disjuntiva é agrupar termos que diferem apenas no valor de uma das variáveis. (termos adjacentes) Exemplo: abc abc = ab(c c) = ab 1 = ab Se tivermos expressões mais complexas poderá não ser tão fácil identificar as possíveis simplificações. Exemplo: abcd abcd abcd abcd abcd =? poderemos recorrer a métodos gráficos para simplificar. Fernando Fontes (Universidade do Minho) Lógica 27 / 65

28 Mapas de Karnaugh I Mapas de Karnaugh Método gráfico para simplificar expressões lógicas na forma normal disjuntiva que não tenham um número muito elevado de variáveis (tipicamente até 6 variáveis). Mapas de Karnaugh para expressões de 2 variáveis a) xy xy b) xy xy c) xy xy xy d) x y Fernando Fontes (Universidade do Minho) Lógica 28 / 65

29 Mapas de Karnaugh II Mapas de Karnaugh Objectivo: Agrupar células adjacentes formando blocos. Blocos com 2 células termos com uma variável Blocos com 1 célula termos com 2 variáveis. Cobrir o mapa com blocos de tamanho o maior possível. a) y b)xy xy c) x y d) x y Fernando Fontes (Universidade do Minho) Lógica 29 / 65

30 Mapas de Karnaugh Mapas de Karnaugh III Mapas de Karnaugh para expressões de 3 variáveis f = f (x, y, z) Células adjacentes diferem apenas numa variável. 1 a célula é adjacente à 4 a coluna! Fernando Fontes (Universidade do Minho) Lógica 30 / 65

31 Mapas de Karnaugh IV Mapas de Karnaugh Blocos com 1 célula termo com 3 variáveis Blocos com 2 células termos com 2 variáveis. Blocos com 4 células termos com 1 variável. Exemplo xyz xyz yz x Fernando Fontes (Universidade do Minho) Lógica 31 / 65

32 Mapas de Karnaugh V Mapas de Karnaugh Objectivo da simplificação: Cobrir o mapa com blocos (formados por células adjacentes) de tamanho o maior possível (e com o menor número possível de blocos). Questão: Como cobrir o mapa anterior com 3 blocos de 4 elementos. Solução: x y z Exercício: Simplifique as seguintes expressões: xy xyz xyz yz xyz xy Fernando Fontes (Universidade do Minho) Lógica 32 / 65

33 Mapas de Karnaugh VI Mapas de Karnaugh Mapas de Karnaugh para expressões de 4 variáveis Células adjacentes diferem apenas numa variável 1 a coluna é adjacente à 4 a coluna! 1 a linha é adjacente à 4 a linha! Fernando Fontes (Universidade do Minho) Lógica 33 / 65

34 Mapas de Karnaugh VII Mapas de Karnaugh Exemplo: f (x, y, w, z) = xywz xywz xywz xywz Um bloco de 4 células adjacentes! f (x, y, w, z) = yz Fernando Fontes (Universidade do Minho) Lógica 34 / 65

35 Lógica de Predicados Lógica de Predicados Considere as afirmações: P(x): x > 3 Q(x, y): x = y + 3 R(x, y, z): x + y z é par Estas afirmações não podem ser classificadas como verdadeiras ou falsas enquanto os valores para as variáveis não forem especificadas. Mas, P(2) é falso Q(6, 3) é verdadeiro R(2, 2, 3) é falso Fernando Fontes (Universidade do Minho) Lógica 35 / 65

36 Quantificadores Lógica de Predicados Definição: Um predicado ou função proposicional é uma afirmação envolvendo variáveis tal que qualquer substituição de cada variável por um ponto do seu domínio, torna a afirmação numa proposição. Quantificadores Uma alternativa a atribuir valores específicos às variáveis de um predicado é utilizar quantificadores que também transformam os predicados em proposições. Fernando Fontes (Universidade do Minho) Lógica 36 / 65

37 Lógica de Predicados Quantificador Universal I x P(x) Para todo o x P(x) Qualquer que seja x P(x) Para todos os valores de x pertencentes ao universo do discurso, a proposição P(x) é verdadeira. O universo poderá (e deverá) ser especificado quando há ambiguidades Exemplo: x R x 2 0 é uma proposição verdadeira. x 2 0 é uma proposição falsa. x C Fernando Fontes (Universidade do Minho) Lógica 37 / 65

38 Lógica de Predicados Quantificador Universal II Quando o universo do discurso é finito Exemplo: x {1, 2, 3, 4} A proposição x {1,2,3,4} P(x) pode ser escrita como conjunção P(1) P(2) P(3) P(4) (i.e. P tem que ser verdadeiro para 1, 2, 3 e 4) Exercício: x P(x, y) é Predicado ou Proposição? Fernando Fontes (Universidade do Minho) Lógica 38 / 65

39 Lógica de Predicados Quantificador Existencial, I x P(x) Existe um x tal que P(x). Existe pelo menos um x tal que P(x). Para algum x pertencente ao universo do discurso a proposição P(x) é verdadeira. Da mesma maneira o universo poderá ser especificado x R x N 2x = 1 é verdadeiro 2x = 1 é falso Fernando Fontes (Universidade do Minho) Lógica 39 / 65

40 Lógica de Predicados Quantificador Existencial, II Quando o universo é finito a proposição x {1,2,3,4} P(x) é o mesmo que a disjunção P(1) P(2) P(3) P(4). Exercício: Justifique que ( x P(x)) ( x P(x)). Fernando Fontes (Universidade do Minho) Lógica 40 / 65

41 Lógica de Predicados Quantificador Existencial, III x P(x) Logo, Para ser verdadeiro, P(x) tem que ser verdadeiro para todos os valores de x. Para ser falso basta que arranjemos um exemplo para o qual P(x) é falso. ( x P(x)) x ( P(x)) Fernando Fontes (Universidade do Minho) Lógica 41 / 65

42 Lógica de Predicados Quantificador Existencial, IV x P(x) Para ser verdadeiro, basta que encontremos um exemplo de x para o qual P(x) é verdadeiro. Para ser falso teremos que mostrar que não há nenhum exemplo de um valor de x para o qual P(x) seja verdadeiro. Por outras palavras, para ser falso, P(x) tem que ser falso para todos os valores de x. Logo, ( x P(x)) x ( P(x)) Exercício: Utilize as Leis de Morgan para verificar as expressões anteriores para um universo finito {1, 2, 3, 4}. Fernando Fontes (Universidade do Minho) Lógica 42 / 65

43 Lógica de Predicados Quantificador Existencial, V Atenção à ordem dos quantificadores! Exemplo: Qual o valor lógico das seguintes proposições? P : x {1,2} y {1,2} x = y Q : y {1,2} x {1,2} x = y P é verdadeiro! Q é falso! Fernando Fontes (Universidade do Minho) Lógica 43 / 65

44 Lógica de Predicados Tradução de linguagem natural para expressões lógicas I Exemplo 1: Toda a gente tem um bom amigo. Seja B(x, y) : y é um bom amigo de x. x y B(x, y). Exemplo 2: Há alguém que é bom amigo de toda a gente. y x B(x, y). Exemplo 3: Toda a gente tem exactamente um melhor amigo. Seja M(x, y) : y é o melhor amigo de x. x y z (M(x, y) (z y)) M(x, y). Fernando Fontes (Universidade do Minho) Lógica 44 / 65

45 Lógica de Predicados Tradução de linguagem natural para expressões lógicas II Exemplo 4: O Marco Paulo tem pelo menos 2 amores. Seja A(x): x é o amor do Marco Paulo. x y A(x) A(y) (x y). Exemplo 5: O Marco Paulo tem exactamente 2 amores. x y z [A(x) A(y) (x y) (x z) (y z)] A(z). Fernando Fontes (Universidade do Minho) Lógica 45 / 65

46 Argumentação Matemática Argumentação Matemática I Como verificar se um argumento matemático está correcto? Como cosntruir argumentos matemáticos que permitam mostrar que uma proposição ou teorema são verdadeiros? Um TEOREMA é uma afirmação que se pode mostrar ser verdadeira. Um teorema é habitualmente escrito na forma: H 1 H 2... H n C em que as proposições: H 1, H 2,..., H n são as HIPÓTESES C é a CONCLUSÃO. Lemas e Corolários são casos particulares de teoremas. Fernando Fontes (Universidade do Minho) Lógica 46 / 65

47 Argumentação Matemática Argumentação Matemática II Lemas sem importância própria, usados na demonstração de outros teoremas. Corolários são casos particulares de um teorema. Uma Demonstração de um teorema consiste numa sequência de proposições que termina na conclusão (C) e que são Válidas. Para uma proposição de uma demonstração ser válida deverá ser: ou uma das hipóteses (H 1, H 2,...), uma tautologia conhecida, derivar de uma proposição anterior por substituição de variáveis livres (ie variáveis não associadas a um quantificador), ou derivar de proposições anteriores por Regras de Inferência. Fernando Fontes (Universidade do Minho) Lógica 47 / 65

48 Regras de Inferência I Argumentação Matemática P 1 P 2. P k Q lê-se: P 1, P 2,, P k logo Q Significado: P 1 P 2... P k Q Algumas regras de inferência mais usuais: Regra Tautologia Nome p p q p (p q) Adição p q p (p q) p Simplificação Fernando Fontes (Universidade do Minho) Lógica 48 / 65

49 Argumentação Matemática Regras de Inferência II Regra Tautologia Nome p p q [p (p q)] q Modus Ponens (destacamento) q p p q p [ q (p q)] p Modus Tollens p q q r p r [(p q) (q r)] (p r) Silogismo de hipótese p q p q [(p q) p] q Silogismo de Disjunção Fernando Fontes (Universidade do Minho) Lógica 49 / 65

50 Regras de Inferência III Argumentação Matemática Exemplo 1 Verifique formalmente o seguinte argumento: Está frio. Logo está frio ou está chuva. p: está frio q: está chuva 1 p por hipótese 2 p q por 1 e adição. Fernando Fontes (Universidade do Minho) Lógica 50 / 65

51 Regras de Inferência IV Argumentação Matemática Exemplo 2 Verifique o argumento: Se hoje estiver sol vou à praia. Hoje está sol. Logo vou à praia. p: está sol q: vou à praia 1 p q por hipótese 2 p por hipótese 3 q por 1,2 e Modus Ponens. Fernando Fontes (Universidade do Minho) Lógica 51 / 65

52 Regras de Inferência V Argumentação Matemática Exemplo 3 Verifique o seguinte argumento: Se eu estudar ou se eu for um génio, então vou passar a MD Se eu passar a MD vou ter umas boas férias. Logo, se eu não tiver umas boas férias não sou um génio. Uma possível demonstração: e: eu estudo g: eu sou um génio p: vou passar a MD f : vou ter umas boas férias Fernando Fontes (Universidade do Minho) Lógica 52 / 65

53 Regras de Inferência VI Argumentação Matemática 1 e g p por hipótese 2 p f por hipótese 3 g e g adição 4 g g e 3, comutatividade da disjunção 5 g p 4,1, silogismo da hipótese 6 g f 5,2, silogismo da hipótese 7 f g 6, contrapositivo. Fernando Fontes (Universidade do Minho) Lógica 53 / 65

54 Argumentação Matemática Técnicas de Demonstração I Demonstração Directa H 1 H 2... H n C Começando pelas hipótese e usando as regras de inferência, tautologias e outras proposições válidas tentar chegar à conclusão C. Demonstração por Contradição (redução ao absurdo) H 1 H 2... H n C contradição Demonstração do contrapositivo C (H 1 H 2... H n ) Fernando Fontes (Universidade do Minho) Lógica 54 / 65

55 Argumentação Matemática Técnicas de Demonstração II Demonstração por enumeração dos casos Usa o facto que H 1 H 2... H n C é equivalente a (H 1 C) (H 2 C)... (H n C) Cada um pode ser mostrado separadamente. Fernando Fontes (Universidade do Minho) Lógica 55 / 65

56 Argumentação Matemática Técnicas de Demonstração III Exemplo Mostre que se 3n + 2 é ímpar, então n também é ímpar i) por contradição ii) por contrapositivo i) Por contradição (3n + 2 é ímpar) (n é par) contradição Por hipótese: 3n + 2 = 2k + 1 para algum k inteiro n = 2l para algum l inteiro Mas 3n + 2 = 3(2l) + 2 = 6l + 2 = 2k + 1 Fernando Fontes (Universidade do Minho) Lógica 56 / 65

57 Argumentação Matemática Técnicas de Demonstração IV Da última igualdade k = 6l+1 2 = 3l Como k e l são inteiros, temos uma contradição. ii) Pelo contrapositivo (n par) (3n + 2 par) Por hipótese n = 2k, k inteiro Donde 4n + 2 = 3(2k) + 2 = 2(3k + 1) é par. Fernando Fontes (Universidade do Minho) Lógica 57 / 65

58 Argumentação Matemática Técnicas de Demonstração V Exemplo: Mostre que se n não é divisível por 3 então a divisão de n 2 por 3 dá sempre resto 1. (Sugestão: use enumeração de casos) i) Resto 1. n = 3k + 1, k inteiro ii) Resto 2. n = 3k + 2, k inteiro i) n 2 = (3k + 1) 2 = 9k 2 + 3k + 1 = 3(3k 2 + k) + 1, resto 1. ii) n 2 = (3k + 2) 2 = 9k 2 + 6k + 4 = 3(3k 2 + 2k + 1) + 1, resto 1. Fernando Fontes (Universidade do Minho) Lógica 58 / 65

59 Indução Matemática Indução Matemática Técnica de demonstração de teoremas do tipo: P(n) é verdadeiro para qualquer inteiro positivo n. Exemplo: Mostre que o somatório dos n primeiros inteiros é igual a n(n+1) 2, para qualquer n inteiro positivo n. É fácil verificar para os primeiros Fernando Fontes (Universidade do Minho) Lógica 59 / 65

60 Indução Matemática 1 = = = = 6 = = 10 = Mas por enumeração não conseguimos mostrar para todos os inteiros positivos n. Fernando Fontes (Universidade do Minho) Lógica 60 / 65

61 Indução Matemática I Indução Matemática 1 Passo de Base: Mostrar que P(1) é verdadeiro. 2 Passo de Indução: Assumindo que P(k) é verdadeiro, mostrar que P(k + 1) também é verdadeiro, para qualquer k. (i.e. P(k) P(k + 1), k ) Expressando a Indução Matemática como uma Regra de Inferência: P(1) P(k) P(k + 1), k N P(n), k N Ou como [P(1) (P(k) P(k + 1), k N)] P(n), n N Fernando Fontes (Universidade do Minho) Lógica 61 / 65

62 Indução Matemática II Indução Matemática O somatório dos n primeiros inteiros é igual a n(n+1) 2 Demonstração por indução matemática 1 Passo de base P(1) : 1 = = 1 verdadeiro 2 Passo de indução (P(k) P(k + 1)) P(k) : k = k k+1 2 P(k + 1) : k + (k + 1) = (k + 1) k+2 2 P(k) k = k(k+1) k + (k + 1) = (k+1)(k+2) 2 + (k + 1) Fernando Fontes (Universidade do Minho) Lógica 62 / 65

63 Indução Matemática III Indução Matemática k + (k + 1) = k(k+1)+2(k+1) k + (k + 1) = (k+1)(k+2) 2 P(k + 1) Verdadeiro Fernando Fontes (Universidade do Minho) Lógica 63 / 65

64 Interpretação I Indução Matemática O primeiro dominó tomba. Se um qualquer dominó tombar, então o seguinte tomba também. todos os dominós tombam. Fernando Fontes (Universidade do Minho) Lógica 64 / 65

65 Interpretação II Indução Matemática Exercício: Mostre a fórmula da soma de uma progressão geométrica n r i = r r n 1 r 1. n=1 Mostre que 2 n < n! para n 4. Se o cardinal de um conjunto A for n, então o número de subconjuntos de A é igual a 2 n. Mostre por indução. Fernando Fontes (Universidade do Minho) Lógica 65 / 65

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

MÓDULO II - PARTE II LÓGICA DOS PREDICADOS

MÓDULO II - PARTE II LÓGICA DOS PREDICADOS MÓDULO II - PARTE II LÓGICA DOS PREDICADOS Quantificadores Professora Dr. a Donizete Ritter 26 de julho de 2017 Ritter, D. (UNEMAT/DEAD/SI) LÓGICA 26 de julho de 2017 1 / 18 Sumário 1 INTRODUÇÃO 2 TIPOS

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

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

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

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

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

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

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

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017 Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4

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

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE Indução Matemática George Darmiton da Cunha Cavalcanti CIn - UFPE Introdução Qual é a fórmula para a soma dos primeiros n inteiros ímpares positivos? Observando os resultados para um n pequeno, encontra-se

Leia mais

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22 Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é

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

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

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

Referências e materiais complementares desse tópico

Referências e materiais complementares desse tópico Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:

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

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

Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo

Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Parte 3 Parte 3 Matemática Básica 1 Parte 3 Matemática Básica 2 Qual é a negação do predicado

Leia mais

Aula 1: Introdução ao curso

Aula 1: Introdução ao curso Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos

Leia mais

Demonstrações. Terminologia Métodos

Demonstrações. Terminologia Métodos Demonstrações Terminologia Métodos Técnicas de Demonstração Uma demonstração é um argumento válido que estabelece a verdade de uma sentença matemática. Técnicas de Demonstração Demonstrações servem para:

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

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

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

. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.

. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa. Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira

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

Para Computação. Aula de Monitoria - Miniprova

Para Computação. Aula de Monitoria - Miniprova Para Computação Aula de Monitoria - Miniprova 1 2013.1 Roteiro Provas e Proposições Conjuntos Provas e Proposições Proposição - Sentença que ou é verdadeira ou é falsa. ex: Hoje é sábado. -> É uma proposição.

Leia mais

Introdução à Lógica Computacional. Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação

Introdução à Lógica Computacional. Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação Introdução à Lógica Computacional Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação Agenda da aula Circuitos lógicos: Mapas de Karnaugh Recaptulando semântica da lógica proposicional

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

Apresentação do curso

Apresentação do curso Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica

Leia mais

Fundamentos 1. Lógica de Predicados

Fundamentos 1. Lógica de Predicados Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional

Leia mais

Lógica Proposicional Parte 2

Lógica Proposicional Parte 2 Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas

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

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

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial Semana 3 por de por de 1 indireta por de por de Teoremas resultados importantes, Os rótulos por de por de Teoremas resultados importantes, Os rótulos Proposições um pouco menos importantes, por de por

Leia mais

Os Fundamentos: Lógica de Predicados

Os Fundamentos: Lógica de Predicados Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG - 2019/01

Leia mais

Sistema dedutivo. Sistema dedutivo

Sistema dedutivo. Sistema dedutivo Sistema dedutivo Estudaremos um sistema dedutivo axiomático axiomas lógicos e axiomas não lógicos (ou esquemas de axiomas) e regras de inferência (ou esquemas de regra) do tipo de Hilbert para a lógica

Leia mais

Apresentação do curso

Apresentação do curso Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica 2 Conteúdo

Leia mais

Fundamentos de Lógica Lógica Proposicional

Fundamentos de Lógica Lógica Proposicional Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos

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

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

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

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

1 Conjuntos, Números e Demonstrações

1 Conjuntos, Números e Demonstrações 1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para

Leia mais

Tema I Introdução à lógica bivalente e à teoria de conjuntos

Tema I Introdução à lógica bivalente e à teoria de conjuntos Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade 1 Proposições Páginas 13 a 9 1. a) 3 é uma designação. b) 3 = 6 é uma proposição. c) é o único número primo par é uma proposição. d)

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

assim são válidas devido à sua estrutura e ao significado dos quantificadores universal e existencial

assim são válidas devido à sua estrutura e ao significado dos quantificadores universal e existencial LÓGICA DE PREDICADOS Na ló predicados uma wff verdadeira significa uma wff vá lida, isto é, uma wff que seja válida em qualquer interpretação possível. AXIOMAS E REGRAS DE INFERêNCIA: wffs predicativas

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

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

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

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

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

Fundamentos 1. Lógica de Predicados

Fundamentos 1. Lógica de Predicados Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.

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

Lógica Proposicional

Lógica Proposicional Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado

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

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

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade

Leia mais

Departamento de Engenharia Informática da Universidade de Coimbra

Departamento de Engenharia Informática da Universidade de Coimbra Departamento de Engenharia Informática da Universidade de Coimbra Estruturas Discretas 2013/14 Folha 1 - TP Lógica proposicional 1. Quais das seguintes frases são proposições? (a) Isto é verdade? (b) João

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

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

1 a Lista de Exercícios Matemática Discreta

1 a Lista de Exercícios Matemática Discreta 1 a Lista de Exercícios Matemática Discreta Exercício 1. Faça a tabela verdade para as fórmulas a seguir: a) P Q. b) (S G) ( S G). c) [P (Q P )]. d) (P Q) ( P R). Exercício 2. Com o uso de símbolos predicados

Leia mais

FICHA DE TRABALHO N.º 2 MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES

FICHA DE TRABALHO N.º 2 MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES FICHA DE TRABALHO N.º MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES Conhece a Matemática e dominarás o Mundo. Galileu Galilei GRUPO I ITENS DE ESCOLHA MÚLTIPLA 1. Considere a condição px : x é um número

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

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/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

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 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor

Leia mais

Lógica Proposicional. p : Hoje não é sexta-feira. q : Todo homem é mortal. r : Existem pessoas inseguras.

Lógica Proposicional. p : Hoje não é sexta-feira. q : Todo homem é mortal. r : Existem pessoas inseguras. Tópicos Introdução à Lógica Edna A. Hoshino DCT - UFMS fevereiro de 2011 1 Tabela-Verdade Equivalências Proposicionais Formas Normais 2 Variáveis e Predicados Quantificadores 3 para predicados e quantificadores

Leia mais

Apêndice B: Resolução dos Exercícios Propostos

Apêndice B: Resolução dos Exercícios Propostos Apêndice B: Resolução dos Exercícios Propostos É importante que o aluno verifique a resolução dos exercícios somente após ter tentado resolvê-los. De fato, para que ocorra a aprendizagem é importante que

Leia mais

2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem

2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem 2 Lógica Fuzzy 2.1 Cálculo proposicional (lógica proposicional) 2.2 Lógica de Predicados 2.3 Lógica de múltiplos valores 2.4 Lógica Fuzzy Proposições fuzzy Inferência a partir de proposições fuzzy condicionais

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

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

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

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

Tópicos de Matemática. Teoria elementar de conjuntos

Tópicos de Matemática. Teoria elementar de conjuntos Tópicos de Matemática Lic. em Ciências da Computação Teoria elementar de conjuntos Carla Mendes Dep. Matemática e Aplicações Universidade do Minho 2010/2011 Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática

Leia mais

Cálculo Diferencial e Integral I

Cálculo Diferencial e Integral I Cálculo Diferencial e Integral I Texto de apoio às aulas. Amélia Bastos, António Bravo Dezembro 2010 Capítulo 1 Números reais As propriedades do conjunto dos números reais têm por base um conjunto restrito

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

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 predicados. Lógica predicados (continuação)

Lógica predicados. Lógica predicados (continuação) Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo

Leia mais

Resumo das aulas de discreta

Resumo das aulas de discreta Resumo das aulas de discreta Jair Donadelli 19 de abril de 2017 Sumário 1 a Semana Lógica 5 1.1 Operadores lógicos:,,,,.................... 7 1.2 Tautologia e Contradição......................... 9 1.3

Leia mais

Expoente 10 Dossiê do Professor 2

Expoente 10 Dossiê do Professor 2 Expoente 0 Dossiê do Professor Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade Proposições Páginas a 9. a) é uma designação. b) = 6 é uma proposição. c) é o único número primo par

Leia mais

Fundamentos de Lógica Matemática

Fundamentos de Lógica Matemática Webconferência 6-29/03/2012 Introdução à Lógica de Predicados 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

Leia mais

Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade

Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,

Leia mais

Cálculo de Predicados

Cálculo de Predicados Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 - II Cálculo de Predicados 1. Predicados e quantificadores Consideremos as afirmações seguintes: x é par (1) x é tão alto como y (2)

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

Matemática Discreta - 04

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

Leia mais

Lógica e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.

Leia mais

Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano

Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano A Pirâmide de aprendizagem de William Glasser Unidade 1 - Elementos de Lógica e Linguagem Matemáticas Matemática Básica Departamento de Matemática Aplicada Universidade Federal Fluminense 2018.1 Segundo

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

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

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

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

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/30 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

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

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

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