UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Lógica para Programação
|
|
- Lúcia Penha Canto
- 7 Há anos
- Visualizações:
Transcrição
1 UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Lógica para Programação Ana Cardoso-Cachopo Ano Lectivo 2008/2009
2
3 CONTEÚDO 1 Conteúdo 1 Argumentos e validade 5 2 Lógica Proposicional Sistema de Dedução Natural 7 3 Lógica Proposicional Resolução 9 4 Lógica Proposicional Tabelas de Verdade e BDDs 11 5 Lógica Proposicional OBDDs 13 6 Lógica Proposicional SAT 15 7 Lógica de Primeira Ordem Sistema de Dedução Natural 17 8 Lógica de Primeira Ordem Resolução 21 9 Lógica de Primeira Ordem Sistema Semântico Lógica de Primeira Ordem Resolução SLD Prolog Árvores de Refutação e Listas Prolog Operadores Pré-definidos Prolog Corte Prolog Negação 37
4 2 CONTEÚDO
5 CONTEÚDO 3 Prefácio Estas folhas contêm uma compilação dos exercícios usados nas aulas práticas da disciplina de Lógica para Programação no ano lectivo de 2008/2009 A maior parte deles foi criada por mim especificamente para as aulas práticas ou para as provas de avaliação da disciplina e outros foram tirados de livros ou artigos acerca da matéria em questão Existem dois exercícios cujo enunciado foi feito pelo Professor João Pavão Martins nas aulas sobre os sistemas de dedução natural da lógica proposicional e da lógica de primeira ordem Esses exercícios estão assinalados com a etiqueta (JPM) O Professor João Cachopo, para além de discutir comigo algumas das respostas dos exercícios, ajudou-me a fazer em LaTeX as figuras dos vários capítulos, tornando esta compilação (muito) mais apresentável Obviamente, a responsabilidade por quaisquer erros ou gralhas que esta compilação de exercícios possa ter é inteiramente minha
6 4 CONTEÚDO
7 5 1 Argumentos e validade Exercício 11 Usando apenas a informação que está explícita, diga, justificando, se os seguintes argumentos são válidos ou são inválidos: 1 Peregrino Cinzento é Gandalf Mithrandir é Gandalf Peregrino Cinzento é Mithrandir 2 Mithrandir é um feiticeiro Mithrandir é Gandalf Gandalf é um feiticeiro 3 Os orcs são feios Os orcs são feios 4 Nemo é um peixe Dori é um peixe Nemo é Dori 5 Os tubarões são carnívoros Os tubarões não são vegetarianos O Bruce é vegetariano O Bruce não é tubarão 6 Os peixes são animais Os tubarões são animais Exercício 12 Sempre que for possível, dê exemplos de argumentos válidos e inválidos com: As premissas verdadeiras e a conclusão verdadeira; As premissas verdadeiras e a conclusão falsa; As premissas falsas e a conclusão verdadeira; As premissas falsas e a conclusão falsa
8 6 1 ARGUMENTOS E VALIDADE
9 7 2 Lógica Proposicional Sistema de Dedução Natural Exercício 21 (JPM) Demonstre os seguintes teoremas e argumentos usando o sistema de dedução natural da lógica proposicional Em cada alínea indique se está a demonstrar um teorema ou um argumento 1 A (B A) 2 (A A) B 3 ({A B, B A}, A) 4 ({A}, B (A B)) 5 ({}, ((A B) (B C)) (A C)) Exercício 22 Demonstre os seguintes teoremas usando o sistema de dedução natural da lógica proposicional 1 (A (B C)) ((A B) (A C)) 2 ((A (A B)) A) B 3 (A B) ( B A) 4 ( B A) (A B) 5 (A B) (A B) 6 ((A B) B) A 7 (A A) A 8 (A B) (B A) 9 ((A B) C) (A (B C)) 10 (A (B C)) ((A B) (A C)) 11 ((A B) (A C)) (A (B C)) 12 ((A B) A) A Exercício 23 Demonstre os seguintes teoremas, que correspondem a aplicações das leis de De Morgan, usando o sistema de dedução natural da lógica proposicional 1 (A B) ( A B) 2 ( A B) (A B) 3 (A B) ( A B) 4 ( A B) (A B)
10 Lógica Proposicional Sistema de Dedução Natural Prem n α Prem Hip n α Hip n + 1 Rep n α m α Rep, n Rei n α m α Rei, n I n α Hip m β m + 1 α β I, (n, m) E n α m α β m + 1 β E, (n, m) I n α n + 1 β n + 2 α β I, (n, n + 1) E e I e E I n n α β n + 1 α E, n n α β n + 1 β E, n n α n + 1 α β I, n n α n + 1 β α I, n α β o α Hip p γ r β Hip s γ m γ E, (n, (o, p), (r, s)) n α Hip m β m + 1 β m + 2 α I, (n, (m, m + 1)) E n α n + 1 α E, n
11 9 3 Lógica Proposicional Resolução Exercício 31 Transforme a seguinte fórmula para a forma clausal: 1 A ( ( B C) (C D)) Exercício 32 Demonstre os teoremas e argumentos do exercício 21 usando resolução Em cada alínea indique se está a demonstrar um teorema ou um argumento Exercício 33 Demonstre os teoremas do exercício 22 usando resolução Exercício 34 Demonstre os teoremas do exercício 23, que correspondem a aplicações das leis de De Morgan, usando resolução Exercício 35 Usando uma estratégia de resolução linear, apresente uma prova por refutação para A a partir do seguinte conjunto de cláusulas: {{A, B, C}, { D, A}, { B}, {C}}
12 10 3 LÓGICA PROPOSICIONAL RESOLUÇÃO
13 11 4 Lógica Proposicional Tabelas de Verdade e BDDs Exercício 41 Considere o seguinte conjunto de fórmulas: {Homem P essoa, Mulher P essoa, Homem Mulher} 1 Mostre quais são os modelos desse conjunto 2 P essoa é consequência lógica desse conjunto? Porquê? 3 Acrescente Homem ao conjunto Diga quais são os seus modelos e as suas consequências lógicas Exercício 42 Considere a seguinte tabela de verdade: P Q f(p, Q) V V V V F F F V F F F F 1 Diga a que conectiva lógica corresponde a função f 2 Represente a árvore de decisão correspondente 3 Mostre o BDD reduzido correspondente à árvore anterior, apresentando e justificando todos os passos Exercício 43 Considere a seguinte tabela de verdade: P Q R f(p, Q, R) V V V V V V F F V F V F V F F F F V V V F V F F F F V V F F F F 1 Represente a árvore de decisão correspondente 2 Mostre o BDD reduzido correspondente à árvore anterior, apresentando e justificando todos os passos 3 O BDD teria a mesma forma se tivesse escolhido outra ordenação para os nós? Justifique, mostrando o novo BDD reduzido
14 12 4 LÓGICA PROPOSICIONAL TABELAS DE VERDADE E BDDS Exercício 44 Prove que as seguintes fórmulas, correspondentes às leis de De Morgan, são teoremas (A B) ( A B) (A B) ( A B) 1 Usando tabelas de verdade 2 Usando BDDs Exercício 45 Considere que α = A B C e β = B C Determine os BDDs reduzidos para: 1 α 2 β 3 α β 4 α β
15 13 5 Lógica Proposicional OBDDs Exercício 51 Considere as seguintes fbfs: 1 α = A B C 2 β = B C 3 γ = (A B) D Partindo das suas árvores de decisão binárias, mostre os seus OBBDs reduzidos através da aplicação do algoritmo reduz Deve usar a ordenação [A, B, C, D] para os predicados Exercício 52 Considerando os OBBDs reduzidos do exercício anterior, combine-os usando o algoritmo aplica (se isso for possível) para obter os OBBDs reduzidos para as seguintes fbfs 1 α β 2 α β 3 β γ
16 14 5 LÓGICA PROPOSICIONAL OBDDS
17 15 6 Lógica Proposicional SAT Exercício 61
18 16 6 LÓGICA PROPOSICIONAL SAT
19 17 7 Lógica de Primeira Ordem Sistema de Dedução Natural Exercício 71 Represente em lógica de primeira ordem cada uma das seguintes frases: 1 O Miau é um gato castanho 2 Os gatos são animais 3 Nenhum gato é um cão 4 Nem todos os gatos gostam de leite 5 Os gatos não gostam de cães (Nenhum gato gosta de nenhum cão) 6 Existe um cão de quem todos os gatos gostam (Todos os gatos gostam do mesmo cão) 7 Todos os gatos gostam de algum cão (Pode ser um cão diferente para cada gato) 8 Se algum gato gostar do Rui, então o Miau também gosta do Rui 9 O Miau é um siamês ou um bobtail, mas não os dois simultaneamente (Não pode usar o ou exclusivo) 10 A cauda do Miau é comprida 11 Todos os gatos têm cauda Exercício 72 Suponha que N(x) representa o predicado x é um número, P (x) representa o predicado x é par, I(x) representa o predicado x é ímpar e M(x, y) representa o predicado x é maior que y Traduza as seguintes fbfs para linguagem comum Se não conseguir traduzir alguma delas, explique porquê 1 x[n(x)] 2 x[i(x) N(x)] 3 x[n(x) P (x)] 4 x[n(x) P (x)] 5 x[i(x) P (x)] 6 x[p (x) y[i(y) M(y, x)]] 7 x[p (x) y[(p (y) x y) M(y, x)]] 8 x[p (x) N(x)] Exercício 73 Demonstre os seguintes argumentos, usando o sistema de dedução natural da lógica de primeira ordem:
20 18 7 LÓGICA DE PRIMEIRA ORDEM SISTEMA DE DEDUÇÃO NATURAL 1 ({ x[f (x)]}, x[f (x)]) 2 ({ x[f (x) G(x)], x[f (x) H(x)]}, x[g(x) H(x)]) Exercício 74 (JPM) Demonstre os seguintes teoremas, usando o sistema de dedução natural da lógica de primeira ordem: 1 (F (a) x[f (x) G(x)]) G(a) 2 ( x[f (x) G(x)] x[g(x) H(x)]) x[f (x) H(x)] 3 ( x[f (x) H(x)] y[f (y)]) z[h(z)] Exercício 75 Demonstre os seguintes teoremas, que correspondem a aplicações das leis de De Morgan para os quantificadores, usando o sistema de dedução natural da lógica de primeira ordem 1 x[f (x)] x[ F (x)] 2 x[ F (x)] x[f (x)] 3 x[f (x)] x[ F (x)] 4 x[ F (x)] x[f (x)]
21 Lógica de Primeira Ordem Sistema de Dedução Natural Prem E n α Prem n α β Hyp o α Hip n α Hip n + 1 Rep n α m α Rep, n Reit n α m α Rei, n I n α Hip m β m + 1 α β I, (n, m) E n α m α β m + 1 β E, (n, m) I n α n + 1 β n + 2 α β I, (n, n + 1) E n α β n + 1 α E, n e n α β n + 1 β E, n I n α n + 1 α β I, n e n α n + 1 β α I, n I p γ r β Hip s γ m γ E, (n, (o, p), (r, s)) n α Hip m β m + 1 β m + 2 α I, (n, (m, m + 1)) E I E I E n n α n + 1 α E, n n x 0 m α(x 0 ) m + 1 x[α(x)] I, (n, m) n x[α(x)] n + 1 α(t) E, n n α(t) n + 1 x[α(x)] I, n x[α(x)] m x 0 α(x 0 ) Hip k β k + 1 β E, (n, (m, k))
22 20 7 LÓGICA DE PRIMEIRA ORDEM SISTEMA DE DEDUÇÃO NATURAL
23 21 8 Lógica de Primeira Ordem Resolução Exercício 81 Utilize o algoritmo de unificação para determinar quais dos seguintes conjuntos de fbfs são unificáveis, e, no caso de o serem, determine o unificador mais geral Mostre todos os passos intermédios usados no cálculos 1 {P (a, x, x), P (a, b, c)} 2 {P (a, x, f(x)), P (x, y, z)} 3 {P (x, y), Q(x, y)} 4 {Colocou(x 1, SenhorAneis, y 1 ), Colocou(Maria, x 2, topo(y2)), Colocou(x 3, SenhorAneis, topo(mesaazul))} Exercício 82 Passe as seguintes fbfs da lógica de primeira ordem para a forma clausal 1 x[a(x)] y, z[b(y) w[c(y, z, w)] v[d(v, z)]] u[e(u) F (u)] 2 x[(a(x) y[b(y) C(x, y)]) D(x)] 3 x[a(x) y[b(x, y) C(y)]] Exercício 83 Considere o seguinte conjunto de cláusulas: {{ A(x), B(x), C(x)}, {A(x)}, { B(a)}, { A(y), C(y)}} 1 Apresente uma demonstração por refutação a partir desse conjunto 2 Apresente uma demonstração por refutação a partir desse conjunto, usando resolução unitária 3 Apresente uma demonstração por refutação a partir desse conjunto, usando resolução linear e { B(a)} como cláusula inicial Exercício 84 Demonstre, usando resolução, o seguinte argumento: ({ x, y[(r(x, y) R(y, z)) R(x, z)], R(a, b), R(b, c), R(c, d)}, R(a, d)) Exercício 85 Demonstre os argumentos do exercício 73, usando resolução Exercício 86 Demonstre os teoremas do exercício 74, usando resolução
24 22 8 LÓGICA DE PRIMEIRA ORDEM RESOLUÇÃO Exercício 87 Demonstre os teoremas do exercício 75, que correspondem a aplicações das leis de De Morgan para os quantificadores, usando resolução Exercício 88 Considere as seguintes afirmações: Os animais com pêlos são mamíferos Os ursos são animais com pêlos Os coelhos são mamíferos O Winnie é um urso O Bugsbunny é um coelho O Sylvester é um animal com pêlos 1 Represente-as em lógica de primeira ordem 2 Usando resolução, responda às seguintes perguntas: (a) O Winnie é mamífero? (b) Quem é que tem pêlos? (c) Quais são os mamíferos?
25 23 9 Lógica de Primeira Ordem Sistema Semântico Exercício 91 Considere a seguinte conceptualização C = (D, F, R): D = {,,,,, } F = {{(, ), (, ), (, )}} R = {{( ), ( ), ( )}, {( ), ( ), ( )}, {(, ), (, ), (, )}} e a seguinte interpretação: I(eq) = I(es) = I(eo) = I(fq) = I(fs) = I(fo) = I(florDe) = {(, ), (, ), (, )} I(Estrela) = {( ), ( ), ( )} I(F lor) = {( ), ( ), ( )} I(MenosP ontas) = {(, ), (, ), (, )} Diga, justificando, quais das seguintes fbfs são satisfeitas por esta interpretação para esta conceptualização: 1 Estrela(eo) 2 Estrela(f lorde(eq)) 3 MenosP ontas(eo, eq) 4 Estrela(es) F lor(fq) 5 x[estrela(x)] 6 x, y, z[(menosp ontas(x, y) MenosP ontas(y, z)) MenosP ontas(x, z)] Exercício 92 Considere a seguinte conceptualização C = (D, F, R): D = {I, V, X, C, D, M, 1, 5, 10, 100, 500, 1000} F = {{(I, 1), (V, 5), (X, 10), (C, 100), (D, 500), (M, 1000)}} R = {{(X), (C), (D), (M)}, {(I), (V )}} Considere a seguinte interpretação: I(um) I I(cinco) V
26 24 9 LÓGICA DE PRIMEIRA ORDEM SISTEMA SEMÂNTICO I(dez) X I(cem) C I(quinhentos) D I(mil) M I(valor) {(I, 1), (V, 5), (X, 10), (C, 100), (D, 500), (M, 1000)} I(P ar) {(X), (C), (D), (M)} I(Impar) {(I), (V )} 1 Diga, justificando, quais das seguintes fbfs são satisfeitas por esta interpretação para esta conceptualização: (a) P ar(cem) (b) P ar(valor(cem)) (c) P ar(cem) Impar(dez) (d) x[p ar(x)] (e) x[p ar(valor(x))] 2 Diga que alterações faria na conceptualização para os resultados serem os intuitivamente esperados 3 Diga, justificando, se o seguinte poderia ser uma interpretação para esta conceptualização I(a) I I(b) 10 I(c) 10 I(f1) {(I, 1), (V, 5), (V, 10), (C, 100)} I(R1) {(X), (C), (D)} 4 Diga, justificando, se o seguinte poderia ser uma interpretação para esta conceptualização I(a) I I(a) 10 I(R1) {(X), (C), (D), (M)} Exercício 93 Considere a seguinte conceptualização: Universo de discurso = {, } Conjunto de funções = {{(, )}, {(, ), (, )}} Conjunto de relações = {{(, ), (, ), (, )}} e o seguinte conjunto de fórmulas: {P 1 (f 1 (a), b), P 1 (f 2 (a), b) P 1 (b, f 1 (a))} Diga se a seguinte interpretação é modelo deste conjunto de fórmulas: I(a) I(b)
27 25 I(f 1 ) {(, )} I(f 2 ) {(, ), (, )} I(P 1 ) {(, ), (, ), (, )} Exercício 94 Considere a seguinte conceptualização C = (D, F, R): D = {,,, } F = {{(, )}, {(, )}, {(,, ), (,, )}} R = {{(, )}, {(, )}, {( ), ( ), ( ), ( )}} e a seguinte interpretação: I(a) = I(b) = I(c) = I(d) = I(f1) = {(, )} I(f2) = {(, )} I(R1) = {(, )} I(R2) = {(, )} I(R3) = {( ), ( ), ( ), ( )} 1 Diga, justificando, se esta interpretação para esta conceptualização é um modelo do seguinte conjunto de fórmulas: { x, y[r3(x) R1(x, f 2(y))], R2(f 1(a), d) R3(b)} 2 Explique porque é que o seguinte não pode ser uma interpretação para esta conceptualização, mencionando todos os erros que foram cometidos I(a) = I(b) = I(c) = I(c) = I(d) = I(f1) = {(, ), (, )} I(R1) = {( ), ( ), ( )}
28 26 9 LÓGICA DE PRIMEIRA ORDEM SISTEMA SEMÂNTICO
29 27 10 Lógica de Primeira Ordem Resolução SLD Exercício 101 Demonstre os argumentos do exercício 73, usando resolução SLD e uma função de selecção que escolhe o primeiro literal da cláusula objectivo Notas: Como está a tentar provar a validade de argumentos, deve fazer provas por refutação em que uma das cláusulas corresponde à negação da conclusão Uma vez que a passagem para a forma clausal já foi feita na aula sobre resolução, apresentam-se com cada argumento as cláusulas que lhe correspondem 1 Argumento: ({ x[f (x)]}, x[f (x)]) Cláusulas: {{F (x)}, { F (y)}} 2 Argumento: ({ x[f (x) G(x)], x[f (x) H(x)]}, x[g(x) H(x)]) Cláusulas: {{ F (x), G(x)}, {F (a)}, {H(a)}, { G(z), H(z)}} Exercício 102 Demonstre os teoremas do exercício 74, usando resolução SLD e uma função de selecção que escolhe o último literal da cláusula objectivo Notas: Como está a tentar provar se uma fórmula é teorema, pode fazer provas por refutação em que as cláusulas correspondem à negação da fórmula inicial Uma vez que a passagem para a forma clausal já foi feita na aula sobre resolução, apresentam-se com cada teorema as cláusulas que correspondem à sua negação 1 (F (a) x[f (x) G(x)]) G(a) {{F (a)}, { F (x), G(x)}, { G(a)}} 2 ( x[f (x) G(x)] y[g(y) H(y)]) z[f (z) H(z)] {{ F (x), G(x)}, { G(y), H(y)}, {F (a)}, { H(a)}} 3 ( x[f (x) H(x)] y[f (y)]) z[h(z)] {{ F (x), H(x)}, {F (a)}, { H(z)}} Exercício 103 Considere o seguinte conjunto de cláusulas: { Animal(x), T emp elos(x), M amif ero(x)} { U rso(x), Animal(x)} { Urso(x), T emp elos(x)} { Coelho(x), Mamifero(x)} {Urso(W innie)} {Coelho(Bugsbunny)} {Animal(Sylvester)} {T emp elos(sylvester)} Usando resolução SLD e uma função de selecção à sua escolha, responda às seguintes perguntas:
30 28 10 LÓGICA DE PRIMEIRA ORDEM RESOLUÇÃO SLD 1 O Winnie é mamífero? 2 Quem é que tem pêlos? 3 Quais são os mamíferos? Exercício 104 Considere o seguinte conjunto de cláusulas de Horn: A(x) B(x), C(x) B(x) D(x) C(x) E(x) B(a1) E(a1) C(a2) C(a3) D(a3) Usando uma árvore de resolução SLD e uma função de selecção que escolha para unificar o último literal do objectivo, mostre todas as soluções para o seguinte objectivo: A(x) Notas: pode usar a estratégia de procura que preferir No final, indique explicitamente as soluções
31 29 11 Prolog Árvores de Refutação e Listas Exercício 111 Considere o seguinte programa em Prolog: mamifero(x) :- animal(x), tempelos(x) animal(x) :- urso(x) tempelos(x) :- urso(x) mamifero(x) :- coelho(x) urso(winnie) coelho(bugsbunny) animal(sylvester) tempelos(sylvester) Mostrando as árvores de refutação respectivas, explique o que é que o Prolog responderia às seguintes perguntas: 1 O Winnie é mamífero? 2 Quem é que tem pêlos? 3 Quais são os mamíferos? Exercício 112 (Adaptado de The Art of Prolog, de Leon Sterling e Ehud Shapiro) Defina os seguintes predicados que manipulam listas Em caso de necessidade, em cada alínea pode usar os predicados definidos nas alíneas anteriores 1 O predicado membro(elemento,lista), que tem o valor verdadeiro se Elemento for um membro da lista Lista Por exemplo, membro(2,[1,2,3]) tem o valor verdadeiro 2 O predicado prefixo(prefixo,lista), que tem o valor verdadeiro se Prefixo for um prefixo da lista Lista Por exemplo, prefixo([1,2], [1,2,3]) tem o valor verdadeiro 3 O predicado sufixo(sufixo,lista), que tem o valor verdadeiro se Sufixo for um sufixo da lista Lista Por exemplo, sufixo([2,3], [1,2,3]) tem o valor verdadeiro 4 O predicado sublista(sub,lista), que tem o valor verdadeiro se Sub for uma sublista da lista Lista Por exemplo, sublista([2,3],[1,2,3,4]) tem o valor verdadeiro 5 O predicado junta(xs,ys,zs), em que a lista Zs é o resultado de concatenar as listas Xs e Ys Por exemplo, junta([1,2],[3,4],[1,2,3,4]) tem o valor verdadeiro 6 Redefina os predicados membro, prefixo, sufixo e sublista em termos do predicado junta
32 30 11 PROLOG ÁRVORES DE REFUTAÇÃO E LISTAS 7 O predicado seguidos(x,y,zs), que tem o valor verdadeiro se X e Y aparecerem seguidos na lista Zs Por exemplo, seguidos(2,3,[1,2,3]) tem o valor verdadeiro 8 O predicado ultimo(x,xs), que tem o valor verdadeiro se X for o último elemento da lista Xs Por exemplo, ultimo(3,[1,2,3]) tem o valor verdadeiro 9 O predicado inverte(xs,ys), que tem o valor verdadeiro se Ys for uma lista que contém os elementos de Xs pela ordem inversa da qual eles aparecem na lista original Por exemplo, inverte([1,2,3],[3,2,1]) tem o valor verdadeiro 10 O predicado comprimento(xs,n), que tem o valor verdadeiro se N for o comprimento da lista Xs Por exemplo, comprimento([1],s(0)) tem o valor verdadeiro 11 O predicado repete(xs,xsxs), que tem o valor verdadeiro se cada elemento de Xs aparece repetido em XsXs Por exemplo, repete([1,2],[1,1,2,2]) tem o valor verdadeiro
33 31 12 Prolog Operadores Pré-definidos Exercício 121 Considere o seguinte programa para calcular o factorial de um número /* factorial1(n,f) :- F e o factorial de N */ factorial1(0,1) factorial1(n,f) :- P is N-1, factorial1(p,fp), F is N*FP 1 Qual a sua resposta ao objectivo factorial1(3,x)? 2 O que acontece se pedirmos uma segunda solução? Como resolver o problema? 3 Qual a sua resposta ao objectivo factorial1(x,6)? Como resolver o problema? Exercício 122 Escreva o predicado comp(l,c), que tem o valor verdadeiro se C é o comprimento da lista L 1 Gerando um processo recursivo 2 Gerando um processo iterativo Exercício 123 Escreva o predicado somalista(xs,s), que tem o valor verdadeiro se S corresponde à soma de todos os elementos da lista de inteiros Xs 1 Gerando um processo recursivo 2 Gerando um processo iterativo Exercício 124 Escreva o predicado remove(xs,x,ys), que tem o valor verdadeiro se Ys resulta de remover todas as ocorrências de X da lista Xs Exercício 125 Escreva o predicado escrevelista(xs), que escreve todos os elementos da lista Xs, um por linha Exercício 126 Suponha que tem uma base de dados que indica as notas que os alunos tiveram nas várias disciplinas (nota(nome,disciplina,nota)) e quais os alunos inscritos nas várias disciplinas (inscrito(nome,disciplina)) Escreva um programa que permite lançar notas de alunos às disciplinas a que eles estão inscritos e que determina a seguinte informação:
34 32 12 PROLOG OPERADORES PRÉ-DEFINIDOS Lista dos alunos com pelo menos uma nota superior ou igual a um dado valor Média das notas de uma disciplina Média das notas de um aluno
35 33 13 Prolog Corte Exercício 131 Escreva um programa que determina o mínimo entre dois números 1 Usando Prolog puro 2 Usando cortes Exercício 132 Explique porque é que o seguinte programa para o minimo3 não tem os resultados esperados /* minimo3(x,y,min) :- Min e o minimo dos numeros X e Y */ minimo3(x,y,x) :- X =< Y,! minimo3(x,y,y) Exercício 133 Escreva um programa em Prolog que funde duas listas ordenadas de inteiros, tendo como resultado outra lista ordenada de inteiros, incluindo repetições Por exemplo, funde([1,3,5],[3,7],[1,3,3,5,7]) tem o valor verdadeiro Exercício 134 Em matemática, um polinómio é uma expressão construída a partir de uma ou mais variáveis e constantes, usando apenas os operadores de adição, subtracção e multiplicação, e expoentes inteiros positivos Por exemplo, x**2-4*x+7 é a representação de um polinómio em Prolog Considere o seguinte programa em Prolog para reconhecer polinómios /* polinomio(termo,x) :- Termo é um polinomio em X */ polinomio(x,x) polinomio(termo,_) :- number(termo) polinomio(termo1+termo2,x) :- polinomio(termo1,x), polinomio(termo2,x) polinomio(termo1-termo2,x) :- polinomio(termo1,x), polinomio(termo2,x) polinomio(termo1*termo2,x) :- polinomio(termo1,x), polinomio(termo2,x) polinomio(termo1/termo2,x) :- polinomio(termo1,x), number(termo2) polinomio(termo**n,x) :- integer(n), N >= 0, polinomio(termo,x)
36 34 13 PROLOG CORTE Altere-o, usando cortes verdes, de modo a eliminar ramos desnecessários da árvore de refutação Exercício 135 Explique qual é o problema com o corte no seguinte programa: /* membro3(x,l) :- X e um membro de L */ membro3(x,[x _]) :-! membro3(x,[_ Ys]) :- membro3(x,ys) Exercício 136 Escreva um procedimento separa(numeros,positivos,negativos), em que Positivos contém os números positivos da lista de números e Negativos contém os números negativos da lista de números Considere que o zero é um número positivo Por exemplo, separa([1,-2,0,-3],[1, 0],[-2,-3]) tem o valor verdadeiro Exercício 137 Escreva um predicado ifthenelse(a,b,c), que caso A tenha sucesso avalia B e caso A falhe avalia C Exercício 138 Considere o programa: m(1) m(2) :-! m(3) Diga quais são todas as respostas do Prolog aos seguintes objectivos, considerando que o utilizador escreve ; até esgotar todas as respostas: 1?- m(x) 2?- m(x), m(y) 3?- m(x),!, m(y) 4?- m(x), m(y),! 5?- m(1), m(2), m(3) Exercício 139 Considere o seguinte programa em Prolog
37 35 d:-a d:-g a:-b(x),!,c(x) a:-e b(1) b(2) c(2) g e Construa a árvore de refutação para mostrar que d sucede através de g Exercício 1310 Considere o seguinte programa: p(x, Y) :- q(x, Y) p(a, b) q(c, d) q(e, f) q(x, Y) :- r(x),!, s(y) q(x, Y) :- t(x, Y) r(e) r(f) s(g) s(h) t(i, j) Diga quais são as respostas dadas pelo Prolog ao objectivo p(x,y), considerando que o utilizador escreve ; até esgotar todas as respostas Exercício 1311 Considere o seguinte programa: u(a) u(b) v(1) v(2) v(3) w1(x,y) :-!, u(x), v(y) w2(x,y) :- u(x),!, v(y) w3(x,y) :- u(x), v(y),! Diga quais são as respostas dadas pelo Prolog aos objectivos w1(x,y), w2(x,y), e w3(x,y), considerando que o utilizador escreve ; até esgotar todas as respostas
38 36 13 PROLOG CORTE
39 37 14 Prolog Negação Exercício 141 Escreva um predicado de dois argumentos diferentes, que tem sucesso apenas quando os seus dois argumentos não são o mesmo, isto é, não são unificáveis Exercício 142 Defina o conceito de duas listas serem disjuntas usando o not, partindo do princípio que existe o predicado membro/2 que indica se um elemento é membro de uma lista Exercício 143 Considere o seguinte programa em Prolog pessoaalta(x) :- not(baixa(x)), pessoa(x) pessoa(eva) pessoa(maria) baixa(maria) Qual a resposta do Prolog ao objectivo pessoaalta(x)? Corresponde ao que estaria intuitivamente correcto? Se não, explique como é que poderia passar a corresponder Exercício 144 Considere o seguinte programa: p1(s(x)) :- p1(x) p2(a) Diga qual a resposta do Prolog ao objectivo not((p1(x),p2(x))) Exercício 145 Considere a seguinte base de conhecimento: cao(bobi) cao(fiel) cao(guerreiro) morde(guerreiro) E as duas formas de representar que o Carlos gosta de todos os cães que não mordam Repare que em termos lógicos não existem diferenças entre as duas gosta1(carlos,x) :- cao(x), not(morde(x)) gosta2(carlos,x) :- not(morde(x)), cao(x) Diga qual a resposta do Prolog a cada um dos objectivos gosta1(carlos,x) e gosta2(carlos,x) Se as repostas forem diferentes, explique a razão dessas diferenças
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Lógica para Programação
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Lógica para Programação Ana Cardoso-Cachopo Ano Lectivo 2007/2008 CONTEÚDO 1 Conteúdo 1 Argumentos e validade
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Lógica para Programação
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Lógica para Programação Ana Cardoso-Cachopo Ano Lectivo 2007/2008 2 o Semestre CONTEÚDO 1 Conteúdo 1 Argumentos
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Lógica para Programação
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Lógica para Programação Ana Cardoso-Cachopo Ano Lectivo 2010/2011 CONTEÚDO 1 Conteúdo 1 Argumentos e Validade
Exercícios de Lógica para Programação
Exercícios de Lógica para Programação Ana Cardoso-Cachopo Fevereiro de 2013 CONTEÚDO 1 Conteúdo 1 Argumentos e Validade 3 2 Lógica Proposicional Sistema de Dedução Natural 4 3 Lógica Proposicional Tabelas
Exercícios de Lógica para Programação
Exercícios de Lógica para Programação Aa Cardoso-Cachopo Fevereiro de 2014 CONTEÚDO 1 Coteúdo 1 Argumetos e Validade 3 2 Lógica Proposicioal Sistema de Dedução Natural 4 3 Lógica Proposicioal Tabelas de
Lógica para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação rimeiro Teste 8 de Maio de 2010 11:00 12:30 Nome: Número: 1. (2.0) Escolha a única resposta correcta para as seguintes questões.
Lógica para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação epescagem do rimeiro Teste 13 de Julho de 2010 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 9 páginas
[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)
Capítulo 3 Lógica de Primeira Ordem
Capítulo 3 Lógica de Primeira Ordem Lógica para Programação LEIC - Tagus Park 1 o Semestre, Ano Lectivo 2007/08 c Inês Lynce and Luísa Coheur Bibliografia Martins J.P., Lógica para Programação, Capítulo
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Representação do Conhecimento
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Representação do Conhecimento Ana Cardoso-Cachopo Ano Lectivo 2005/2006 CONTEÚDO 1 Conteúdo 1 Lógica clássica
Exercícios de Lógica para Programação
Exercícios de Lógica para Programação Ana Cardoso-Cachopo Maio de 2014 CONTEÚDO 1 Conteúdo 1 Argumentos e Validade 5 2 Lógica Proposicional Sistema de Dedução Natural 17 3 Lógica Proposicional Tabelas
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Representação do Conhecimento
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Representação do Conhecimento Ana Cardoso-Cachopo Ano Lectivo 2004/2005 CONTEÚDO 1 Conteúdo 1 Lógica clássica
MATEMÁ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
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO. Exercícios para as aulas práticas de Representação do Conhecimento
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Exercícios para as aulas práticas de Representação do Conhecimento Ana Cardoso-Cachopo Ano Lectivo 2006/2007 CONTEÚDO 1 Conteúdo 1 Lógica clássica
Predicados 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
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
Lógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur
Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo
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
Nota: 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
Lógica Computacional
Aula Teórica 22: Departamento de Informática 16 de Maio de 2011 Introdução Revisão do procedimento Exemplo em Primeira Ordem Considere-se o seguinte conjunto de cláusulas, assumindo as variáveis universalmente
Lógica Computacional (CC2003)
Lógica Computacional (CC2003) Nelma Moreira Lógica Computacional 24 Conteúdo 1 Introdução à Programação em Lógica 1 1.1 Resolução SLD............................ 1 1 Introdução à Programação em Lógica
Fórmulas Bem Formadas (wff) Prioridade dos Conectivos. Prioridade dos Conectivos. Semântica do CR. Semântica do CR
1 Fórmulas Bem Formadas (wff) 1. um átomo é uma wff 2. se α e β são wff e X uma variável livre, então são também wff: INTELIGÊNCIA ARTIFICIAL LÓGICA RELACIONAL (PARTE II) Huei Diana Lee wff lê-se α não
exercícios de análise numérica II
exercícios de análise numérica II lic. matemática aplicada e computação (4/5) aulas práticas - capítulo Exercício. Mostre que a soma dos polinómios base de Lagrange é a função constante. Exercício. Usando
Nelma Moreira. Aula 17
Lógica e Programação Nelma Moreira Aula 17 Conteúdo 1 Programação em Lógica 1 1.1 Resolução para a lógica proposicional................ 1 1.2 Cláusulas............................... 3 1.3 Conversão para
Álgebra Linear. Curso: Engenharia Electrotécnica e de Computadores 1 ō ano/1 ō S 2006/07
Álgebra Linear Curso: Engenharia Electrotécnica e de Computadores ō ano/ ō S 6/7 a Lista: SISTEMAS DE EQUAÇÕES LINEARES E ÁLGEBRA DE MATRIZES Sistemas de equações lineares. Quais das seguintes equações
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 6
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 6 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Lógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução
Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três
Lógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur
Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo
Cá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
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
A 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
Cá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
Inteligência Artificial
Inteligência Artificial Taguspark Segundo Teste 14 de Junho de 006 9H00-10H30 Nome: Número: Este teste tem 8 perguntas e 11 páginas. Escreva o número em todas as páginas. Deve ter na mesa apenas o enunciado
Ló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
Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar
O que procuramos? Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar Pode ser tratado no cálculo sentencial, o qual não captura toda estrutura da sentença.
Álgebra Linear e Geometria Analítica
Instituto Politécnico de Viseu Escola Superior de Tecnologia Departamento: Matemática Álgebra Linear e Geometria Analítica Curso: Engenharia Electrotécnica Ano: 1 o Semestre: 1 o Ano Lectivo: 007/008 Ficha
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
Universidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática
1 Universidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática Lista 4 - MAT 137 -Introdução à Álgebra Linear 2017/II 1. Entre as funções dadas abaixo, verifique quais
Matemática A - 10 o Ano Ficha de Trabalho
Matemática A - 10 o Ano Ficha de Trabalho Álgebra - Divisão Inteira de Polinómios Grupo I 1. Tendo em conta que n N; a n, a n 1,..., a 1, a 0 R e a n 0; b n, b n 1,..., b 1, b 0 R e b n 0, considere os
Dedução Natural para a Lógica de Predicados
Dedução Natural para a Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 14 de dezembro de 2012 Lógica de Predicados
Representação do Conhecimento
Instituto Superior Técnico Licenciatura em Engenharia Informática e de Computadores Campus do Tagus Park Representação do Conhecimento 1 o Teste 10 de Abril de 2006 19:30h 21:00h Nome: Número: Escreva
Departamento de Matemática da Universidade de Aveiro Matemática Discreta. A prova consta de 4 questões cada uma cotada com 5 valores.
Departamento de Matemática da Universidade de Aveiro Matemática Discreta Exame Final ( 2 a Chamada: 22/0/2007 Licenciatura em Matemática (8220 Mest. Int. Eng. Computadores e Telemática (8240 Informações
Instituto Politécnico de Tomar Escola Superior de Tecnologia de Tomar Área Interdepartamental de Matemática
Instituto Politécnico de Tomar Escola Superior de Tecnologia de Tomar Área Interdepartamental de Matemática Análise Numérica Licenciaturas em Engenharia Ambiente,Civil e Química I - Equações Não Lineares.
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
Á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 +
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
Álgebra Linear. Cursos: Química, Engenharia Química, Engenharia de Materiais,Engenharia Biológica, Engenharia do Ambiente 1 ō ano/1 ō Semestre 2006/07
Álgebra Linear Cursos: Química, Engenharia Química, Engenharia de Materiais,Engenharia Biológica, Engenharia do Ambiente ō ano/ ō Semestre 2006/07 a Lista: SISTEMAS DE EQUAÇÕES LINEARES E ÁLGEBRA DE MATRIZES
GAN Lógica para Ciência da Computação I. Profs. Petrucio Viana e Renata de Freitas. Lista 14 - Demonstrações em LPO
GAN 00166 Lógica para Ciência da Computação GAN 00171 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
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
Capítulo 3 Lógica de Primeira Ordem
Capítulo 3 Lógica de Primeira Ordem Lógica para Programação LEIC - Tagus Park 1 o Semestre, Ano Lectivo 2007/08 c Inês Lynce and Luísa Coheur Bibliografia Baseados nos slides de Andrew Rice, Universidade
Lista 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
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Aplicações de Lógica. Lógica como Linguagem de Programação. Mario Benevides UFRJ
Aplicações de Lógica Lógica como Linguagem de Programação Mario Benevides UFRJ Listas Lista L=[a,b,c,d,e,f] onde a,b,...,f são elementos da lista. o elemento a é chamado de cabeça e a lista restante [b,c,d,e,f]
Programação em Lógica. UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010
Programação em Lógica UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010 Roteiro Introdução Conceitos Básicos Linguagens Lógicas Semântica de Modelos Semântica de Prova Programação
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
Faculdade 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
Ló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
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)
Cá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
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
de adição e multiplicação por escalar definidas por: 2. Mostre que o conjunto dos polinômios da forma a + bx com as operações definidas por:
Lista de Exercícios - Espaços Vetoriais. Seja V o conjunto de todos os pares ordenados de números reais e considere as operações de adição e multiplicação por escalar definidas por: i. u + v (x y) + (s
obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero.
Lista 1 - Teoria de Anéis - 2013 Professor: Marcelo M.S. Alves Data: 03/09/2013 obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero. 1. Os conjuntos
FICHA DE TRABALHO N.º 4 MATEMÁTICA A - 10.º ANO POLINÓMIOS
FICHA DE TRABALHO N.º 4 MATEMÁTICA A - 10.º ANO POLINÓMIOS Conhece a Matemática e dominarás o Mundo. Galileu Galilei GRUPO I ITENS DE ESCOLHA MÚLTIPLA 1. Na figura está representado um paralelepípedo ABCDEFGH.
Ló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
EXERCÍCIOS DE ELEMENTOS DE MATEMÁTICA II (BQ, CTA, EFQ, Q) 2002/2003. Funções reais de várias variáveis
EXERCÍCIOS DE ELEMENTOS DE MATEMÁTICA II (BQ, CTA, EFQ, Q) 2002/2003 Funções reais de várias variáveis 1. Faça um esboço de alguns conjuntos de nível das seguintes funções: (a) f (x,y) = 1 + x + 3y, (x,y)
EDO III. por Abílio Lemos. 07, 09 e 14 de novembro de Universidade Federal de Viçosa. Departamento de Matemática UFV. Aulas de MAT
EDO III por Universidade Federal de Viçosa Departamento de Matemática-CCE Aulas de MAT 147-2018 07, 09 e 14 de novembro de 2018 Teorema (D Alembert): Sejam y 1 (x) uma solução, não nula, da EDO y + p(x)y
Ló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
Lógica Computacional
Lógica Computacional DCC/FCUP 2018/19 Conteúdo 1 Introdução à Programação em Lógica 1 1.1 Fórmulas de Horn.......................................... 1 1.2 Satisfazibilidade de Cláusulas....................................
Lógica Computacional (CC2003)
Lógica Computacional (CC2003) Nelma Moreira Lógica Computacional 21 Conteúdo 1 Mais Teorias (decidíveis) 1 1.1 Resolução para a lógica proposicional................ 4 1.2 Cláusulas...............................
2. Diga qual é a diferença entre tipos de informação elementares e tipos de informação estruturados.
Capítulo 5 Abstracção de dados 5. Exercícios de revisão. Diga o que é um tipo abstracto de informação.. Diga qual é a diferença entre tipos de informação elementares e tipos de informação estruturados.
Lógica Computacional
Aula Teórica 20: Forma Normal de Skolem e António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade
Lógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Resolução e PROLOG Passos para obter a forma clausal de uma fbf: 1. Obter a forma normal
0.1 Seja S o subconjunto de P(N) definido indutivamente pelas 3 regras apresentadas de seguida.
Lic. Ciências da Computação Exercícios - Folha 1 0. Definições indutivas 0.1 Seja S o subconjunto de P(N) definido indutivamente pelas 3 regras apresentadas de seguida. (1) {1} S (2) X S X \ {1} S (3)
Matemática A - 10 o Ano
Matemática A - 10 o Ano Resolução da Ficha de Trabalho Álgebra - Divisão Inteira de Polinómios Grupo I 1. Considerando os polinómios p e b no enunciado temos que o termo de maior grau de p b é a nx n b
Exercícios de MATEMÁTICA COMPUTACIONAL. 1 0 Semestre de 2009/2010 Resolução Numérica de Equações Não-Lineares
Exercícios de MATEMÁTICA COMPUTACIONAL Mestrado Integrado em Engenharia Biomédica 1 0 Semestre de 2009/2010 Resolução Numérica de Equações Não-Lineares 1. Considere a equação sin(x) e x = 0. a) Prove que
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
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
RACIOCÍ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
DIM Resolução e método tableaux DIM / 37
DIM0436 21. Resolução e método tableaux 20141014 DIM0436 20141014 1 / 37 Sumário 1 Demostração automática de fórmulas 2 Resolução 3 O método tableaux DIM0436 20141014 2 / 37 1 Demostração automática de
Aula 7 Os teoremas de Weierstrass e do valor intermediário.
Os teoremas de Weierstrass e do valor intermediário. MÓDULO - AULA 7 Aula 7 Os teoremas de Weierstrass e do valor intermediário. Objetivo Compreender o significado de dois resultados centrais a respeito
SCC Capítulo 3 Prova Automática de Teoremas
SCC-630 - Capítulo 3 Prova Automática de Teoremas João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos
ÁLGEBRA LINEAR I - MAT0032
UNIVERSIDADE FEDERAL DA INTEGRAÇÃO LATINO-AMERICANA Instituto Latino-Americano de Ciências da Vida e Da Natureza Centro Interdisciplinar de Ciências da Natureza ÁLGEBRA LINEAR I - MAT32 12 a Lista de exercícios
ÁLGEBRA LINEAR - MAT0024
UNIVERSIDADE FEDERAL DA INTEGRAÇÃO LATINO-AMERICANA Instituto Latino-Americano de Ciências da Vida e Da Natureza Centro Interdisciplinar de Ciências da Natureza ÁLGEBRA LINEAR - MAT0024 11 a Lista de exercícios
Matemática Discreta - 03
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 03 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Pre-calculo 2013/2014
. Números reais, regras básicas de cálculo com fracções, expoentes e radicais Sumário: Número reais, regras básicas de cálculo com fracções, expoentes e radicais. Ler secções. e. do livro adoptado.. Pre-calculo
Lógica Computacional
Aula Teórica 22: em Lógica de Primeira Ordem António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
Ló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
Espaços Vetoriais e Produto Interno
Universidade Federal do Vale do São Francisco Engenharia Civil Álgebra Linear Prof o. Edson 1 o Semestre 1 a Lista de Exercícios 2009 Data: Sexta-feira 27 de Fevereiro Prof o. Edson Espaços Vetoriais e
Quantificadores, Predicados e Validade
Quantificadores, Predicados e Validade Quantificadores e Predicados Fbfs proposicionais tem uma possibilidade limitada de expressão. Exemplo: Para todo x, x > 0 Ela não pode ser simbolizada adequadamente
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)
Matemá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) =,
Ló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
2. Geração de Funções Computáveis
2. Geração de Funções Computáveis 2.1 As funções básicas 2.2 Concatenação de programas 2.3 Substituição 2.5 Minimização Teresa Galvão LEIC - Teoria da Computação I 2.1 2.1 As funções básicas Métodos que
Aulas práticas de Álgebra Linear
Ficha 3 Aulas práticas de Álgebra Linear Licenciatura em Engenharia Naval e Oceânica Mestrado Integrado em Engenharia Mecânica 1 o semestre 2018/19 Jorge Almeida e Lina Oliveira Departamento de 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
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano de escolaridade Versão 2
FICHA de AVALIAÇÃO de MATEMÁTICA A 3.º Teste 0.º Ano de escolaridade Versão Nome: N.º Turma: Professor: José Tinoco 0/0/07 É permitido o uso de calculadora científica Apresente o seu raciocínio de forma
ÁLGEBRA LINEAR I - MAT0032
UNIVERSIDADE FEDERAL DA INTEGRAÇÃO LATINO-AMERICANA Instituto Latino-Americano de Ciências da Vida e Da Natureza Centro Interdisciplinar de Ciências da Natureza ÁLGEBRA LINEAR I - MAT0032 11 a Lista de
Estruturação de Procedimentos
Capítulo 4 Estruturação de Procedimentos 4. Exercícios de revisão. Diga o que entende por linguagem estruturada em blocos. Descreva a regra associada a esta estrutura, e diga qual a sua importância. 2.
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
Primeira Lista de Exercícios
1 Espaços vetoriais Primeira Lista de Exercícios {( ) } a b Exercício 1.1. Considere M 2 := : a, b, c, d R, : M c d 2 M 2 M 2 dada por e : R M 2 M 2 dada por ( ) ( ) ( ) a1 b 1 a2 b 2 a1 + a := 2 b 1 +