GAN Lógica para Ciência da Computação I. Profs. Petrucio Viana e Renata de Freitas. Lista 14 - Demonstrações em LPO
|
|
- Judite Bastos Castel-Branco
- 7 Há anos
- Visualizações:
Transcrição
1 GAN Lógica para Ciência da Computação GAN Lógica para Ciência da Computação I Profs. Petrucio Viana e Renata de Freitas Lista 14 - Demonstrações em LPO 1. Simbolize os argumentos a seguir em LPO e apresente uma demonstração da conclusão a Todos os gatos têm bigodes. Frajola não tem bigodes. Logo, Frajola não é um gato. Todos os fantasmas que vivem na velha mansão gostam de André. André não gosta de ninguém que gosta dele. Logo, qualquer fantasma do qual André goste, não vive na velha mansão. Nenhum estudante gosta de nenhum professor. Cada estudante gosta de todos os estudantes. Logo, nenhum professor é estudante. 2. Mostre que os seguintes argumentos são válidos, usando o Método de Demonstração. x(c(x) B(x)) x(a(x) C(x)) x(a(x) B(x) C(x)) x(b(x) C(x)) x(a(x) C(x)) x(a(x) B(x)) x(c(x) D(x) B(x)) A C D x(a(x) B(x) C(x)) x(a(x) B(x) D(x)) x(a(x) C(x) E(x)) x(a(x) E(x) D(x)) x(a(x) y(b(y) R(x, y))) x(c(x) B(x)) x(a(x) y(c(y) R(x, y))) 3. Simbolize os argumentos a seguir em LPO e apresente uma demonstração da conclusão a Todos os pássaros têm asas. Nenhum peixe tem asas. Logo, nenhum peixe é um pássaro. Todos os físicos são matemáticos. André não é um matemático. Logo, André não é um físico.
2 Bacharéis são graduados. Licenciados são graduados. Logo, tanto bacharéis quanto licenciados são graduados. Nem professores nem alunos votaram. André votou. Logo, André não é professor. Os únicos animais que têm penas são os pássaros. Todos os pássaros cantam. Logo, nenhum animal que não canta tem penas. (f) Toda casa tem uma máquina de lavar louça ou uma máquina de lavar roupa. Toda casa com uma máquina de lavar roupa tem também uma secadora de roupa. Toda casa com uma máquina de lavar louça tem também um rádio. Logo, toda casa que não tem um rádio tem uma secadora de roupa. (g) Apenas fantasmas vivem na mansão abandonada. Nenhum fantasma feliz é inteligente. Nenhum fantasma é feliz. Logo, qualquer um que viva na mansão abandonada é inteligente ou infeliz. (h) Todo matemático gosta de todos os cientistas da computação. Nenhum matemático gosta de algum filósofo. Carl Friedrich Gauss é um matemático. Logo, nenhum filósofo é cientista da computação. (i) Todo professor é mais velho que todo estudante. André não é mais velho que Beatriz, que é estudante. Logo, André não é professor. (j) Homens que são atletas são fãs tanto de vôlei quanto de basquete. Atletas que são fãs de vôlei são homens que são fãs de basquete. Qualquer um que não seja um atleta é um homem que é fã de vôlei. Logo, todos os homens são fãs de vôlei e vice-versa. (k) Pais e mães gostam de crianças. André é um pai que não gosta de Beatriz. Nenhuma mãe gosta de Custódio. Diana é uma mãe. Logo, nem Beatriz nem Custódio são crianças. (l) Qualquer um que goste de todos os advogados é um criminoso. Apenas mentirosos gostam de todos os criminosos. Advogados gostam de advogados e criminosos gostam de criminosos. Logo, todos os advogados são mentirosos. (m) Todo professor que possui apresenta um trabalho em um congresso é pesquisador. André apresenta Logic em todos os congressos. Logo, se André é um professor, Logic é um trabalho e EBL é um congresso, então André é um pesquisador. (n) André resolve todos as questões em todas as provas. Qualquer um que resolva uma questão em uma prova é um aluno. Beatriz resolve todas as questões em todas as provas. Logo, se Beatriz é um gênio, então ela é uma aluna, desde que Q seja uma questão e P seja uma prova. (o) Nenhum aluno divide o lanche com um desafeto. Todo aluno divide o lanche com seus colegas de turma. Logo, nenhum aluno possui desafetos entre os seus colegas de turma. 2
3 4. Mostre que os seguintes argumentos são válidos, usando o Método de Demonstração. (f) x(a(x) y(b(y) R(x, y))) B R(b, a) A y(b(y) xa(x)) xb(x) B x y z(r(x, y) R(y, z) R(x, z)) x y(r(x, y) R(y, x)) x y(r(x, y) R(x, x)) x y z(r(x, y) R(y, z) R(x, z)) x y(r(x, y) R(y, x)) xr(x, a) xr(x, x) x y(a(x) B(y) R(x, y)) y(c(y) R(a, y)) A z(c(z) B(z)) x(a(x) y(b(y) C(y) R(x, y))) x(a(x) R(x, a)) x(c(x) B(x)) A B C (g) (h) (i) x y(r(x, y) R(y, x) S(x, y)) x y z(r(x, z) R(y, z) S(x, y)) x y(r(x, y) R(f(y), f(x))) xr(x, f(x)) xr(f(f(x)), f(x)) x y z(r(x, z) R(y, z) R(x, y)) xr(x, f(x)) R(a, b) R(b, c) R(a, c) (Dica: mostre primeiramente que R é reflexiva e simétrica.) 5. Simbolize os argumentos a seguir em LPO e apresente uma demonstração da conclusão a Todos os gatos são mamíferos. Alguns gatos não têm rabo. Logo, alguns mamíferos não têm rabo. Alguns animais não têm asas. Apenas animais com asas podem voar. Logo, alguns animais não podem voar. Todos os números racionais são números reais. Nem todos os números racionais são inteiros. Logo, nem todos os números reais são inteiros. 3
4 Todo mundo que é mais velho que André é também mais velho que Beatriz. Apenas professores são mais velhos que Beatriz. Logo, apenas professores são mais velhos que André. Gatos e cachorros são animais domésticos. Animais domésticos são alimentados com ração. Nenhum animal alimentado com ração tem deficiência de cálcio. Logo, nenhum gato tem deficiência de cálcio. (f) Estudantes e estagiários são menores de 30 anos. Alguns estudantes são da UFF e alguns estagiários são da UFF. Ou todos os menores de 30 anos são confiáveis ou nenhum menor de 30 anos é confiável. Logo, ou algum estudante é confiável ou algum estagiário não é confiável. (g) Todas as funções diferenciáveis são contínuas. Nem toda função integrável é contínua. Logo, nem toda função integrável é diferenciável. (h) Todos os estudantes admiram todos os coordenadores. Existe um estudante que admira um professor. Algum pesquisador é coordenador e professor. Logo, existe um estudante que admira algum pesquisador. (i) Existe um médico de quem nenhum enfermeiro gosta. Qualquer um que não goste de um médico é hipocondríaco. Logo, todos os enfermeiros são hipocondríacos. (j) Toda barata é um ser vivo. Logo, quem mata uma barata mata um ser vivo. (k) Todo quadro em um museu é uma obra de arte. Qualquer artista que pinte uma obra de arte é um gênio. Um artista desconhecido pintou um quadro que está em um museu. Logo, algum artista desconhecido é um gênio. 6. Mostre que os seguintes argumentos são válidos, usando o Método de Demonstração. x(p (x) Q(x)) x(q(x) R(x, a)) P x(q(x) R(x, a)) x(p (x) Q(x)) x(q(x) R(x, a)) xp (x) x(q(x) R(x, a)) x(a(x) B(x) C(x) D(x)) y(e(y) C(y) B(y)) xe(x) x(e(x) C(x)) x(a(x) B(x) C(x))) y(b(y) C(y) D(y)) xa(x) xb(x) xd(x) y(p (y) x(q(x) R(x, y)) x(q(x) y(p (y) R(x, y))) 4
5 7. Classifique os argumentos a seguir como válidos ou inválidos. Para os que forem válidos, apresente uma demonstração da conclusão a partir das premissas. Para os que forem inválidos, apresente uma estrutura de primeira ordem na qual as premissas são todas verdadeiras e a conclusão é falsa. (f) x(p (x) Q(x)) x Q(x) x(p (x) Q(x)) xq(x) x(a(x) B(x)) x(a(x) C(x)) x C(x) xb(x) x(p (x) Q(x)) x Q(x) x(p (x) Q(x)) xp (x) xq(x) x yr(x, y) x y(r(x, y) S(x, y)) x y S(x, y) 5
Exercícios de Teoria da Computação Lógica de 1a. ordem
Licenciatura em Engenharia Informática e de Computadores - LEIC Licenciatura em Engenharia de Redes de Comunicação e Informação - LERCI Exercícios de Teoria da Computação Lógica de 1a. ordem Secção Ciência
Leia maisPredicados e Quantificadores
Predicados e Quantificadores Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Predicados e Quantificadores junho - 2018 1 / 57 Este material é preparado usando
Leia mais1 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 maisLógica para Computação
Aula 19 - Lógica de Predicados 1 Faculdade de Informática - PUCRS October 6, 2015 1 Este material não pode ser reproduzido ou utilizado de forma parcial sem a permissão dos autores. Sinopse Lógica de Predicados
Leia maisRACIOCÍNIO LÓGICO. Quantificadores. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO. Prof. Renato Oliveira Os quantificadores são proposições categóricas que transformam sentenças abertas em proposições lógicas, pela quantificação das variáveis. Exemplo: x + 2 > 4 não
Leia maisA sintaxe do cálculo de predicados (II), cap. 7 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani
A sintaxe do cálculo de predicados (II), cap. 7 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Linguagens de primeira ordem (Onde se usa linguagem, vou preferir língua; porque o primeiro
Leia maisLógica de Predicados. Correção dos Exercícios
Lógica de Predicados Correção dos Exercícios Conteúdo Correção Exercícios Tradução Lógica - Português (Rosen 55) Tradução Português Lógica(Rosen 56) Exercícios Rosen 58 1) Transcreva as proposições para
Leia maisLógica dos Quantificadores: sintaxe e semântica intuitiva
Lógica dos Quantificadores: sintaxe e semântica intuitiva quantificação em domínios infinitos Renata de Freitas e Petrucio Viana IME, UFF 5 de novembro de 2014 Sumário Quantificadores sobre domínios infinitos.
Leia maisMATEMÁTICA DISCRETA LISTA DE EXERCÍCIOS 3
MATEMÁTICA DISCRETA LISTA DE EXERCÍCIOS 3 1. Construa tabelas-verdade para as expressões abaixo. Note quaisquer tautologias ou contradições. a) A (B A) b) A B B' A' c) (A B') (A B)' d) [(A B) C'] A' C
Leia maisINE5403 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/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisSimbolização de Enunciados com um Quantificador
Lógica para Ciência da Computação I Lógica Matemática Texto 13 Simbolização de Enunciados com um Quantificador Sumário 1 Quantificadores: simbolização e sintaxe 2 2 Explicitando e quantificando variáveis
Leia maisFaculdade de Informática PUCRS Lógica para Computação Lista de Exercícios Sintaxe e Semântica da Lógica de Predicados Prof.
Faculdade de Informática PUCRS Lógica para Computação Lista de Exercícios Sintaxe e Semântica da Lógica de Predicados Prof. Alfio Martini 1. Seja OP = {{d}, {f, g}, Ar F }, onde d é uma constante, Ar F
Leia maisassim 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 maisLógica e Programação - Folha de trabalho n. 3
Lógica de 1 ā ordem Linguagens, termos, fórmulas e semântica 1 Seja L uma linguagem de 1 ā ordem com igualdade e tal que F 0 = {a, b}, F 1 = {g}, F 2 = {f, h}, R 1 = {R, S} e R 2 = {P, Q}. i. O comprimento
Leia maisMatemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Quantificadores Como expressar a sentença Para todo número inteiro x, o valor de x é positivo. usando
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Quantificadores Agrupados Negando expressões com quantificadores
Leia mais1. Verificar a Validade de silogismos: - Em cada caso identifique os termos, as figuras e os modos.
1 Exercícios de Lógica: 1. Verificar a Validade de silogismos: - Em cada caso identifique os termos, as figuras e os modos. 1.a Nenhum palhaço é feliz Alguns comediantes não são felizes Alguns comediantes
Leia maisCálculo dos Predicados
Cálculo dos Predicados As sentenças assim formuladas foram chamadas de proposições categóricas e, segundo Aristóteles, podem ser de 4 tipos: Afirmação Universal A Todos os atletas são saudáveis Afirmação
Leia maisLógica dos Conectivos: validade de argumentos
Lógica dos Conectivos: validade de argumentos Renata de Freitas e Petrucio Viana IME, UFF 16 de setembro de 2014 Sumário Razões e opiniões. Argumentos. Argumentos bons e ruins. Validade. Opiniões A maior
Leia maisLista de Exercícios VII - Geometria
Lista de Exercícios VII - Geometria Prof. Michel Barros Silva - UFCG/CCTA 1. Construa o gráco e encontre o foco e a equação da diretriz: a)x = y b)y = 6x c)y = 8x d)x + y = 0 e)y x = 0 f)y + x = 0 g)x
Leia maisOs 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 maisArgumentos e Validade Petrucio Viana
GAN00166: Lógica para Ciência da Computação Texto da Aula 7 Argumentos e Validade Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Argumentos 1 1.1 Observações................................
Leia maisFICHA 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 maisConteúdo. Correção Exercícios Revisão para Prova
Conteúdo Correção Exercícios Revisão para Prova Rosen 58 1) Transcreva as proposições abaixo para o português, em que o domínio para cada variável consista nos números reais. a) x y (x
Leia maisNOÇÕES DE LÓGICA MATEMÁTICA. O CÁLCULO DE PREDICADOS DE 1 a ORDEM
NOÇÕES DE LÓGICA MATEMÁTICA O CÁLCULO DE PREDICADOS DE 1 a ORDEM O Cálculo de Predicados, dotado de uma linguagem mais rica, tem várias aplicações importantes não só para matemáticos e filósofos como também
Leia maisCálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Cálculo de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Quantificadores Como expressar a proposição Para todo número inteiro x, o valor de x é positivo. usando
Leia maisCálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Cálculo de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Quantificadores Agrupados Dois quantificadores estão agrupados se um está no escopo do outro. Exemplo:
Leia maisÁrea de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01. SOLUÇÃO DE LISTA DE EXERCÍCIOS Lista 04 (Predicados e Quantificadores)
Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 SOLUÇÃO DE LISTA DE EXERCÍCIOS Lista 04 (Predicados e Quantificadores) Leitura necessária: Matemática Discreta e Suas Aplicações, 6 a Edição
Leia maisEnunciados Quantificados Equivalentes
Lógica para Ciência da Computação I Lógica Matemática Texto 15 Enunciados Quantificados Equivalentes Sumário 1 Equivalência de enunciados quantificados 2 1.1 Observações................................
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Quantificadores Agrupados Negando expressões com quantificadores Agrupados Prioridade dos Quantificadores
Leia mais[B&A] Computação na Lógica de Predicados
[B&A] Computação na Lógica de Predicados Soluções dos Exercícios 1. Transforme as seguintes fbf s para a forma normal prenex, elimine os quantificadores e transforme-as para a forma normal clausal. (a)
Leia maisMatemática E Extensivo V. 8
Matemática E Extensivo V. 8 Resolva Aula 9 9.) D x + x 7x 6 = x = é raiz. Aula.) x + px + = Se + i é raiz, então i também é. 5 7 6 Soma = b a = p p = + i + i p = p = Q(x) = x + 5x + Resolvendo Q(x) =,
Leia maisPrimeira Lista de Exercícios
Primeira Lista de Exercícios disciplina: Introdução à Teoria dos Números (ITN) curso: Licenciatura em Matemática professores: Marnei L. Mandler, Viviane M. Beuter Primeiro semestre de 2012 1. Determine
Leia maisTeoria 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 maisCálculo de Predicados 1
Matemática Discreta - Departamento de Matemática - EST-IPV - 2005/2006 - II Capítulo II Cálculo de Predicados 1 1 Predicados e quantificadores Consideremos as afirmações seguintes: x é par. (1.1) x é tão
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Quantificadores Agrupados; (Rosen 50) Traduzindo sentenças. Exercícios Quais as negações de: 1) Existe um político honesto 2) Todos os brasileiros comem
Leia maisMatemática Aplicada à Tecnologia
Provas e listas: Matemática Aplicada à Tecnologia Período 2015.2 Sérgio de Albuquerque Souza 4 de maio de 2016 UNIVERSIDADE FEDERAL DA PARAÍBA CCEN - Departamento de Matemática http://www.mat.ufpb.br/sergio
Leia maisMatemática & Raciocínio Lógico
Matemática & Raciocínio Lógico para concursos Prof. Me. Jamur Silveira www.professorjamur.com.br facebook: Professor Jamur RACIOCÍNIO LÓGICO: Proposições logicamente equivalentes (Símbolo ) São proposições
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Equivalências lógicas (Rosen 39) Negando expressões com quantificadores
Leia maisLó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 maisMATEMÁ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 maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando
Leia maisMD 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 maisMétodo das Tabelas para Validade
Lógica para Ciência da Computação I Lógica Matemática Texto 10 Método das Tabelas para Validade Sumário 1 Simbolização de argumentos 2 1.1 Observações................................ 3 1.2 Exercício resolvido............................
Leia maisLógica Matemática e Computacional. 3.1 Relações lógicas de Euler
Lógica Matemática e Computacional 3.1 Relações lógicas de Euler Lógica Ciência dos argumentos; tem por objeto de estudo os argumentos, procurando elaborar procedimentos que permitam distinguir os argumentos
Leia maisRaciocínio Lógico (Professor Uendel)
Raciocínio Lógico (Professor Uendel) Material (03); SEFAZ; JULHO DE 2017 Todo DIAGRAMAS LÓGICOS No estudo das operações com conjuntos e das soluções de problemas envolvendo conjuntos, os diagramas ajudam
Leia maisMétodo das Tabelas para Validade Petrucio Viana
GAN00166: Lógica para Ciência da Computação Texto da Aula 8 Método das Tabelas para Validade Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Simbolização de argumentos 1 1.1 Observação................................
Leia maisLógica de Predicados
Lógica de Predicados Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. a) x
Leia maisMCTB Matemática Discreta
Matemática Discreta Jair Donadelli CMCC UFABC jair.donadelli@ufabc.edu.br 2019-1 Semana 1 1 2 Lógica informal Matemática Discreta Estudo de estruturas matemáticas que são discretas (em oposição às que
Leia maisFundamentos 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Álgebra. Polinômios.
Polinômios 1) Diga qual é o grau dos polinômios a seguir: a) p(x) = x³ + x - 1 b) p(x) = x c) p(x) = x 7 - x² + 1 d) p(x) = 4 ) Discuta o grau dos polinômios em função de k R: a) p(x) = (k + 1)x² + x +
Leia maisFaculdade de Informática e Tecnologia de Pernambuco. Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias
Faculdade de Informática e Tecnologia de Pernambuco Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias Instruções 1. No início de cada seção da lista há uma sugestão
Leia maisLógica de Predicados. Correção dos Exercícios Regras de Inferência
Lógica de Predicados Correção dos Exercícios Regras de Inferência O que foi visto até agora... Predicado Proposição Quantificadores Conjuntos Quantificadores com restrição Operações Lógicas com predicados
Leia maisCoordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva
@ LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q: ~ p 3) Proposição contra positiva de p q: ~ p ex. Determinar:
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Exercícios Use lógica proposicional para provar os seguintes argumentos: a) A B C B A C b) A B C B C A c) A B B A C C Exercícios Use lógica
Leia maisUma Equação Diferencial Ordinária (abrevia-se EDO) de primeira ordem se apresenta sob duas formas equivalentes: (i) FORMA NORMAL:
5. EDO DE PRIMEIRA ORDEM SÉRIES & EDO - 2017.2 5.1. :::: :::::::::::::::::::::::::::: FUNDAMENTOS GERAIS Uma Equação Diferencial Ordinária (abrevia-se EDO) de primeira ordem se apresenta sob duas formas
Leia maisTema 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 maisGAN Matemática Discreta Professores Renata de Freitas e Petrucio Viana. Lista A
GAN 00167 Matemática Discreta Professores Renata de Freitas e Petrucio Viana Lista A 1. Verdadeiro ou falso? Justifique. (a) {3} {3, 4, 5} (b) {3} {{3}, 4, 5} (c) {3} {3, 4, 5} (d) {3} {{3}, 4, 5} 2. Verdadeiro
Leia maisAula 12: Lógica de Predicados
Lógica para Computação Primeiro Semestre, 2015 Aula 12: Lógica de Predicados DAINF-UTFPR Prof. Ricardo Dutra da Silva Vamos estender a lógica proposicional para torná-la mais expressiva. Na lógica proposicional,
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Negando quantificadores agrupados (Rosen 57) Tradução Lógica - Português (Rosen 55) Tradução Português Lógica(Rosen 56) Exercícios Rosen (59) 9) Considere
Leia maisLISTA DE REVISÃO PROVA MENSAL MATEMÁTICA E SUAS TECNOLOGIAS 2º TRIMESTRE
LISTA DE REVISÃO PROVA MENSAL MATEMÁTICA E SUAS TECNOLOGIAS º TRIMESTRE ÁLGEBRA 1) O valor de z sabendo que 64 z é: z A) 64 B) 64 C) 8 + i D) 8 i E) 8 ) Considere as raízes complexas w 0, w, 1 w, w 3 e
Leia maisLógica de Primeira Ordem. Douglas O. Cardoso docardoso.github.io. Lógica de Primeira Ordem 1/18
Lógica de Primeira Ordem douglas.cardoso@cefet-rj.br docardoso.github.io Lógica de Primeira Ordem 1/18 Roteiro 1 Introdução 2 Lógica de Primeira Ordem 2/18 Roteiro 1 Introdução 2 Lógica de Primeira Ordem
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática
1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática a Lista - MAT 138 - Noções de Álgebra Linear 018-I 1. Escreva cada um dos sistemas abaixo na forma matricial: x 1 +
Leia maisCRITÉRIO DE EISENSTEIN. Marília Martins Cabral Orientador: Igor Lima
CRITÉRIO DE EISENSTEIN 1 Marília Martins Cabral Orientador: Igor Lima NOTAÇÕES a b a divide b. a b a não divide b x n a variável x elevado a potência n. a n coeficiente de x n 2 INTRODUÇÃO: POLINÔMIOS
Leia mais2. Justifique cada passo na demonstração do seguinte argumento: a) A (B C), B, C A 1 A (B C) 2 B 3 C 4 B C 5 (B C) 6 A
Exercícios 1. Prove os argumentos (miscelânea): a) O participante vai ao paredão se o líder o indica ou os colegas o escolhem. Se o participante vai ao paredão e chora, então ele conquista o publico. Se
Leia maisMatemática Discreta. Provas Anteriores
Matemática Discreta Provas Anteriores 1 Lógica e Prova 1.1 Introdução a Lógica e Tabela Verdade 1. {0, 25 pt} Dê um exemplo de uma sentença que é uma proposição e justifique porque ela é uma proposição.
Leia maisInferências No momento em que a mulher descobre marcas de baton desconhecido no colarinho do marido, produz-se (entre outras coisas) a inferência.
Módulo 5 Módulo 5 Inferências No momento em que a mulher descobre marcas de baton desconhecido no colarinho do marido, produz-se (entre outras coisas) a inferência. Inferência é o movimento do pensamento
Leia maisMINICURSO DE LÓGICA MATEMÁTICA (EXERCÍCIOS)
UNIVERSIDADE FEDERAL DE ALAGOAS CURSO DE LICENCIATURA PLENA EM MATEMÁTICA ENCONTRO MATEMÁTICO SEI QUE LÁ ALAGOANO MINICURSO DE LÓGICA MATEMÁTICA (EXERCÍCIOS) Uma introdução à lógica e uma aplicação do
Leia mais3ª série do Ensino Médio Turma. 2º Bimestre de 2018 Data / / Escola Aluno
AVALIAÇÃO DA APRENDIZAGEM EM PROCESSO Matemática 3ª série do Ensino Médio Turma 2º Bimestre de 2018 Data / / Escola Aluno 24 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Avaliação da Aprendizagem em Processo
Leia maisExpoente 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 maisCálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 18 de maio de 2013
Leia maisLó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 maisInstituto de Matemática - IM/UFRJ Cálculo I - MAC118 1 a Prova - Gabarito - 13/10/2016
Instituto de Matemática - IM/UFRJ Cálculo I - MAC118 1 a Prova - Gabarito - 13/10/2016 Questão 1: (2 pontos) x (a) (0.4 ponto) Calcule o ite: 2 + 3 2. x 1 x 1 ( πx + 5 ) (b) (0.4 ponto) Calcule o ite:
Leia maisEnunciados Atômicos, Conectivos e Enunciados Moleculares
Lógica para Ciência da Computação I Lógica Matemática Texto 3 Enunciados Atômicos, Conectivos e Enunciados Moleculares Sumário 1 Enunciados atômicos 2 1.1 Observações................................ 2
Leia maisFUNÇÕES ELEMENTARES DE PRIMITIVA NÃO ELEMENTAR
UNIVERSIDADE ESTADUAL DE MARINGÁ CENTRO DE CIÊNCIAS EXATAS DEPARTAMENTO DE MATEMÁTICA PROGRAMA DE MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL - PROFMAT (Mestrado) AMARILDO DE PAULA LEITE FUNÇÕES
Leia maisNota: Turma: MA 327 Álgebra Linear. Segunda Prova. Primeiro Semestre de T o t a l
Turma: Nota: MA 327 Álgebra Linear Primeiro Semestre de 2006 Segunda Prova Nome: RA: Questões Pontos Questão 1 Questão 2 Questão 3 Questão 4 Questão 5 T o t a l Questão 1. A matriz de mudança da base ordenada
Leia maisMatemática E Intensivo V. 2
Matemática E Intensivo V. Exercícios 0) a) b) c) 8 8 8 a) 8 = =!! C = = ( 8 )!!!! b) 0 0 0 0 = =!! C = = ( 0 )!! 8!! n 0 n n c) Cn 0 = =!! = = ( n 0)! 0! n! 0) 0x O terceiro termo é dado por: T r + = n
Leia maisMatemática Básica. Fração geratriz e Sistema de numeração 1) 0, = ) 2, =
Erivaldo UDESC Matemática Básica Fração geratriz e Sistema de numeração 1) 0,353535... = 35 99 2) 2,1343434... = 2134 21 99 0 Decimal (Indo-Arábico): 2107 = 2.10 3 + 1.10 2 + 0.10 1 + 7.10 0 Número de
Leia maisLógica Computacional DCC/FCUP 2017/18
2017/18 1 Lógica de primeira ordem Linguagens da lógica de primeira ordem Termos Fórmulas Semântica de Lógica de primeira ordem Lógica de primeira ordem Na lógica proposicional não é possível representar
Leia maisLógica dos Conectivos: demonstrações indiretas
Lógica dos Conectivos: demonstrações indiretas Renata de Freitas e Petrucio Viana IME, UFF 5 de novembro de 2014 Sumário Acrescentando premissas. Estratégias indiretas. Principais exemplos. Um problema
Leia maisExpandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Teoria Elementar dos Conjuntos Prof Clezio 19 de Agosto de 2018 Curso de Ciência da Computação Relações Binárias Sejam A e B dois conjuntos. Definição: Chama-se relação binária
Leia maisNota: Turma: MA 327 Álgebra Linear. Terceira Prova. Boa Prova! Primeiro Semestre de T o t a l
Turma: Nota: MA 327 Álgebra Linear Primeiro Semestre de 26 Terceira Prova Nome: RA: Questões Pontos Questão 1 Questão 2 Questão 3 Questão 4 Questão 5 T o t a l Boa Prova! Questão 1. 2. Pontos) Seja U um
Leia mais! " # $ % $ % $ & ' ( ) * % +,,' -#!...& / % / & '...&0 &...& & 1 2 3 2
1 ! "#$% $%$&' () *% +,,' -#!...&/%/&'...&0&...&& 123 2 !!!" 4' -#,5,/ 36,-#3 37 8, 77',' 9' -#3 :!#!$% ;9' -?< +$ &"#9' -#& &4' @& A&49' -?& &4,-#?8,5& 2&; & &;' B8& &;',5 & &!' ;B687' 3 4,C D/'
Leia maisArgumentaçã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 maisCASA TRIBUNAIS RACIOCÍNIO LÓGICO
CASA TRIBUNAIS RACIOCÍNIO LÓGICO Lógica de Argumentação Prof. Bruno Villar www.acasadoconcurseiro.com.br Raciocínio Lógico ARGUMENTO LÓGICO Existem duas formas de verificar, no método tradicional, a validade
Leia maisArgumentos Dedutivos e Indutivos. Professor Mário Hozano
Argumentos Dedutivos e Indutivos Professor Mário Hozano Na aula anterior... Hieróglifos Egípcios linguagem todo e qualquer sistema de sinais que serve como instrumento de comunicação Troca de Informações
Leia maisProjeto Jovem Nota 10 Polinômios Lista C Professor Marco Costa
1 1. (Fuvest 97) Suponha que o polinômio do 3 grau P(x) = x + x + mx + n, onde m e n são números reais, seja divisível por x - 1. a) Determine n em função de m. b) Determine m para que P(x) admita raiz
Leia maisUniversidade Federal da Paraíba - UFPB Centro de Ciências Exatas e da Natureza - CCEN Departamento de Matemática - DM
Universidade Federal da Paraíba - UFPB Centro de Ciências Exatas e da Natureza - CCEN Departamento de Matemática - DM 3 a Lista de Exercícios de Introdução à Álgebra Linear Professor: Fágner Dias Araruna
Leia maisAula 19 Teorema Fundamental das Integrais de Linha
Aula 19 Teorema Fundamental das Integrais de Linha MA211 - Cálculo II Marcos Eduardo Valle Departamento de Matemática Aplicada Instituto de Matemática, Estatística e Computação Científica Universidade
Leia maisCENTRO EDUCACIONAL SIGMA. Quem me compra um jardim com flores? Borboletas de muitas cores, Lavadeiras e passarinhos, Ovos verdes e azuis nos ninhos?
3ºAno 1.3 CIÊNCIAS 1º período 8 de abril de 2016 Cuide da organização da sua prova. Escreva de forma legível. Fique atento à ortografia e elabore respostas claras. Tudo isso será considerado na correção.
Leia maisUm polinômio com coeficientes racionais é uma escrita formal
Polinômios. Um polinômio com coeficientes racionais é uma escrita formal P (X) = a i X i = a 0 + a 1 X + a 2 X 2 +... + a n X n onde a i Q para todo i {0, 1,..., n}. Isso nos dá uma função f : N Q definida
Leia maisEstrutura lógica de relações arbitrárias entre pessoas, lugares, objetos ou eventos fictícios; deduzir novas informações das relações fornecidas e
Estrutura lógica de relações arbitrárias entre pessoas, lugares, objetos ou eventos fictícios; deduzir novas informações das relações fornecidas e avaliar as condições usadas para estabelecer a estrutura
Leia maisLógica dos Conectivos: demonstrações indiretas
Lógica dos Conectivos: demonstrações indiretas Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário Olhe para as premissas Olhe para a conclusão Estratégias indiretas Principais exemplos
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Operações Lógicas sobre Predicados Condicional Quantificador de Unicidade (Rosen 37) Quantificadores com Restrição (Rosen 38) Tradução Português-Lógica
Leia maisGABARITO. 01) a) c) VERDADEIRA P (x) nunca terá grau zero, pelo fato de possuir um termo independente de valor ( 2).
01) a) P (1) = 1 + 7 1 17 1 P (1) = 1 + 7 17 P (1) = 11 P (1) é sempre igual a soma dos coeficientes de P (x) b) P (0) = 0 + 7 0 17 0 P (0) = 0 + 0 0 P (0) = P (0) é sempre igual ao termo independente
Leia mais5. DIVERSIDADE DOS ANIMAIS II
CIÊNCIAS 5 DIVERSIDADE DOS ANIMAIS II 1 Fósseis são restos ou vestígios de seres vivos do passado que foram preservados em materiais como rochas ou resinas de plantas a) Analise as fotos de fósseis a seguir
Leia maisConceitos Básicos. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur
Capítulo 1 Conceitos Básicos Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Bibliografia Martins J.P., Lógica para Programação (as folhas serão
Leia maisTiago Viana Flor de Santana
ESTATÍSTICA BÁSICA DISTRIBUIÇÃO NORMAL DE PROBABILIDADE (MODELO NORMAL) Tiago Viana Flor de Santana www.uel.br/pessoal/tiagodesantana/ tiagodesantana@uel.br sala 07 Curso: MATEMÁTICA Universidade Estadual
Leia mais