Cálculo Proposicional
|
|
- Maria de Fátima de Sequeira da Costa
- 7 Há anos
- Visualizações:
Transcrição
1 Cálculo Proosicional Lógica - Deinição Inteligência Artiicial Nesta aula são introduzidos conceitos básicos sobre o Cálculo Proosicional (CP) O CP é também denominado Cálculo de Proosições ou Lógica de Proosições Formalização de alguma linguagem Sintaxe Eseciicação recisa das exressões legais Semântica Signiicado das exressões Dedução Proê regras que reseram a semântica José Augusto Baranauskas Deartamento de Física e Matemática FFCLRP-USP augusto@us.br URL: htt://dm.mr.us.br/~augusto 2 Programação Lógica Cálculo Proosicional - CP Prolog (Programming in Logic) Prolog = cláusulas + resolução Uso da lógica ara reresentar conhecimento Uso da inerência ara maniular o conhecimento Forma Clausal Cálculo Proosicional Lógica Proosicional Aenas enunciados declaratios são ermitidos remissas ou condições inerência (resolução) conclusões Excluídas sentenças exclamatias, imeratias e interrogatias 3 4 Termo Proosição Exemlos: Paula É usado ara designar objetos Um ilme de terror Triângulo retângulo É uma sentença declaratia que ode assumir os alores erdade () ou also () Exemlos: Todo homem é mortal Meu carro é um usca Está choendo 5 6
2 Proosição Atômica Proosição Comosta Sentença que não contém conectios (e, ou, se...então,...) Sentença que contém um ou mais conectios (e, ou, se...então,...) Todo homem é mortal Meu carro é um usca Está choendo Se Maria estuda então ará bons exames Ele come e dorme Pedro dança ou canta 7 8 Proosição - Cuidado! Conceitos Adicionais As exressões: Está choendo? A iagem entre Ribeirão Preto e Guarujá não são sentenças do CP ois não ossuem um alor erdade erdadeiro () ou also () associado Proosição atômica átomo Proosições atômicas são designadas or letras latinas minúsculas (, q, r,...) Literal é um átomo ou a negação de um átomo Conectios ou Oeradores: ermitem a construção de roosições comostas 9 10 Conectios Conectios ou Oeradores: e (conjunção) ou (disjunção) não (negação) condicional (imlicação) bicondicional Conectio: e ( ) A artir de duas roosições, obtém-se uma terceira denominada conjunção: Exemlo: () Maria estuda o roblema (q) José ai escar Conjunção de () e (q): q Maria estuda o roblema e José ai escar 11 12
3 Conectio: ou ( ) A artir de duas roosições, obtém-se uma terceira denominada disjunção: Exemlo: () Maria estuda o roblema (q) José ai escar Disjunção de () e (q): q Maria estuda o roblema ou José ai escar Conectio: não ( ) A artir de uma roosição, obtém-se uma segunda denominada negação: Assim, a negação nega o alor-erdade de uma roosição Exemlo: () Maria estuda o roblema Negação de (): não (Maria estuda o roblema) Conectio: condicional ( ) Conectio condicional lido como se...então A artir de duas roosições, obtém-se uma terceira denominada condicional ou imlicação Proosição à esquerda de denomina-se remissa ou antecedente Proosição à direita de denomina-se conclusão ou conseqüente Exemlo: () Eu como muito (q) Eu engordo Condicional de () e (q): q Se eu como muito então eu engordo Conectio: bicondicional ( ) Conectio bicondicional é lido como se e somente se A artir de duas roosições, obtém-se uma terceira denominada bicondicional Exemlo: () Um triângulo é retângulo (q) Um triângulo tem um ângulo reto Bicondicional de () e (q): q Um triângulo é retângulo se e somente se tem um ângulo reto Semântica dos Conectios Simbolização q q q q q Processo de substituição de rases em linguagem natural ara letras roosicionais e conectios lógicos Ex: Se choe então Maria Angélica estuda o roblema e se não az rio Ana Laura está nadando : Maria Angélica estuda o roblema q: Ana Laura está nadando r: choe s: az rio Encontrar conectios: (Se choe então Maria Angélica estuda o roblema) e (se (não az rio) então Ana Laura está nadando) Substituir rases e conectios: (r ) ( s q) 17 18
4 Fórmulas Bem Formadas (w( w) Fórmulas construídas mediante a combinação álida de símbolos Fórmulas Bem Formadas = Well Formed Formula = w Para reresentar w são usadas metaariáeis roosicionais reresentadas elas letras α, β, γ, etc Cada exressão enolendo α, β, γ, etc é chamada de orma sentencial Fórmulas Bem Formadas (w( w) 1. um átomo é uma w 2. se α e β são w, então são também w: w α α β α β α β α β lê-se não α α e β α ou β se α então β α se e somente se β 3. As únicas w são deinidas or (1) e (2) Prioridade dos Conectios Prioridade dos Conectios maior rioridade menor rioridade Prioridade dos Conectios Exemlos: α β γ signiica α (β γ) α β γ signiica α (β γ) α β γ δ signiica α ((β ( γ)) δ) A recedência ode ser alterada elo uso de arênteses Variações de Notação Item Adotada Outras e q &q.q,q ou q q +q ;q não ~ condicional q q q q bicondicional q q 23 24
5 Semântica do CP Validade e Inconsistência Consiste na interretação de suas órmulas, ou seja, atribuição dos alores-erdade ( ou ) às ormulas atômicas, or exemlo: ( q) ( q) Como a órmula ossui 2 comonentes atômicos ela admite 2 2 interretações Para uma órmula de n comonentes temse 2 n interretações Se uma órmula β tem alor numa interretação I, então β é erdadeira na interretação I Por exemlo, a órmula ( q) é erdadeira na interretação I1 I1 I2 I3 I4 q q Validade e Inconsistência Validade e Inconsistência Se uma órmula β é erdadeira segundo alguma interretação, então β é satisatíel (ou consistente) Por exemlo, a órmula ( q) é satisatíel ois é erdadeira em uma interretação (I1) I1 I2 I3 q q Uma órmula β é álida (tautológica) quando or erdadeira em todas suas interretações Por exemlo, a órmula ( ) é uma tautologia I1 I2 I Validade e Inconsistência Validade e Inconsistência Se uma órmula β tem alor numa interretação I, então β é alsa na interretação I Por exemlo, a órmula ( q) é alsa nas interretações I2, I3 e I4 I1 I2 I3 q q Uma órmula β é insatisatíel (ou inconsistente ou contradição) quando or alsa segundo todas interretações ossíeis Por exemlo, a órmula ( ) é insatisatíel I1 I2 I
6 Validade e Inconsistência Exercícios Uma órmula β é inálida quando or alsa segundo alguma interretação Por exemlo, a órmula ( q) é inálida ois é alsa nas interretações I2, I3 e I4 I1 I2 I3 q q Proar usando tabela erdade que: 1. ( ) é inconsistente e ortanto inálida. 2. ( ) é álida e ortanto consistente. 3. ( ) é inálida, ainda que consistente. I Conseqüência Lógica Sejam α, β 1, β 2,..., β n w. Diz-se que α é conseqüência lógica de β 1, β 2,..., β n se, e somente se, ara qualquer interretação em que β 1, β 2,..., β n orem simultaneamente erdadeiras, α é também erdadeira. Se α é conseqüência lógica de β 1, β 2,... β n,, diz-se que α segue-se logicamente de β 1, β 2,... β n,. Notação: β 1, β 2,..., β n α Conseqüência Lógica Teorema: α é conseqüência lógica de β 1, β 2,..., β n se e somente se: β 1 β 2... β n α é uma tautologia Teorema: α é conseqüência lógica de β 1, β 2,..., β n se e somente se: β 1 β 2... β n α é uma contradição Proa Proa α é conseqüência lógica de β 1, β 2,..., β n se e somente se β 1 β 2... β n αé uma tautologia Condição Necessária Seja α conseqüência lógica de β 1, β 2,..., β n e I uma interretação qualquer (1) Se β 1, β 2,..., β n orem erdade em I então α também será erdade em I (ois é conseqüência lógica dos β i s) (2) Se um dos β i s or also em I β 1 β 2... β n também será also em I. Indeendente do alor de α, β 1 β 2... β n αé erdade De (1) e (2) tem-se que β 1 β 2... β n αé erdade em qualquer situação (tautologia) Condição Suiciente Do ato de β 1 β 2... β n αser uma tautologia, tem-se que β 1 β 2... β n αéerdade em qualquer interretação. Se β 1 β 2... β n or erdade em I, α também será erdade em I. Portanto α é conseqüência lógica de β 1, β 2,..., β n α é conseqüência lógica de β 1, β 2,..., β n se e somente se β 1 β 2... β n α éuma contradição Do teorema anterior, sabe que α é conseqüência lógica de β 1, β 2,..., β n se e somente se β 1 β 2... β n αé uma tautologia Equialentemente α é conseqüência lógica de β 1, β 2,..., β n se e somente se (β 1 β 2... β n α) é contradição (β 1 β 2... β n α) ( (β 1 β 2... β n ) α) β 1 β 2... β n α Assim, β 1 β 2... β n α é uma contradição 35 36
7 Equialência Lógica Uma órmula α é logicamente equialente ( ) a uma órmula β quando α or conseqüência lógica de β e β or conseqüência lógica de α Assim, α β se e somente se α β é uma tautologia Exemlo Proar que ( q) é equialente a ( q) q q q ( q) ( q) Portanto, ( q) ( q) Argumento Argumento é uma sequência α 1, α 2,..., α n (n 1) de roosições, onde: α i (1 i n-1) são chamadas remissas e α n denomina-se conclusão Notação: α 1, α 2,..., α n-1 α n. Argumento Válido Um argumento α 1, α 2,..., α n-1 α n é álido se e somente se: α 1 α 2... α n-1 α n or uma tautologia ou equialentemente, α 1 α 2... α n-1 α n Argumento Válido Um argumento álido (α 1, α 2,..., α n-1 α n ) ode ser lido como: α 1, α 2,..., α n-1 acarretam α n ou α n decorre de α 1, α 2,..., α n-1 ou α n é conseqüência lógica de α 1, α 2,..., α n-1 Para n=1, o argumento é álido se e somente se α 1 or tautológica Princíio da Substituição Subórmulas: dada a órmula α α: ( q) r, então q,, q, r, são as subórmulas de α O rincíio airma que uma subórmula de uma órmula α, ou toda a órmula α, ode ser substituída or uma órmula equialente e que a órmula resultante é equialente a α 41 42
8 Princíio da Substituição Exemlo: elo rincíio da substituição, a órmula α: ( q) ( r) é equialente a: ϒ: ( q) ( r) Proriedades Existem árias roriedades da negação, conjunção e disjunção Estas roriedades odem ser eriicadas como equialências lógicas Para demonstrar cada uma, basta utilizar as tabelas-erdade, constatando a tautologia Proriedades Proriedades Proriedades da Conjunção comutatia α β β α associatia α (β ϒ) (α β) ϒ idemotente α α α roriedade de ()erdade α α roriedade de ()also α Proriedades da Disjunção comutatia α β β α associatia α (β ϒ) (α β) ϒ idemotente α α α roriedade de ()erdade α roriedade de ()also α α Distributia α (β ϒ) (α β) (α ϒ) α (β ϒ) (α β) (α ϒ) Negação ( α) α Absorção α (α β) α α (α β) α De Morgan (α β) α β (α β) α β Equialência da Imlicação α β α β Fórmulas Proosicionais Equialentes Fórmulas Proosicionais Equialentes Nome da Regra modus onens modus tollens silogismo hiotético ou regra da cadeia silogismo disjuntio dilema construtio dilema destrutio simliicação conjunção adição contraosição exortação imortação Regra α, α β = β α β, β = α α β, β γ = α γ α β, α = β α β, γ δ, α γ = β δ α β, γ δ, β γ = α γ α β = α α, β = α β α = α β α β = β α α (β γ) = (α β) γ (α β) γ = α (β γ) Exemlo da orma de leitura modus onens: α, α β = β caso α seja erdade e α β seja erdade, obrigatoriamente β será erdade 47 48
9 Veriicação de Validade de Argumentos Sejam α 1, α 2,..., α n, β órmulas do Cálculo Proosicional. Uma seqüência inita de roosições C 1, C 2,..., C k é uma roa ou dedução de β, a artir das remissas α 1, α 2,..., α n se e somente se: cada C i é uma remissa α j (1 <= j <= n), ou C i roém das órmulas recedentes, elo uso de um argumento álido das regras de inerência, ou C i roém do uso do rincíio de substituição numa órmula anterior, ou C k é β Diz-se então que β é dedutíel de α 1, α 2,..., α n ou que β é um teorema Exemlo Se as uas caem, então a raosa as come. Se a raosa as come, então estão maduras. As uas estão erdes ou caem. Logo, A raosa come as uas se e só se as uas caem Exemlo Exemlo α 1 : Se as uas caem, então a raosa as come. α 2 : Se a raosa as come, então estão maduras. α 3 : As uas estão erdes ou caem. Logo, β: A raosa come as uas se e só se as uas caem. α 1 : Se as uas caem, então a raosa as come. α 2 : Se a raosa as come, então estão maduras. α 3 : As uas estão erdes ou caem. Logo, β: A raosa come as uas se e só se as uas caem. Proosições: : as uas caem q: a raosa come as uas r: as uas estão maduras ( r: as uas estão erdes) Exemlo Exemlo α 1 : Se as uas caem, então a raosa as come. α 2 : Se a raosa as come, então estão maduras. Proosições: : as uas caem α 1 : Se as uas caem, então a raosa as come. α 2 : Se a raosa as come, então estão maduras. Proosições: : as uas caem α 3 : As uas estão erdes ou caem. Logo, β: A raosa come as uas se e só se as uas caem. q: a raosa come as uas r: as uas estão maduras ( r: as uas estão erdes) α 3 : As uas estão erdes ou caem. Logo, β: A raosa come as uas se e só se as uas caem. q: a raosa come as uas r: as uas estão maduras ( r: as uas estão erdes) Premissas α 1 : q α 2 : q r α 3 : r β: Conclusão q Premissas α 1 : q α 2 : q r α 3 : r Conclusão β: q Deduz-se que: C 1 : r C 2 : q (α 3 : equialência) (α 2 + C 1 : regra da cadeia) Proar que: α 1, α 2, α 3 = β q, q r, r = q Proar que: α 1, α 2, α 3 = β q, q r, r = q C 3 : C 4 ( β): ( q) (q ) q (α 1 + C 2 : conjunção) (C 3 : equialência) 53 54
10 Cuidado! Formas Normais Sejam dois números a e b tais que a = b Considere a seguinte roa Por quê oi ossíel chegar a esse resultado? i) ii) iii) i) i) ii) iii) ix) a aa a 2 - b 2 (a + b)(a - b) ) [(a + b)(a - b)] / (a -b) = [b(a - b)] / (a - b) diidir or (a - b) a + b a + a 2a 2 = = = = = = = = b ba ba - b 2 b(a - b) b a a 1 multilicar or a subtrair b 2 atorar substituir b or a (a = b) diidir or a Há árias maneiras de escreer uma mesma órmula Ex: ( q) m ( q) m A Forma Normal é usada ara uniormizar a notação Forma Normal Disjuntia (FND) Forma Normal Conjuntia (FNC) Um enunciado do Cálculo Proosicional semre ode ser escrito na FN Forma Normal Disjuntia Uma órmula roosicional α está na FND quando α é uma disjunção β 1 β 2... β n, (n 1) cada β i (1 i n) é uma conjunção de literais, ou um literal, ou seja: β i é da orma m, (m 1) Forma Normal Disjuntia A órmula α está na FND se e somente se: contém como conectios aenas,, só oera sobre roosições atômicas (não tem alcance sobre, ) não aarecem negações sucessias ( ) não tem alcance sobre, ou seja, não existe exressão do tio: (q r) Forma Normal Disjuntia Forma geral ( k ) (q 1 q 2... q l ) (r 1 r 2 r 3... r s )... Exemlo α: q r FND(α): ( q) r Obtenção da FND: or tabela erdade ou or equialência Forma Normal Conjuntia Uma órmula roosicional α está na FNC quando: α é uma conjunção β 1 β 2... β n, (n 1) cada β i (1 i n) é uma disjunção de literais, ou um literal, ou seja: β i é da orma m, (m 1) 59 60
11 Forma Normal Conjuntia A órmula α está na FNC se e somente se: contém como conectios aenas,, só oera sobre roosições atômicas (não tem alcance sobre e ) não aarecem negações sucessias ( ) não tem alcance sobre, ou seja, não existe exressão do tio: (q r) Forma Normal Conjuntia Forma geral ( k ) (q 1 q 2... q l ) (r 1 r 2 r 3... r s )... Exemlo α: q r FNC(α): ( q r) ( q r) ( q r) É ácil mostrar que uma FNC é tautológica se e somente se cada elemento da conjunção é tautológico Obtenção da FNC: or tabela erdade ou or equialência Obtenção da FNC or Tabela Verdade Obtenção da FNC or Tabela Verdade Exemlo: q r I1 I2 I3 I4 I5 I6 I7 I8 q r q ( q) r Exemlo: q r I2 I6 I8 q r q ( q) r ( q r) Para cada interretação alsa da Tabela Verdade: Átomo que assume alor é alterado ela sua negação Átomo que assume alor é deixado intacto Literais de uma mesma interretação são conectados or As interretações são conectadas or No exemlo FNC( q r): ( q r) ( q r) ( q r) ( q r) ( q r) Obtenção da FNC or Equialência Exercício 1. Reetidamente, usar as equialências, ara eliminar os conectios lógicos e : α β ( α β) ( β α) α β α β 2. Reetidamente, eliminar as negações, utilizando: ( α) α (α β) ( α β) (α β) ( α β) 3. Reetidamente, alicar a lei distributia: α (β γ) (α β) (α γ) (α β) γ (α γ) (β γ) Obter a FNC das órmulas: a) ( q) ( r) b) ( q) ( r) i) Usando equialência ii) Usando tabela erdade 65 66
12 Solução (Equialência) Solução (Tabela Verdade) ( q) ( r) ( q) ( r) ( q) ( r) ( q ) ( q r) ( q) ( q r) FNC(( q) ( r)): ( q) ( q r) ( q) ( r) ( q) ( r) ( q) ( r) ( q ) ( q r) ( q r) FNC(( q) ( r)): ( q r) q r q r r ( q) ( r) ( q) ( r) FNC(( q) ( r)): ( q r) ( q r) FNC(( q) ( r)): ( q r) Notação Clausal Cláusula: disjunção de literais: F i = L 1 L 2... L r Fórmula na FNC: escrita como conjunção de cláusulas: F 1 F 2... F n A FNC é uma coleção de cláusulas, orque a conjunção tem roriedade associatia. Por isso, ode-se escreer uma órmula α na orma: {F 1, F 2,... F n } F 1 F 2... F n A disjunção também tem a roriedade associatia, e or isso, também odemos escreer uma cláusula F i na orma: F i = {L 1, L 2,..., L n } L 1 L 2... L n Notação Clausal Exemlo FNC((( q) ( r)) s): ((s q ) (s r) (s q r)) Pode-se escreer: FNC((( q) ( r)) s): F 1 F 2 F 3 onde F 1 : (s q ), F 2 : (s r), F 3 : (s q r) que ode ser reresentado or F = {F 1, F 2, F 3 }, onde a conjunção está imlícita Notação Clausal É uma conenção escreer uma órmula aós a outra, lembrando que estão conectadas or F 1 : (s q ) F 2 : (s r) F 3 : (s q r) Colocando os literais ositios antes dos negatios F 1 : (s q) F 2 : (s r) F 3 : (s q r) Notação de Kowalsky A searação de literais ositios e negatios reara a cláusula ara a notação deinida or Kowalsky: FNC FNC Kowalsky CP F 1 : s q F 1 : s, q F 1 : q s F 2 : s r F 2 : s, r F 2 : r s F 3 : s q r F 3 : s q, r F 3 : q r s Obserar que todas as notações são equialentes 71 72
13 Notação de Kowalsky Há uma disjunção ( ) imlícita à esquerda de, chamada de conclusão(ões) F 1 : s, q F 2 : s, r F 3 : s q, r Há uma conjunção ( ) imlícita à direita de, chamada de remissa(s) ou condição(ões) Notação de Kowalsky São equialentes as seguintes notações: (1) B 1, B 2,..., B n A 1, A 2,..., A m (2) A 1, A 2,..., A m B 1, B 2,..., B n (3) A 1 A 2... A m B 1 B 2... B n (4) A 1 A 2... A m (B 1 B 2... B n ) (5) A 1 A 2... A m B 1 B 2... B n A cláusula (2) é uma cláusula genérica na notação de Kowalsky Cláusulas de Horn Deendendo do número de literais, tem-se: 1. Se m>1, as conclusões são indeinidas, ou seja, há árias conclusões 2. Se m 1, tem-se as Cláusulas de Horn m=1 e n > 0, (A B 1, B 2,..., B n ) chamada cláusula deinida, onde só existe uma solução m=1 e n=0, (A ) é a cláusula indeinida incondicional, ou ato. Neste caso, o símbolo é abandonado m=0 e n>0, ( B 1, B 2,..., B n ) é a negação ura de B 1, B 2,..., B n m=0 e n=0, ( ) é a cláusula azia, denotada or [] Cláusulas de Horn Kowalski mostrou que uma cláusula de Horn do tio A B 1, B 2,..., B n ode ser executada numa linguagem de rogramação recursia, onde A é a cabeça do rocedimento e os B i s o seu coro A B 1, B 2,..., B n ode ser lido como: ara resoler (executar) A, resola (execute) B 1 e B 2 e... e B n Cláusulas de Horn Em Prolog A B 1, B 2,..., B n é reresentado como A :- B 1, B 2,..., B n. :- é chamado neck Pode-se ler A :- B 1, B 2,..., B n. da seguinte orma A é erdade se B 1 é erdade e B 2 é erdade e... e B n é erdade Cláusulas de Horn As únicas cláusulas que odem ser reresentadas em Prolog são as Cláusulas de Horn Se um determinado conhecimento uder ser exresso mediante o cálculo roosicional, somente a arte ormada or cláusulas de Horn oderá ser reresentada em Prolog Ou seja, um sub-conjunto do cálculo roosicional 77 78
14 Exercício Mostre que as órmulas seguintes são equialentes: (i) b 1, b 2, b 3, b 4 a 1, a 2, a 3 (ii) a 1, a 2, a 3 b 1, b 2, b 3, b 4 (iii) a 1 a 2 a 3 b 1 b 2 b 3 b 4 (i) a 1 a 2 a 3 (b 1 b 2 b 3 b 4 ) () a 1 a 2 a 3 b 1 b 2 b 3 b 4 Proa or Resolução O método da Resolução utiliza uma órmula na FNC ara realizar inerências O método da Resolução é acilmente automatizado ara ser realizado or um comutador É um método de resolução geral, que emrega aenas uma regra de inerência Podem ser alicadas a ww que consistem de uma disjunção de literais: as cláusulas O rocesso de resolução é alicado a um ar de cláusulas e resulta em uma cláusula deriada Proa or Resolução Proa or Resolução Pré-requisito: 2 cláusulas ais um literal em uma das cláusulas ai (P1) um literal na outra cláusula ai (P2) noa cláusula é chamada resolente (R) contendo todos os literais de P1 e P2, exceto P1: ou mais-literais P2: ou ainda-mais-literais R: mais-literais ou ainda-mais-literais Regra de Resolução: de q e r q deduz-se r Esta regra ermite combinar duas órmulas or meio da eliminação de átomos comlementares No exemlo, eliminou-se os átomos q e q Proa or Resolução Proa or Resolução Regra de Resolução: de q e r q deduz-se r cláusulas ais Esta regra ermite combinar duas órmulas or meio da eliminação de átomos comlementares No exemlo, eliminou-se os átomos q e q Regra de Resolução: de q e r q deduz-se r cláusula resolente Esta regra ermite combinar duas órmulas or meio da eliminação de átomos comlementares No exemlo, eliminou-se os átomos q e q 83 84
15 Exercício 1 Qual a cláusula resolente das seguintes cláusulas ais? P1) ( s q) P2) ( q r) Solução Exercício 1 Qual a cláusula resolente das seguintes cláusulas ais? P1) ( s q) P2) ( q r) R) ( s r) Exercício 2 Qual a cláusula resolente das seguintes cláusulas ais? P1) ( s q) P2) ( q r) Solução Exercício 2 Qual a cláusula resolente das seguintes cláusulas ais? P1) ( s q) P2) ( q r) R) ( s r) Procedimento da Resolução Usa-se redução ao absurdo, negando a conclusão: 1. Achar, ara cada remissa e ara cada conclusão negada (adotada como remissa), a FNC corresondente, da seguinte maneira: Remoer e : α β ( α β) ( β α) α β α β Alicar De Morgan: (α β) α β (α β) α β Usar distributia α (β γ) (α β) (α γ) Procedimento da Resolução 2. Cada remissa é agora uma conjunção de uma ou mais cláusulas em uma linha dierente (cada uma delas é, uma ez que a conjunção de todas é ) 3. Cada cláusula contém uma disjunção de um ou mais literais; estão na orma correta ara se alicar a resolução. Procurar então or duas cláusulas que contenham o mesmo átomo, com sinais oostos, or exemlo, uma cláusula com e outra cláusula contendo, eliminando ambos 89 90
16 Procedimento da Resolução 4. Continuar este rocesso até que se tenha deriado e. Ao se alicar resolução nestas duas cláusulas, obtém-se a cláusula azia, denotada or, o que exressa a contradição, comletando então o método de redução ao absurdo:, deduz-se also Pode-se também usar a resolução mediante a negação do teorema. Neste caso alicam-se os mesmos assos anteriores Exemlos do Uso de Resolução A seguir são mostrados dois exemlos usando roa or redução ao absurdo Por meio da negação da tese Por meio da negação do teorema Negação da Tese Negação da Tese Para roar que r s é conseqüência lógica de q, r, q s dee-se mostrar que (( q) ( r) (q s)) (r s) é uma tautologia (teorema) 93 Conerter remissas ara FNC, escreendo em linhas searadas: (a) q (b) r (c) q s Negar a conclusão e conertê-la ara FNC: (r s) r s (d) r (e) s Deduzir a cláusula azia or resolução () de (d) e (b) (g) q de () e (a) (h) q de (e) e (c) (i) de (g) e (h) a cláusula é gerada ela contradição de duas cláusulas na orma: q q 94 Negação do Teorema Para roar a regra da cadeia: ( q) (q r) ( r) A negação do teorema é: (( q) (q r) ( r)) A FNC do teorema negado é: ( q) ( q r) r Negação do Teorema O asso básico do método de resolução ocorre quando existem duas cláusulas tais que uma roosição ocorre em uma delas e ocorre na outra q q r r r r 95 96
17 Resolução: Vantagens Proriedades do CP Não é necessário o uso de equialências ara rearranjar q como q Tudo é colocado na FNC antes da alicação do método Para o método, a osição (na cláusula) do átomo a ser eliminado é indierente Existe aenas uma regra de inerência ara ser lembrada Fácil de ser mecanizado Linguagem Prolog está baseada no rincíio da resolução alicado a cláusulas de Horn Usando Busca em Proundidade 97 Embora seja insuiciente ara o ormalismo do raciocínio lógico, o CP ossui roriedades muito imortantes: O sistema é consistente: Não é ossíel deriar simultaneamente uma órmula α e sua negação α O sistema é correto ou coerente: Todo teorema é uma tautologia Comletude Toda tautologia é um teorema Decidibilidade Há um algoritmo que ermite eriicar se uma dada órmula do sistema é ou não um teorema 98 Exercício Alique resolução a cada situação seguinte e eriique o que ode ser inerido a) Sócrates é homem. Se Sócrates é homem então ele é mortal. b) s (r s) Slides baseados em: Monard, M.C., Nicoletti, M.C., Noguchi.R.H., O Cálculo Proosicional: Uma abordagem oltada à comreensão da linguagem Prolog, Notas Didáticas do ICMC-USP, 1992 (htt://labic.icmc.us.br/didatico/d/croosicional_d.zi) Material elaborado or José Augusto Baranauskas Reisã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 maisNoções de lógica matemática Conceitos Básicos
Conceitos Básicos CH f Noções de lógica matemática Conceitos Básicos CH 1 Conceitos Básicos - E CH CH f ^ Noções de lógica matemática Conceitos Básicos - E CH CH ^ 2 Conceitos Básicos - OU CH CH f Noções
Leia maisMATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira
MATEMÁTICA 3 Professor Renato Madeira MÓDULO 1 Lógica SUMÁRIO 1. Proosição. Negação 3. Conectivos 4. Condicionais 4.1. Relação de imlicação 4.. Relação de equivalência 5. Álgebra das roosições 6. Quantificadores
Leia maisUma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:
1 Noções Básicas de Lógica 1.1 Proosições Uma roosição é uma frase ue ode ser aenas verdadeira ou falsa. 1. Os saos são anfíbios. 2. A caital do Brasil é Porto Alegre. 3. O tomate é um tubérculo. 4. Por
Leia maisRecredenciamento Portaria MEC 347, de D.O.U
Quest(iii) Argumento Dado um fenômeno ou fato, rocura-se justificá-lo, exlicá-lo. Esta justificativa é dada na forma de um raciocínio através do ual chegamos a uma afirmação, e uando este raciocínio é
Leia maisLÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E Autora: Prof. Dra. Denise Candal
LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E COMPOSTAS Rafael D. Ribeiro, M.Sc. rafaeldiasribeiro@gmail.com htt://www.rafaeldiasribeiro.com.br Autora: Prof. Dra. Denise Candal 1 Definição: Chama-se roosição
Leia maisFundamentos 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 maisIMPLICAÇÃO LÓGICA. Prof.: Rafael Dias Ribeiro,M.Sc.
IMPLICAÇÃO LÓGICA Prof.: Rafael Dias Ribeiro,M.Sc. Imlicação Lógica O rocesso de inferência automática oderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma estratégia lenta e que ocuaria
Leia maisLógica A lógica fornece-nos regras e técnicas para determinar se um argumento é válido. Matemática. Lógica Demonstração de teoremas
Lógica Lógica A lógica fornece-nos regras e técnicas ara determinar se um argumento é válido. Matemática Lógica Demonstração de teoremas Ciências de comutação Lógica erificação de rogramas ida corrente
Leia maisINTRODUÇÃO À LÓGICA MATEMÁTICA
INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição
Leia maisLóg L ica M ca at M em e ática PROF.. J EAN 1
Lógica Matemática PRO. JEAN 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição alor Lógico Proposição Simples e Proposição Composta Conectivos Tabela-erdade 2 LÓGICA MATEMÁTICA INTRODUÇÃO ao
Leia maisLógica A lógica fornece-nos regras e técnicas para determinar se um argumento é válido. Matemática. Lógica Demonstração de teoremas
Lógica Lógica A lógica fornece-nos regras e técnicas ara determinar se um argumento é válido. Matemática Lógica Demonstração de teoremas Ciências de comutação Lógica erificação de rogramas ida corrente
Leia maisInteligência Computacional
Inteligência Comutacional CP78D Lógica Proosicional e Lógica de Predicados Aula 3 Prof. Daniel Cavalcanti Jeronymo Universidade Tecnológica Federal do Paraná UTFPR Engenharia Eletrônica 9º Período /22
Leia maisLó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 mais2.1 A realidade sob a ótica da lógica proposicional
Caítulo 2 Lógica Proosicional 2.1 A realidade sob a ótica da lógica roosicional 1. a) Proosições simles: (1) João é olítico; (2) João é honesto. A roosição é uma conjunção de (1) e (2). b) Proosições simles:
Leia maisFundamentos de Lógica Matemática
Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise
Leia maisCá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 maisLó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 maisLógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento
Leia maisNHI 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 maisUNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO UFRPE Matemática Discreta Bacharelado em Sistemas de Informação Respostas - 1ª Lista de Exercícios
UNIERSIDADE EDERAL RURAL DE PERNAMBUCO URPE Matemática Discreta Bacharelado em Sistemas de Inormação Resolução Lista 1 Monitoria: Bruna 1) Lógica Proposicional a) Marque as rases que orem proposições:
Leia maisMaterial de Apoio-Tecnologia em Análise e Desenvolvimentos de Sistemas Prof Marcos do Nascimento - MATEMÁTICA DISCRETA I
Material de Aoio-Tecnologia em Análise e Desenvolvimentos de Sistemas Prof Marcos do Nascimento - MATEMÁTICA DISCRETA I Cáitulo I- TEORIA DOS CONJUNTOS... 2 1.1 Introdução... 2 1.2 Oerações entre Conjuntos...
Leia maisCá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 maisUnidade 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 maisLógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.
Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Lógica Proposicional 1 Proposição Uma rase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F) ou Verdadeiro
Leia maisSecção 5. Equações lineares não homogéneas.
Secção 5 Equações lineares não omogéneas Farlow: Sec 36 a 38 Vimos na secção anterior como obter a solução geral de uma EDO linear omogénea Veremos agora como resoler o roblema das equações não omogéneas
Leia maisLógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.
Lógica e Raciocínio Uniersidade da Madeira htt://dme.uma.t/edu/ler/ Lógica Proosicional 1 Proosição Uma rase é uma roosição aenas quando admite um dos dois alores lógicos: Falso (F) ou Verdadeiro (V).
Leia maisSIMULADO. 05) Atribuindo-se todos os possíveis valores lógicos V ou F às proposições A e B, a proposição [( A) B] A terá três valores lógicos F.
01) Considere as seguintes roosições: P: Está quente e Q: Está chovendo. Então a roosição R: Se está quente e não está chovendo, então está quente ode ser escrita na forma simbólica P..( Q) P, em que P..(
Leia maisIntroduçã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 maisLó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 maisPré-Cálculo. Humberto José Bortolossi. Aula 7 10 de setembro de Departamento de Matemática Aplicada Universidade Federal Fluminense
Pré-Cálculo Humberto José Bortolossi Deartamento de Matemática Alicada Universidade Federal Fluminense Aula 7 10 de setembro de 2010 Aula 7 Pré-Cálculo 1 Módulo (ou valor absoluto) de um número real x
Leia maisInteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO
Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema
Leia maisMódulo (ou valor absoluto) de um número real: a função modular
Matemática Básica Humberto José Bortolossi Deartamento de Matemática Alicada Universidade Federal Fluminense Módulo (ou valor absoluto) de um número real: a função modular Parte 5 Parte 5 Matemática Básica
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 maisCap. 6. Definição e métodos de resolução do problema de valores de fronteira
Ca. 6. Definição e métodos de resolução do roblema de valores de fronteira 1. Pressuostos 2. Formulação clássica do roblema de elasticidade linear 2.1 Condições no interior 2.2 Condições de fronteira 2.3
Leia maisFunção par e função ímpar
Pré-Cálculo Humberto José Bortolossi Deartamento de Matemática Alicada Universidade Federal Fluminense Função ar e função ímar Parte 3 Parte 3 Pré-Cálculo 1 Parte 3 Pré-Cálculo 2 Função ar Definição Função
Leia maisLógica de Predicados
Lógica de Predicados Prof. Dr. Silvio do Lago Pereira slago@ime.us.br 1 Introdução Há vários tios de argumentos ue não odem ser adeuadamente formalizados em lógica roosicional. Como exemlo, considere o
Leia maisSistemas Inteligentes
Sistemas Inteligentes Aula 21/10 Agentes Lógicos Agente Baseado em Conhecimento Agentes Baseados em Conhecimento ou Agentes Lógicos. Podem lidar mais facilmente com ambientes parcialmente observáveis.
Leia maisMétodos de Verificação
Método de Na construção de derivações no sistema de cálculo de sequentes: Na aplicação de cada regra, só a manipulação referente à fórmula principal é informativa. A cópia dos contextos revela-se assim
Leia maisSCC Capítulo 2 Lógica de Predicados
SCC-630 - Capítulo 2 Lógica de Predicados 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 http://www.icmc.usp.br/~joaoluis
Leia maisProgramaçã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
Leia maisConhecimento e Raciocínio Lógica Proposicional
Conhecimento e Raciocínio Lógica Proposicional Agente Baseado em Conhecimento ou Sistema Baseado em Conhecimento Representa conhecimento sobre o mundo em uma linguagem formal (KB) Raciocina sobre o mundo
Leia maisFórmulas da lógica proposicional
Fórmulas da lógica proposicional As variáveis proposicionais p, q, são fórmulas (V P rop ) é fórmula (falso) α e β são fórmulas, então são fórmulas (α β), (α β), (α β) e ( α) DCC-FCUP -TAI -Sistemas Dedutivos
Leia maisCapítulo 7 - Wattímetros
Caítulo 7 - Wattímetros 7. Introdução Os wattímetros eletromecânicos ertencem à uma classe de instrumentos denominados instrumentos eletrodinâmicos. Os instrumentos eletrodinâmicos ossuem dois circuitos
Leia maisFó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
Leia maisLógica para Computação Primeiro Semestre, Aula 10: Resolução. Prof. Ricardo Dutra da Silva
Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 10: Resolução Prof. Ricardo Dutra da Silva A resolução é um método de inferência em que: as fórmulas devem estar na Forma Clausal; deduções
Leia maisINF 1771 Inteligência Artificial
Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.
Leia maisPCS 2428 / PCS 2059 lnteligência Artificial. Lógica Proposicional. Agentes Baseados em Conhecimento. Agentes Baseados em Conhecimento
gentes aseados em Conhecimento PCS 8 / PCS 059 lnteligência rtificial Prof. Dr. Jaime Simão Sichman Prof. Dra. nna Helena Reali Costa Lógica Proposicional Como representar conhecimento e como utilizar
Leia mais1 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 mais3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
Leia maisFundamentos 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 mais1 Lógica e teoria dos conjuntos
Lógica e teoria dos conjuntos.. Introdução à lógica bivalente Pág. 0 Atividade de diagnóstico.. N..,5 Z.. 5.. Q.5. π R π.6. Q + +.7. Z.8. 0 Z 0.......... x = 5 x+ = 5 x = 5 x = S = { } x + = 0 ( x ) 9
Leia maisLógica Computacional
Lógica Computacional Modus Ponens e Raciocínio Hipotético Introdução e eliminação da Implicação e da Equivalência Completude e Coerência do Sistema de Dedução Natural 24 Outubro 2016 Lógica Computacional
Leia maisPassos lógicos. Texto 18. Lógica Texto Limitações do Método das Tabelas Observações Passos lógicos 4
Lógica ara Ciência da Comutação I Lógica Matemática Texto 18 Passos lógicos Sumário 1 Limitações do Método das Tabelas 2 1.1 Observações................................ 4 2 Passos lógicos 4 2.1 Observações................................
Leia maismatematicaconcursos.blogspot.com
Professor: Rômulo Garcia Email: machadogarcia@gmail.com Conteúdo Programático: Teoria dos Números Exercícios e alguns conceitos imortantes Números Perfeitos Um inteiro ositivo n diz-se erfeito se e somente
Leia maisUma 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 maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUAÇÃO EORIA DA COMPUAÇÃO Aula 09 Equialência Forte de Programas Monolíticos Pro.ª Danielle Casillo Equialência orte de programas monolíticos
Leia maisLógica para Computação
Aula 07 - Lógica Proposicional 1 Faculdade de Informática - PUCRS August 27, 2015 1 Este material não pode ser reproduzido ou utilizado de forma parcial sem a permissão dos autores. Sinopse Nesta aula,
Leia maisNelma 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
Leia maisLÓ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 maisEP33D Matemática Discreta 2013/2S
EP33D Matemática Discreta 2013/2S Lista 01 Lógica Proosicional Problema 1. Qual é a negação de cada roosição a seguir? a) Hoje é quinta-feira. b) Não há oluição em São Paulo. c) 2+1=3 d) O verão no Rio
Leia maisLinguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da
istemas de Apoio à Decisão Clínica, 09-1 1 Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da semântica. Importante: distinguir entre os fatos e sua representação
Leia maisLó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
Leia maisINF 1771 Inteligência Artificial
INF 1771 Inteligência Artificial Aula 07 Agentes Lógicos Edirlei Soares de Lima Introdução Humanos possuem conhecimento e raciocinam sobre este conhecimento. Exemplo: João jogou
Leia maisLó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 maisLó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 maisSolução dos exercícios do capítulo 2, pp (a) Expansão isotérmica de um gás ideal. Trabalho: pdv = NRT 1
Solução dos exercícios do caítulo 2,. 31-32 Equações de um gás ideal = NRT U = NcT U = c R Exercício 1. (a) Exansão isotérmica de um gás ideal. Trabalho: W = 2 1 d = NRT 2 1 1 d = NRT ln 2 1 omo a energia
Leia mais2.5 FORMAS NORMAIS. Forma normal da negação
Forma normal da negação 2.5 FORMAS NORMAIS Newton José Vieira 05 de agosto de 2007 Definições preliminares: literal: variável proposicional (literal positivo) ou negação de variável proposicional (literal
Leia maisn. 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 mais4 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 maisInvertendo a exponencial
Reforço escolar M ate mática Invertendo a exonencial Dinâmica 3 2ª Série 1º Bimestre DISCIPLINA SÉRIE CAMPO CONCEITO Matemática 2ª do Ensino Médio Algébrico Simbólico Função Logarítmica Aluno Primeira
Leia maisRESISTÊNCIA DOS MATERIAIS 2 Marcel Merlin dos Santos
03/11/017 RESISTÊNIA DOS MATERIAIS Marcel Merlin dos Santos TENSÃO EM EIXOS QUE SE DEVE À ARGA AXIAL E À TORÇÃO Ocasionalmente os eios circulares são submetidos a efeitos combinados de carga aial e torção.
Leia maisn. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.
n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição
Leia maisLógica Computacional
Aula Teórica 9: Forma Normal Conjuntiva Departamento de Informática 21 de Março de 2011 O problema Como determinar eficazmente a validade de uma fórmula? Objectivo Determinar a validade de raciocínios
Leia maisLÓ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 maisUNIP Ciência da Computação Prof. Gerson Pastre de Oliveira
Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos
Leia maisLó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 maisMatemática Computacional
Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
Leia maisRedes Neurais e Sistemas Fuzzy
Conceitos básicos de redes neurais recorrentes Redes eurais e Sistemas Fuzzy Redes eurais Recorrentes A Rede de Hofield A suressão do ruído numa memória auto-associativa linear ode ser obtida colocando-se
Leia maisLó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.
Leia maisProf. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Leia maisLó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
Leia maisIntrodução. Programação em Lógica. Resolução na Lógica Proposional. Resolução na Lógica Proposional. Resolução na Lógica Proposional.
Ciência da Computação Introdução Programação em Lógica Prof. Sergio Ribeiro Sistemas dedução da Lógica: Estabelecem estruturas que permitem a representação e dedução do conhecimento. Vários tipos: Sistema
Leia maisLógica Computacional DCC/FCUP 2017/18
2017/18 Raciocínios 1 Se o André adormecer e alguém o acordar, ele diz palavrões 2 O André adormeceu 3 Não disse palavrões 4 Ninguém o acordou Será um raciocínio válido? Raciocínios Forma geral do raciocínio
Leia mais11. Equilíbrio termodinâmico em sistemas abertos
Equilíbrio termodinâmico em sistemas abertos Em um sistema aberto definimos o equilíbrio termodinâmico quando este sistema encontra-se simultaneamente em equilíbrio térmico, equilíbrio mecânico e equilíbrio
Leia maisCapítulo 4: Equação da energia para um escoamento em regime permanente
Caítulo 4: Equação da energia ara um escoamento em regime ermanente 4.. Introdução Eocando o conceito de escoamento incomressíel e em regime ermanente ara a instalação (ide figura), odemos afirmar 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 maisProgramação de Computadores:
Instituto de C Programação de Computadores: Introdução a Algoritmos (Parte II) Luis Martí Instituto de Computação Universidade ederal luminense lmarti@ic.uff.br - http://lmarti.com Roteiro da Aula de Hoje
Leia maisAritmética. Lei da Reciprocidade Quadrática
Aritmética Lei da Recirocidade Quadrática Carlos Humberto Soares Júnior PROFMAT - SBM Objetivo Determinar uma ( ) fórmula ara calcular o símbolo de Legendre a, em que é um rimo ímar. PROFMAT - SBM Aritmética,
Leia maisINF 1771 Inteligência Artificial
INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Edirlei Soares de Lima Lógica Proposicional Lógica muito simplificada. A sentenças são formadas por conectivos como:
Leia maisESCOAMENTO ANUAL 1 DISTRIBUIÇÃO ESTATÍSTICA
ESCOAMENTO ANUAL 1 DISTRIBUIÇÃO ESTATÍSTICA O escoamento anual numa secção de um rio tem essencialmente uma natureza aleatória não sendo ortanto ossível rever deterministicamente os seus valores futuros
Leia mais3.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 maisLógica Matemática e Computacional. 2.3 Equivalência Lógica
Lógica Matemática e Computacional 2.3 Equivalência Lógica Equivalência Lógica Definição: Dadas as proposições compostas P e Q, diz-se que ocorre uma equivalência lógica entre P e Q quando suas tabelas-verdade
Leia maisINTRODUÇÃO À MATEMÁTICA FINANCEIRA
Hewlett-Packard INTRODUÇÃO À MATEMÁTICA FINANCEIRA Aulas 0 a 04 Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Ramos Ano: 206 Sumário Matemática Financeira... REFLITA... Porcentagem... Cálculos com orcentagem...
Leia maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Leia 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 maisResolução Proposicional Fernando Bozza, Vanessa Maria da Silva
Resolução Proposicional Fernando Bozza, Vanessa Maria da Silva febezza@gmail.com, vvan_@hotmail.com Curso Bacharelado em Sistemas de Informação DAINF - Universidade Tecnológica Federal do Paraná (UTFPR)
Leia maisFundamentos 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 maisn. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL
n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL Para demonstrar a validade de um argumento podemos utilizar outro método, conhecido como Demonstração
Leia mais