UFU Universidade Federal de Uberlndia Faculdade de Computao

Apostila de Lgica Proposicional (Fundamentos Bsicos)

Prof. Luiz Gustavo Almeida Martins

UFU - Faculdade de Computao

Lgica Proposicional

Fundamentos Bsicos da Lgica

INTRODUO
1.1 Definio de Lgica

A lgica o estudo sobre a natureza do raciocnio e do conhecimento. Ela usada para formalizar e justificar os elementos do raciocnio empregados nas demonstraes / provas de teoremas. A lgica clssica se baseia em um mundo bivalente ou binrio (viso restrita do mundo real), onde os conhecimentos so representados por sentenas que s podem assumir dois valores verdade (verdadeiro ou falso). Portanto, nesse contexto, uma demonstrao um meio de descobrir uma verdade pr-existente deste mundo.

1.2

Lgica Proposicional

A lgica proposicional a forma mais simples de lgica. Nela os fatos do mundo real so representados por sentenas sem argumentos, chamadas de proposies. Ex: MUNDO REAL Hoje est chovendo A rua est molhada Se est chovendo, ento a rua est molhada. PROPOSIO LGICA P Q PQ

Definio (proposio): uma proposio uma sentena, de qualquer natureza, que pode ser qualificada de verdadeiro ou falso. Ex: 1+1=2 0>1 uma proposio verdadeira da aritmtica. uma proposio falsa da aritmtica.

Se no possvel definir a interpretao (verdadeiro ou falso) da sentena, esta no uma proposio. Alguns exemplos deste tipo de sentena so apresentados abaixo: Frases Interrogativas (ex: Qual o seu nome?). Frases Imperativas (ex: Preste ateno!). Paradoxos Lgicos (ex: Esta frase falsa).

Exerccio de Fixao
Verifique se as expresses abaixo so proposies. Justifique sua resposta. a) Boa sorte! b) Todas as mulheres possuem sua beleza. c) Mrcio no irmo do Mrio.

Prof. Luiz Gustavo A. Martins

Pg.:1

UFU - Faculdade de Computao

Lgica Proposicional

d) No faa isto! e) Ceclia escritora. f) Quantos japoneses moram no Brasil?

1.3

Lgica e Informtica

Na computao, a lgica pode ser utilizada, entre outras coisas, para: Conceber circuitos lgicos (o raciocnio do computador um raciocnio lgico); Representar conhecimento (programao lgica); Validar algoritmos e corrigir programas (testes lgicos das especificaes em engenharia de software).

2 2.1

Sintaxe Linguagem e Alfabeto

O conjunto de frmulas da lgica proposicional denominado L (lgica de ordem ). Cada frmula deste conjunto uma proposio gerada pela concatenao de smbolos pertencentes ao alfabeto da lgica proposicional, definido inicialmente. Este alfabeto infinito, constitudo por: Smbolos verdade: true e false; Smbolos proposicionais: P, Q, R, S, P1, P2, P3, etc; Conectivos proposicionais: (no), (ou inclusivo), (e), (implica ou se, ento) e (equivalncia, bi-implicao ou se e somente se); e Smbolos de pontuao: ( e ).

Vale ressaltar que, assim como na linguagem portuguesa, nem toda a concatenao vlida, ou seja, pertence linguagem da lgica proposicional. As frmulas proposicionais so construdas, a partir do alfabeto proposicional, de acordo com as seguintes regras: 1. Todo smbolo verdade uma frmula; 2. Todo smbolo proposicional uma frmula; 3. Se P uma frmula, ento a sua negao (P) tambm uma frmula; 4. Se P e Q so frmulas, ento: 4.1. A disjuno de P e Q (P Q) tambm uma frmula; 4.2. A conjuno de P e Q (P Q) tambm uma frmula; 4.3. A implicao de P em Q (P Q) tambm uma frmula;

Prof. Luiz Gustavo A. Martins

Pg.:2

UFU - Faculdade de Computao

Lgica Proposicional

4.4. A bi-implicao de P e Q (P Q) tambm uma frmula; Nesta definio, as frmulas mais elementares so os smbolos verdade e proposicionais. A partir destes e utilizando as regras 3 e 4, recursivamente, possvel obter um conjunto infinito de frmulas. Note que o conectivo unrio (aplicado sobre uma nica frmula) e fica na ordem pr-fixa, enquanto que os demais conectivos so binrios (aplicado sobre duas frmulas) e fica na ordem infixa. Exemplos de Frmulas Vlidas (P Q) ( (R) X) ( (P (Y) ) (Q (R V) ) )

As construes acima so frmulas proposicionais, pois podem ser derivadas a partir da aplicao das regras de construo descritas. Exemplos de Frmulas Invlidas PQR (R True ) ( False ( Q P) )

As construes acima no constituem frmulas proposicionais, pois no possvel deriv-las a partir das regras descritas. Exerccio: Dado os smbolos proposicionais P e Q. Mostre que ( (P Q) ( (P) (Q) ) ) uma frmula proposicional. Soluo: P e Q so frmulas (P Q) frmula (P) e (Q) so frmulas ( (P) (Q) ) frmula ( (P Q) ( (P) (Q) ) ) frmula (aplicando a Regra 2) (aplicando a Regra 4.2) (aplicando a Regra 3) (aplicando a Regra 4.3) (aplicando a Regra 4.2)

2.2

Precedncia dos Conectivos

Os smbolos de pontuao (parnteses), assim como na aritmtica, so empregados para priorizar um clculo proposicional. Esses smbolos podem ser omitidos quando isto no altera o significado da frmula proposicional. Ex: (((P)) Q) P Q OBS: A frmula (X Y) na pode ser escrita sem parnteses: (X Y) X Y. Se em uma frmula, os parnteses no so usados, o clculo proposicional deve seguir a seguinte ordem de prioridade: (maior precedncia) (menor precedncia) (precedncia intermediria) (P Q) R
Pg.:3

e e
Ex: PQR

Prof. Luiz Gustavo A. Martins

UFU - Faculdade de Computao

Lgica Proposicional

P Q R

((P) Q) R

Alm da precedncia, tambm existem as regras de associatividade, que definem a prioridade no clculo para conectivos de mesma precedncia. So elas:

e e
Ex: PQR PQR

(conectivos associativos esquerda) (conectivos associativos direita) (P Q) R P (Q R)

Exerccio: Elimine o maior nmero possvel de parnteses da frmula, sem alterar seu significado original: ((X) (((X Y)) Z)). Soluo: (X) (((X Y)) Z) X ((X Y) Z)

Exerccio de Fixao
Identifique quais frmulas pertencem lgica proposicional. Justifique sua resposta, apresentando as regras de construo utilizadas ou apontando uma concatenao invlida. Para as frmulas vlidas, remova os smbolos de pontuao sem afetar a sua interpretao. a) (P Q) ((Q P) ((R))) b) Q R c) (P R) (Q ((T) R)) d) (PQ True) e) (((P)) ((((((P Q))) R)) P)) f) (P (Q R)) ((P Q) (R P))

2.3

Comprimento de Frmula

O comprimento de uma frmula proposicional H, denotado COMP[H], definido como segue: Se H um smbolo verdade ou proposicional, ento COMP[H] = 1; Se H uma frmula proposicional, ento COMP[H] = COMP[H] + 1; Se (P Q) uma frmula proposicional, sendo COMP[P Q] = COMP[P] + COMP[Q] + 1. um dos conectivos binrios, ento

Note que o comprimento de uma frmula obtido atravs da contagem dos conectivos e dos smbolos verdade e proposicionais, desconsiderando o smbolo de pontuao. Ex: COMP[ (P Q) R ] = COMP[P Q] + COMP[R] + 1 = COMP[P] + COMP[Q] + 1 + 1 + 1 = = 1+ 1+ 1 + 1 + 1 = 5.

Prof. Luiz Gustavo A. Martins

Pg.:4

UFU - Faculdade de Computao

Lgica Proposicional

Este conceito muito utilizado em demonstraes lgicas pelo princpio da induo finita.

2.4

Subfrmulas

O conjunto formado pelas subfrmulas de uma frmula proposicional contm todos os pedaos vlidos desta frmula, inclusive ela mesma. Este conjunto formado pelas seguintes regras: H uma subfrmula de H; Se H = (P), ento P uma subfrmula de H; Se H = (P Q), sendo um dos conectivos binrios, ento P e Q so subfrmulas de H;

Se P subfrmula de H, ento toda subfrmula de P tambm subfrmula de H.

Definio informal: Todo pedao de H que uma frmula proposicional vlida, uma subfrmula de H, inclusive ela mesma.

Exerccio de Fixao
Determine o comprimento e as subfrmulas das seguintes frmulas proposicionais: a) ((P Q) (P Q)) True b) P ((Q R) ((P Q) (P R))) c) ((P P) P) Q d) (P Q)

Semntica

A semntica associa um significado a cada objeto sinttico. Assim, quando se escreve a frmula PQ, dependendo dos valores de P e Q, esta frmula pode ser verdadeira ou falsa.

3.1

Interpretao

O significado (semntica) dos elementos sintticos da linguagem da lgica proposicional determinado por uma funo binria total, denominada interpretao. Esta funo associa a cada frmula um valor verdade (verdadeiro ou falso), que pode ser representado por {T, F} ou {0, 1} (notao da lgebra booleana). Formalizando o conceito de interpretao, temos: Definio (funo binria): uma funo binria se seu contradomnio possui apenas 2 elementos. Definio (funo total): uma funo completa se definida em todos os elementos de seu domnio. Definio (interpretao): na lgica proposicional, uma interpretao I uma funo binria total, tal que: O domnio de I constitudo pelo conjunto das frmulas da lgica proposicional; O contradomnio de I o conjunto {T, F}.
Pg.:5

Prof. Luiz Gustavo A. Martins

UFU - Faculdade de Computao

Lgica Proposicional

3.2

Clculo Proposicional

O clculo proposicional define a semntica da frmula segundo uma interpretao. Ele associa a cada frmula uma aplicao do tipo:

{T, F} N {T, F}
sendo N, o nmero de smbolos proposicionais e verdade da frmula.

3.3

Semntica do Alfabeto Proposicional

A definio da interpretao dos smbolos do alfabeto proposicional dada abaixo: Smbolos verdade: sua interpretao fixa, como segue: I[True] = T e I[False] = F Smbolos proposicionais: dado um smbolo proposicional P, ele pode assumir qualquer valor do contradomnio de I. Assim: I [P] {T, F} Conectivos proposicionais: no possuem significado isoladamente. Entretanto, por simplificao, a interpretao de uma frmula poder ser denotada como significado do conectivo. A descrio da interpretao dos conectivos apresentada a seguir: Dadas duas frmulas proposicionais H e G. Negao Se E = H, ento: I[E] = F, para I[H] = T. I[E] = T, para I[H] = F. Conjuno () Se E = (H G), ento: I[E] = F, para I[H] = F e/ou I[G] = F. I[E] = T, para I[H] = T e I[G] = T. Disjuno () Se E = (H G), ento: I[E] = F, para I[H] = F e I[G] = F. I[E] = T, para I[H] = T e/ou I[G] = T. Implicao () Se E = (H G), ento: I[E] = F, para I[H] = T e I[G] = F. I[E] = T, para I[H] = F e/ou I[G] = T. OBS: O conectivo denota o conceito de necessidade (o conseqente (G) indica o que necessrio para que o antecedente (H) ocorra). Uma condio necessria um pr-requisito para que um fato ocorra, mas sua veracidade no suficiente para garantir que o fato tambm seja verdade.
Prof. Luiz Gustavo A. Martins Pg.:6

UFU - Faculdade de Computao

Lgica Proposicional

Equivalncia () Se E = (H G), ento: I[E] = F, para I[H] I[G]. I[E] = T, para I[H] = I[G]. OBS: O conectivo denota o conceito de suficincia (o conseqente (G) indica o que suficiente para que o antecedente (H) ocorra, ou seja, tudo que necessrio). Uma condio suficiente o conjunto de todos os pr-requisitos necessrios para que um fato ocorra. Assim, a veracidade desse conjunto garante a veracidade do fato. Exerccio: Sejam P e Q duas proposies. Demonstrar com a ajuda da definio de interpretao dos conectivos que: (P Q) (Q P). Soluo: Para I[P Q] = T I[P] = F e/ou I[Q] = T Se I[P] = F I[P] = T I[Q P] = T Se I[Q] = T I[Q P] = T Para I[P Q] = F I[P] = T e I[Q] = F Se I[P] = T e I[Q] = F I[P] = F e I[Q] = F I[Q P] = F Como para qualquer interpretao I, I[P Q] = I[Q P], ento (P Q) (Q P) vlido.

Exerccio de Fixao
Sejam P e Q duas proposies. Demonstrar com a ajuda da definio de interpretao dos conectivos que: a) P Q (P Q) (Q P) b) (P Q) (P Q) (Q P) c) P Q (P Q)

Propriedades Semnticas

So relaes obtidas no mundo semntico a partir das frmulas sintticas. O estudo destas relaes entre os elementos sintticos e semnticos, denominada teoria dos modelos, uma das principais razes da aplicao da lgica cincia da computao.

4.1

Tautologia

Uma frmula H uma tautologia ou vlida se e somente se I | I [H] = T. OBS: Note que validade muito mais que veracidade. Uma frmula pode ser verdadeira para uma determinada interpretao, mas no ser vlida (existe outra interpretao onde a frmula falsa). Exerccio: Demonstrar atravs da definio do significado dos conectivos que H = X X uma tautologia. Soluo: Se H uma tautologia, ento I | I [H] = T.
Pg.:7

Prof. Luiz Gustavo A. Martins

UFU - Faculdade de Computao

Lgica Proposicional

I[H] = T I[X X] = T I[X] = T ou I[X] = T I[X] = T ou I[X] = F Como I [X] {T, F}, ento I | I [H] = T c.q.d.

4.2

Frmulas Factveis

Uma frmula H factvel ou satisfatvel se e somente se I | I [H] = T. Observe que, por esta definio, tautologia um subconjunto das frmulas satisfatveis. Exerccio: Demonstrar que H = P Q satisfatvel, mas no uma tautologia. Soluo: Se H satisfatvel, ento I | I [H] = T. I[H] = T I[P Q] = T I[P] = T e/ou I[Q] = T Portanto, para I[P] = T e/ou I[Q] = T, temos I[H] = T. Entretanto, para I[P] = F e I[Q] = F, temos I[H] = F. Logo, H factvel, mas no tautologia. c.q.d.

4.3

Contradio

Uma frmula H contraditria se e somente se I | I [H] = F. Exerccio: Demonstrar atravs da definio do significado dos conectivos que H = X X uma contradio. Soluo: Se H uma contradio, ento I | I [H] = F. I[H] = F I[X X] = F I[X] = F e/ou I[X] = F I[X] = F e/ou I[X] = T Como I uma funo binria, tal que I [X] {T, F}, ento I | I [H] = F c.q.d.

Exerccio de Fixao
Determinar quais das frmulas abaixo so tautologias, contradies ou frmulas factveis. Justifique sua resposta: a) (P (P Q)) P b) P1 P2 P3 Q Q c) (P Q) (P Q) d) P1 P2 P3 Q Q
Prof. Luiz Gustavo A. Martins Pg.:8

UFU - Faculdade de Computao

Lgica Proposicional

e) (P P) (Q Q)

4.4

Equivalncia de Frmulas

Sejam H e G L. Elas so equivalentes, semanticamente, se e somente se I | I [H] = I [G]. Notao: H G ou H G. Exerccio: Demonstrar atravs da definio do significado dos conectivos que H = (P Q) e G = (P Q) so equivalentes. Soluo: Se H e G so equivalentes, ento I | I [H] = I [G]. Para I[H] = T I[P Q] = T I[P] = T e I[Q] = T I[P] = F e I[Q] = F Se I[P] = F e I[Q] = F I[P Q] = F I[(P Q)] = T Para I[H] = F I[P Q] = F I[P] = F e/ou I[Q] = F I[P] = T e/ou I[Q] = T Se I[P] = T I[P Q] = T I[(P Q)] = F Se I[Q] = T I[P Q] = T I[(P Q)] = F H e G apresentam o mesmo valor para qualquer interpretao ento, elas so equivalentes. A tabela abaixo apresenta algumas das equivalncias clssicas encontradas na literatura:

Tabela 1 - Equivalncias Clssicas (H G)

Identificao Dupla Negativa Propriedades de Identidade Propriedades Complementares Leis de Morgan Contraposio Propriedades de Substituio Propriedades Comutativas Propriedades Associativas Propriedades Distributivas Prova Condicional Frmula H (E) E False E True EE EE (E R) (E R) ER ER ER ER ER E (R S) E (R S) E (R S) E (R S) E (R S) Frmula G E E E True False E R E R R E E R (E R) (R E) RE RE (E R) S (E R) S (E R) (E S) (E R) (E S) (E R) S

Prof. Luiz Gustavo A. Martins

Pg.:9

UFU - Faculdade de Computao

Lgica Proposicional

Exerccio: Sejam P e Q L. Demonstre, com o auxlio das equivalncias clssicas, que as frmulas abaixo so equivalentes: E = Q (Q P) e G = (Q Q) (Q P). Soluo: Q (Q P)

Q (Q P) (Q Q) (Q P)

(aplicando a Propriedade de Substituio do ) (aplicando a Propriedade Distributiva)

Exerccio de Fixao
Demonstre, com auxlio das equivalncias clssicas, que as frmulas abaixo so equivalentes: a) (E G) (E G) (E G) b) (X Y) Z (Z X) (Z Y) c) ((P Q) S) P (P S) ((Q S) P)

4.5

Implicao de Frmulas

Sejam H e G L. H implica em G, se e somente se I, quando I[H] = T, I[G] = T. Notao: H G ou

H . G

Exerccio: Demonstrar pela definio do significado dos conectivos que X implica em Y X. Soluo: Se X implica em Y X, ento: quando I [X] = T, I [Y X] = T. Para I[Y X] = T I[Y] = F e/ou I[X] = T Isto significa que, sempre que I[X] = T, temos I[Y X] = T. Logo, X Y X. c.q.d.

O conceito de implicao de frmulas (G H) NO quer dizer que I, I[G] = I[H]; ou que quando I[H] = T, I[G] = T. A implicao semntica s nos permite concluir I[H] = T quanto I[G] = T. Nos demais casos, nada pode ser concludo. A implicao de frmulas usada como mecanismo de inferncia na deduo de novos conhecimentos.

Exerccio de Fixao
Verifique se as frmulas abaixo so implicaes semnticas: a) P True b) (X 0 X = Y) (XY) (X = 0) c) P (Q R S (G U)) P True d) (P Q) (P Q) Q OBS: Enquanto e so smbolos sintticos para implicao e equivalncia, e so elementos da metalinguagem para representar a implicao e equivalncia semntica.
Prof. Luiz Gustavo A. Martins Pg.:10

UFU - Faculdade de Computao

Lgica Proposicional

4.6

Outras Propriedades Semnticas

Dada uma frmula H e uma interpretao I, ento I satisfaz H se e somente se I[H] = T. Um conjunto de frmulas = {H1, H2, , HN} satisfatvel se e somente se I | I[] = T, ou seja, I | I[H1] = I[H2] = = I[HN] = T.

4.7

Proposies sobre as Propriedades Semnticas

A partir das propriedades apresentadas acima, podemos concluir as seguintes proposies: 1- Dada uma frmula Q pertencente lgica proposicional, ento: a) Q tautologia Q factvel. b) Q no factvel Q contradio. c) Q tautologia Q contradio. Demonstrao: Se H uma tautologia, ento I | I [Q] = T. I[Q] = T I[Q] = F Logo, I | I [Q] = F, ou seja, Q uma contradio. 2- Se P e G so equivalentes (P G), ento P G uma tautologia. Demonstrao: Se P G, ento I | I [P] = I[G]. Para I[P] = I[G] = T I [P G] = T Para I[P] = I[G] = F I [P G] = T Logo, I | I [P G] = T, ou seja, (P G) uma tautologia. 3- Se P implica semanticamente em G (P G), ento P G uma tautologia. Demonstrao: Se P G, ento I [G] = T quando I[P] = T. Para I[P] = I[G] = T I [P G] = T Se P G tautologia, ento I | I [P G] = T. Para I[P G] = T I [P] = F e/ou I[G] = T Assim, quando I[P] = T, necessariamente I[G] = T (P T). 4- Seja um conjunto de frmulas ( = {H1, H2, , HN}). c.q.d. c.q.d. c.q.d

satisfatvel (H1 H2 HN) satisfatvel

Prof. Luiz Gustavo A. Martins Pg.:11

UFU - Faculdade de Computao

Lgica Proposicional

Demonstrao: Se satisfatvel, ento I | I[H1] = I[H2] = = I[HN] = T. I | I[H1] = I[H2] = = I[HN] = T I | I[H1] = T e I[H2] = T e e I[HN] = T Se I[H1] = T e I[H2] = T I[H1 H2] = T Se I[H1 H2] = T e I[H3] = T I[H1 H2 H3] = T e assim sucessivamente at que I [H1 H2 HN] = T. Logo, (H1 H2 HN) satisfatvel c.q.d.

Mtodos de Validao de Frmulas

Os mtodos apresentados abaixo so utilizados para verificar a validade das frmulas proposicionais. Alm disso, eles tambm podem ser empregados na demonstrao das demais propriedades apresentadas no captulo anterior.

5.1

Tabela-Verdade

A tabela-verdade um mtodo de validao baseada na fora bruta. Isso ocorre, porque devemos mapear todas as possveis combinaes dos smbolos/variveis proposicionais. Assim, seja P uma frmula proposicional e o conjunto de variveis proposicionais existentes em P ( = {X1, X2, , XN}). A tabela-verdade de P uma tabela com pelo menos N+1 colunas e exatamente 2N linhas. As N primeiras colunas representam as variveis proposicionais, enquanto a (N+1)-sima coluna representa a frmula P. Cada linha representa uma possvel combinao de valores (T ou F) das variveis pertencentes a e o valor verdade de P resultante desta combinao. TABELA-VERDADE DOS CONECTIVOS G F F T T H F T F T GH F F F T GH F T T T GH T T F T GH T F F T Q F T Q T F

CONSTRUO DA TABELA-VERDADE Dependendo do tamanho da frmula proposicional, a construo direta da sua tabela-verdade no uma tarefa trivial. Por isso, sugeri-se a sua construo progressiva, atravs da representao, em colunas auxiliares, das subfrmulas da frmula trabalhada. Tal artifcio, apesar de aumentar o nmero de colunas, facilita o raciocnio para o preenchimento das linhas. Exerccio: Construa a tabela-verdade da frmula P = (X Y) (X Z). Soluo: X F F F F Y F F T T Z F T F T X T T T T (X Y) F F F F (X Z) F T F T P F T F T
Pg.:12

Prof. Luiz Gustavo A. Martins

UFU - Faculdade de Computao

Lgica Proposicional

T T T T

F F T T

F T F T

F F F F

F F T T

F F F F

F F T T

Exerccio de Fixao
Construa a tabela-verdade das frmulas: a) (P Q) (Q P) b) (P R) (P Q) (Q R) c) (P Q) (P Q) TABELA-VERDADE X PROPRIEDADES SEMNTICAS 1- Uma frmula uma tautologia se a ltima coluna de sua tabela-verdade contm somente valores T ou 1. 2- Uma frmula uma contradio se a ltima coluna de sua tabela-verdade contm somente valores F ou 0 (zero). 3- Uma frmula factvel se a ltima coluna de sua tabela-verdade contm pelo menos um valor T ou 1. 4- Duas frmulas so equivalentes semanticamente quando, para cada linha da tabela-verdade, suas colunas apresentam o mesmo valor. 5- Uma frmula G implica semanticamente na frmula H se, para toda linha cujo valor da coluna de G verdadeiro, o valor da coluna de H tambm verdadeiro.

Exerccio de Fixao
Determine, utilizando a tabela-verdade, se as frmulas abaixo so tautologia, contradio ou factveis; ou, ainda, se a equivalncia e implicao semntica so vlidas: a) E (G H) (E G) (E H) b) ((P Q) R) (Q (R P)) c) ((P R) Q) ((P R) Q) d) (Q P) (E R) ((Q E) (P E)) ((Q R) (P R)) e) (P (Q Q)) P (P Q)

5.2

rvore Semntica

Este mtodo determina a validade de uma frmula a partir de uma estrutura denominada rvore. Uma rvore um conjunto de ns (vrtices) ligados por arestas. Os ns finais so chamados folhas, o n inicial denominado raiz, enquanto os demais ns so intermedirios.

Prof. Luiz Gustavo A. Martins

Pg.:13

UFU - Faculdade de Computao

Lgica Proposicional

Exemplo de rvore:
N Raiz

Ns Folhas

Durante a validao, as arestas que ligam o n raiz aos outros ns recebem um rtulo, indicando os possveis valores de uma determinada varivel proposicional, escolhida aleatoriamente. Se a partir de uma interpretao for possvel obter o valor da frmula, este associado ao n folha correspondente. Caso no seja possvel tal aferio, cria-se mais duas arestas, aumentando a ramificao da rvore. Para a rotulao dessas arestas, escolhemos uma outra varivel proposicional. Este processo repetido at que todos os ns folhas tenham valores associados frmula. Exerccio: Demonstre, atravs de rvores semnticas, a validade de H = (P Q) (Q P). Soluo: (P Q) (Q P) F T T T TF (P Q) (Q P) T F F T TF T TF I[P] = F T I[Q] = F T I[P] = T I[Q] = T T c.q.d. (P Q) (Q P) T ? ? FT (P Q) (Q P) T T T T FT T FT

Como em todos os ns folhas I[H] = T, ento a frmula H vlida.

Exerccio de Fixao
Construa a rvore semntica das frmulas: a) (P Q) (Q P) b) (P R) (P R) (R P) c) X > 10 X2 = Y X2 Y X 10 RVORE SEMNTICA X PROPRIEDADES SEMNTICAS 1- Uma frmula uma tautologia se s tm valores T ou 1 em seus ns folhas. 2- Uma frmula uma contradio se s tm valores F ou 0 (zero) em seus ns folhas. 3- Uma frmula factvel se pelo menos um n folha com valor T ou 1. 4- Duas frmulas G e H so equivalentes semanticamente, se a rvore semntica correspondente frmula G H for uma tautologia.
Prof. Luiz Gustavo A. Martins Pg.:14

UFU - Faculdade de Computao

Lgica Proposicional

5- Uma frmula G implica semanticamente na frmula H, se a rvore semntica correspondente frmula G H for uma tautologia.

5.3

Mtodo da Negao ou Absurdo

O mtodo da negao ou absurdo um mtodo geral de demonstrao. Ele consiste em negar a afirmao que se deseja provar e, a partir de um conjunto de dedues, concluir um fato contraditrio ou absurdo (ex: I[P] = T e I[P] = F). A aplicao deste mtodo recomendada nos casos onde a negao da afirmao nos leva a casos determinsticos, ou seja, com uma nica possibilidade de interpretao para a frmula, pois isto simplifica a demonstrao. Tal situao ocorre quando a negao acarreta a falsidade dos conectivos e e a veracidade do conectivo . Exerccio: Demonstrar, atravs do mtodo da negao, a validade da Lei de Transitividade do conectivo : H = ((P Q) (Q R)) (P R) Soluo: validade = tautologia. Logo, devemos provar que I | I[H] = T. Supondo que H NO tautologia, ento I | I[H] = F. I[((P Q) (Q R)) (P R)] = F I[((P Q) (Q R))] = T e I[(P R)] = F Para I[(P R)] = F I[P] = T e I[R] = F Para I[((P Q) (Q R))] = T I[P Q] = T e I[Q R] = T Se I[P Q] = T I[P] = F e/ou I[Q] = T, mas como I[P] = T, logo: Se I[Q R] = T I[Q] = F e/ou I[R] = T, mas como I[R] = F, logo: ABSURDO: Q NO pode assumir dois valores (T e F) no mesmo instante. Portanto, a suposio inicial est errada e H tautologia. I[Q] = T I[Q] = F

c.q.d.

O objetivo deste mtodo deduzir uma contradio / absurdo a partir da negao da frmula em prova. Entretanto, nem sempre isto ocorre. Nestes casos, NADA se pode concluir sobre a veracidade da assero inicial. Alm disso, quando existem mais de uma possibilidade testada, originada de clusulas e/ou, todas devem gerar uma contradio. MTODO DA NEGAO OU ABSURDO X PROPRIEDADES SEMNTICAS 1- Uma frmula H uma tautologia se a suposio I | I[H] = F gerar contradio. 2- Uma frmula H uma contradio se a suposio I | I[H] = T gerar contradio. 3- Uma frmula H factvel quando ela no for tautologia, nem contradio. Neste caso, basta apresentar duas interpretaes para H (I e J), onde I[H] = T e J[H] = F. 4- Duas frmulas G e H so equivalentes semanticamente, se for possvel provar que a frmula G H for uma tautologia. 5- Uma frmula G implica semanticamente na frmula H, se for possvel provar que a frmula G H for uma tautologia.

Prof. Luiz Gustavo A. Martins

Pg.:15

UFU - Faculdade de Computao

Lgica Proposicional

Exerccio de Fixao
Demonstre, utilizando os trs mtodos de validao estudados, que as frmulas a seguir so tautologias: a) ((H G) (G H)) (H H) b) (H (G E)) ((H G) (H E)) c) (H G) (H (G)) d) ((R Q) (Q P)) (R P)

Princpio da Induo Finita

Apesar de no fazer parte da lgica, este princpio um dos principais mtodos utilizados na demonstrao de resultados. Na cincia da computao, tal princpio usado para demonstrar resultados em linguagens formais, teoria de algoritmos, teoria dos cdigos, etc.

6.1

Paradigma da Induo

Considere um conjunto de peas de domin enfileiradas e enumeradas. Elas esto dispostas de modo que, se o domin 1 derrubado para direita, ento o subseqente (domin 2) tambm cai, e assim sucessivamente. Diante disto, surge a pergunta: O que suficiente para um domin N cair? Resposta: que qualquer um dos domins que o antecede caia para direita, ou seja, existem (N-1) condies suficientes. Suponhamos que o domin 1 caia para direita, logo o domin N tambm cai. Agora surge outra pergunta: Qual a condio necessria para que o domin 1 possa cair para direita?. Resposta: que os domins subseqentes possam ser derrubados. A partir deste cenrio, observamos que existem vrias condies suficientes para que todos os domins sejam derrubados. Exemplo: Se o domin 1 derrubado para direita, ento o domin N cai, ou simplesmente, D1 DN. Dentre eles, destacamos 2 conjuntos: 1 conjunto: Condio bsica: O domin 1 derrubado para direita. Condio indutiva: Seja N um n arbitrrio. Se o domin N derrubado para direita, ento o domin N+1 tambm cai.

2 conjunto: Condio bsica: O domin 1 derrubado para direita. Condio indutiva: Seja N um n arbitrrio. Se todos os domins at N so derrubados para direita, ento o domin N+1 tambm cai.

Prof. Luiz Gustavo A. Martins

Pg.:16

UFU - Faculdade de Computao

Lgica Proposicional

Note, que ambos tem a mesma condio bsica. Entretanto, a condio indutiva ligeiramente modificada. O princpio da induo finita possui 2 formas que correspondem a estes conjuntos. Neste curso iremos abordar apenas a 1 forma.

6.2

1 Forma de Induo

Suponha que para cada N (N 1), seja dada a assero A(N). Para concluirmos que A(N) verdadeira para todo inteiro N, deve ser possvel demonstrar as seguintes propriedades: Base da Induo: A assero A(1) verdadeira. Passo Indutivo: Dado um inteiro N (N 1), se A(N) verdadeira, ento A(N+1) tambm verdadeira.

Exerccio: Demonstre, atravs do princpio da induo finita, que: dada a progresso aritmtica ai+1 = aiq, para q 1. A soma dos N primeiros termos desta progresso pode ser calculada por:
SN = an q a0 q 1

Soluo: Base da Induo: S0 =

a0q a0 a0 (q 1) = = a0 q 1 q 1 aI q a0 como verdade, ento: q 1 aI +1q a0 q 1 a q a0 aI q a0 + aI +1 = I +1 q 1 q 1

Passo Indutivo: Assumindo SI =

aI +1q a0 q 1

SI +1 =

SI + aI +1 =

Como aI+1 = aIq, podemos reescrever a expresso como:

a q a0 aI +1 a0 + aI +1 = I +1 q 1 q 1 aI +1q a0 aI +1q a0 = q 1 q 1 aI +1 a0 + aI +1q aI +1 aI +1q a0 = q 1 q 1

c.q.d.

Exerccio de Fixao
Demonstre, utilizando o princpio da induo finita, que: a) X N | (1+2++X) =
X2 + X 2

b) X N | X 5 2X > X2 c) X N | 3 divide X3-X d) X N | 20 + 21+ 22++2x = 2x+1 - 1

Prof. Luiz Gustavo A. Martins Pg.:17

UFU - Faculdade de Computao

Lgica Proposicional

7 7.1

Relaes Semnticas entre os Conectivos Conectivos Completos

Um conjunto de conectivos proposicionais completo se e somente se, possvel expressar, equivalentemente, os conectivos , , , e utilizando apenas os conectivos de . Este conceito muito utilizado em cincia da computao e lgica, como por exemplo, para simplificar os conectivos empregados em um projeto de circuitos lgicos. Ex: Demonstre que = {, } um conjunto completo. Soluo: dada uma frmula H, do tipo (P), (P Q), (P Q), (P Q) ou (P Q). Podemos gerar uma frmula G, equivalente a H e s contenha conectivos de . Para H = (P) ou (P Q), temos G = H, pois os {,} . Para H = (P Q), temos G = (P Q), pela aplicao da Lei de Morgan. Para H = (P Q), temos G = (P Q), pela aplicao da propriedade de substituio do . Para H = (P Q), temos G = ((P Q) (Q P)), pela seqncia explicada abaixo: (P Q) (P Q) (Q P), pela aplicao da propriedade de substituio do (P Q) (Q P), pela aplicao da propriedade de substituio do ((P Q) (Q P)), pela aplicao da Lei de Morgan. Logo, = {, } um conjunto completo c.q.d.

OBS: A demonstrao que G equivale a H, atravs de tabela-verdade, fica como exerccio.

7.2

Formas Normais

As frmulas da lgica proposicional podem ser expressas utilizando vrios conjuntos de conectivos completos. Alm disso, tambm podemos represent-las atravs de estruturas prdefinidas, denominadas formas normais. So elas: Ex: Forma Normal Disjuntiva (FND): se a frmula uma disjuno de conjunes de literais (smbolos proposicionais ou suas negaes). Forma Normal Conjuntiva (FNC): se a frmula uma conjuno de disjunes de literais. H = (P Q) (R Q P) (P S) G = (P Q) (R Q P) (P S) OBTENO DAS FORMAS NORMAIS Considere a frmula: H = (P Q) R. Podemos escrever H1 e H2, de modo que H1 seja H na FND e H2 seja H na FNC, com segue: FND FNC

Prof. Luiz Gustavo A. Martins

Pg.:18

UFU - Faculdade de Computao

Lgica Proposicional

1 Passo: Construo da tabela-verdade de H. P F F F F T T T T Q F F T T F F T T R F T F T F T F T H F T F T F F F T Linha 1 2 3 4 5 6 7 8

2 Passo: Gerao de H1 (FND). - Extrair as linhas da tabela-verdade onde I[H] = T. Para cada linha N, gerar uma frmula YN, formada apenas pela conjuno de literais, de modo que I[YN] = T, como apresentado abaixo: 2 linha: I[P] = F, I[Q] = F, I[R] = T 4 linha: I[P] = F, I[Q] = T, I[R] = T 8 linha: I[P] = T, I[Q] = T, I[R] = T Y2 = (P Q R). Y2 = (P Q R). Y2 = (P Q R).

- Gerar H1 a partir da disjuno das frmulas geradas no item anterior. H1 = (P Q R) (P Q R) (P Q R) 3 Passo: Gerao de H2 (FNC). - Extrair as linhas da tabela-verdade onde I[H] = F. Para cada linha N, gerar uma frmula XN, formada apenas pela disjuno de literais, de modo que I[XN] = T, como apresentado abaixo: 1 linha: I[P] = F, I[Q] = F, I[R] = F 3 linha: I[P] = F, I[Q] = T, I[R] = F 5 linha: I[P] = T, I[Q] = F, I[R] = F 6 linha: I[P] = T, I[Q] = F, I[R] = T 7 linha: I[P] = T, I[Q] = T, I[R] = F X1 = (P Q R). X3 = (P Q R). X5 = (P Q R). X6 = (P Q R). X7 = (P Q R).

- Gerar H2 a partir da conjuno das frmulas geradas no item anterior. H2 = (P Q R) (P Q R) (P Q R) (P Q R) (P Q R)

Exerccio de Fixao
Dada a frmula H = ((P Q) (Q R)) (R P). a) Construa a frmula equivalente utilizando apenas os conectivos do conjunto = {, }. b) Gere as frmulas equivalentes na FND e FNC.

Prof. Luiz Gustavo A. Martins

Pg.:19

UFU - Faculdade de Computao

Lgica Proposicional

Deduo de Teoremas

O processo de prova por deduo consiste em demonstrar que, dadas algumas expresses como verdadeiras (hipteses ou premissas), uma nova sentena tambm verdadeira. Quando isso ocorre, dizemos que a sentena provada um teorema com respeito s hipteses. A prova de um teorema consiste em derivar a expresso desejada H a partir das hipteses , utilizando os recursos disponveis em algum dos sistemas de deduo vlidos ( | H). Definio (sistemas de deduo): tambm denominados sistemas formais, so completos (se H, ento | H) e corretos (se | H, ento H) e estabelecem estruturas que permitem a representao e deduo do conhecimento. TIPOS DE SISTEMAS DE DEDUO Os sistemas de deduo podem ser divididos em 2 grupos, como segue: Sistemas de difcil implementao computacional: Sistema Axiomtico Deduo Natural Sistemas mais adequados para implementao computacional: o o Tableaux Semnticos Resoluo

Neste curso, apresentaremos o sistema axiomtico e a resoluo.

8.1

Sistema Axiomtico

O sistema axiomtico uma estrutura para representao e deduo do conhecimento baseado em axiomas. Ele definido pela composio de 4 elementos: Alfabeto da lgica proposicional; Conjunto de frmulas proposicionais (Hipteses) Subconjunto de frmulas, denominados axiomas; e Conjunto de regras de inferncia.

HIPTESES As hipteses ou premissas so frmulas proposicionais tidas (assumidas) como verdadeiras. Assim, caso se descubra que uma das hipteses pode ser falsa, toda prova feita a partir desta hiptese perde sua validade. AXIOMAS Os axiomas representam o conhecimento dado a priori. No caso do sistema axiomtico, este conhecimento representado por tautologias.

Prof. Luiz Gustavo A. Martins

Pg.:20

UFU - Faculdade de Computao

Lgica Proposicional

O conjunto de frmulas axiomticas pode variar entre os sistemas axiomticos. Porm, independente do conjunto adotado, o mesmo deve assegurar o sistema axiomtico seja completo e correto. Neste curso, adotaremos um sistema cujos axiomas so determinados pelos esquemas: Ax1 = (H H) H (H H) H Ax2 = H (G H) H (G H) Ax3 = ((H G)) (((E H)) (G E)) (H G) ((E H) (G E))

sendo, H, G e E quaisquer frmulas proposicionais. REGRAS DE INFERNCIA As regras de inferncia so implicaes semnticas. Elas so utilizadas para fazer inferncias, ou seja, executar os passos de uma demonstrao ou deduo. Assim como os axiomas, o conjunto de regras de inferncia adotado em um sistema axiomtico pode variar, desde que mantenham as propriedades de completude e correo. Quanto menor o conjunto de regras de inferncia, mais elegante o sistema axiomtico. Abaixo sero listadas algumas regras de inferncia que podem ser utilizadas em um sistema axiomtico: Adio:

P P Q P Q P

Q P Q P Q Q

Conjuno:

Simplificao Disjuntiva:
P Q P (P Q )

(P Q ) (P Q ) P

Absoro:

Modus Ponens:

P (P Q ) Q

Modus Tollens:

Q ( P Q ) P (P Q ) (Q R ) P R
( P Q ) P Q ( P Q ) Q P
( P Q ) (R G ) ((P R ) (Q G ))

Silogismo Hipottico:

Silogismo Disjuntivo:

Dilema Construtivo:

(P Q ) ( R G ) ((P R ) (Q G ))

Prof. Luiz Gustavo A. Martins

Pg.:21

UFU - Faculdade de Computao

Lgica Proposicional

Dilema Destrutivo:

(P Q ) (R G ) ((Q G ) ( P R ))

(P Q ) (R G ) ((Q G ) ( P R ))

Absurdo:

P Q P

OBS: A maioria dos sistemas axiomticos costuma utilizar apenas o Modus Ponens (MP) como regra de inferncia. PROVA EM UM SISTEMA AXIOMTICO

Uma prova ou demonstrao atravs do sistema axiomtico consiste em apresentar a seqncia de passos necessrios para derivar a frmula desejada a partir das hipteses. Cada passo pode ser a gerao de um axioma ou a aplicao de uma regra de inferncia.
Proposio: dado um teorema com as hipteses H1, H2, , HN e a frmula a ser provada C. Ele verdadeiro sempre que:

H1 H 2 K H N C

ou

H1 H2 HN C = T

Exerccio 1: Prove P (S G) atravs de um sistema axiomtico que utiliza todas as regras de inferncia apresentadas acima e com o seguinte conjunto de hipteses:

P (Q R) QS RG
Soluo:

- considerando as hipteses: P (Q R) QS RG
(1) (2) (3)

- Aplicando o dilema construtivo entre (2) e (3), temos: (Q R) (S G)

(4)

- Aplicando o silogismo hipottico entre (1) e (4), temos: P (S G)

c.q.d

Exerccio 2: A partir das hipteses abaixo e utilizando apenas o Modus Ponens (MP) como regra de inferncia, prove que (S P). (P R) P

Q P4 P1 Q (P1 P2) Q (P3 R) R P4 P P1

Prof. Luiz Gustavo A. Martins Pg.:22

UFU - Faculdade de Computao

Lgica Proposicional

P3 P P2
Soluo:

Gerar um axioma que possua S (pois esta varivel no existe no conjunto de hipteses) e que esteja mais prximo possvel da frmula a ser provada: - Usando Ax2 com H = P e G = S, temos: P (S P)
(1)

Derivar a frmula desejada. Para isso, preciso isolar P (necessrio para aplicar MP em (1)): - Considerando as hipteses: (P R) P Q P4 P1 Q (P1 P2) Q (P3 R) R P4 P P1 P3 P P2
(2) (3) (4) (5) (6) (7) (8) (9) (10)

- Aplicando MP entre (8) e (4), temos: Q

(11)

- Aplicando MP entre (11) e (3), temos: P4

(12)

- Aplicando MP entre (12) e (7), temos: P

SP PROVA POR ABSURDO (13)

- Aplicando MP entre (13) e (1), temos:

c.q.d.

Neste tipo de prova, nega-se a frmula que se deseja provar, a inclui no conjunto de hipteses e aplica as regras de inferncia at se obter um absurdo.
Exerccio: A partir das hipteses abaixo e utilizando apenas o Modus Ponens (MP) como regra de inferncia, prove P.

S P R P S
Soluo:

- Considerando as hipteses:
Prof. Luiz Gustavo A. Martins Pg.:23

UFU - Faculdade de Computao

Lgica Proposicional

S P R P S P

(1) (2) (3) (4)

Negao do teorema

- Aplicando a equivalncia (G H H G) em (1), temos: (5) P S - Aplicando MP entre (4) e (5), temos: S (6) Como (6) contradiz (3), conclui-se que a suposio inicial (P) falsa. Logo | P
OBS: Como j visto, nada pode ser concludo se o absurdo no for encontrado. DERIVAO SEM HIPTESES c.q.d.

Alm das provas onde uma frmula G derivada a partir de um conjunto de hipteses ( | G), existem casos onde o sistema axiomtico no possui hipteses ( vazio) e a frmula desejada derivada somente a partir dos axiomas, denotamos: | G. Ex: Utilizando um sistema axiomtico sem hipteses e apenas com Modus Ponens como regra de inferncia, prove (P P). - Para gerar uma sentena que contenha a frmula a ser derivada, utilizamos o Ax3 com H = (P P), E = P e G = P, temos: ((P P) P) ((P (P P)) (P P))
(1)

- Note que a parte antecedente de (1) pode ser gerada a partir de Ax1 para H = P: (P P) P - Aplicando MP entre (2) e (1), temos: ((P (P P)) (P P))
(3) (2)

- A parte antecedente de (3) pode ser gerada a partir de Ax2 para H = P e G = P: P (P P) - Aplicando MP entre (4) e (3), temos:
(P P) c.q.d. (4)

Exerccio de Fixao
Prove os teoremas abaixo, atravs do sistema axiomtico: a) Hipteses: hoje no domingo ou Manuel est feliz. Se Manuel est feliz, ele amoroso. Maria est feliz ou Manuel no amoroso. Hoje domingo. Maria est feliz.
Pg.:24

Regra de Inferncia: Modus Ponens Teorema:

Prof. Luiz Gustavo A. Martins

UFU - Faculdade de Computao

Lgica Proposicional

b) Hipteses:

P (Q R) S Q P GS PG R P (Q R) Q S R S P S

Regra de Inferncia: Modus Ponens Teorema: c) Hipteses:

Regra de Inferncia: Livre escolha (descrever na soluo o conjunto escolhido) Teorema:

8.2

Resoluo

Ao contrrio do sistema axiomtico, no mtodo de resoluo no se tem axiomas. Portanto, este mtodo definido pela composio dos seguintes elementos: Alfabeto da lgica proposicional; Conjunto de clusulas, geradas a partir de frmulas proposicionais (Hipteses) Regra de inferncia.

A resoluo um mtodo de prova aplicado sobre frmulas que esto na forma de conjunes de disjunes, conhecida como forma normal conjuntiva (FNC).
Ex: H = (P Q R) (R Q) (P R P)

Cada frmula , ento, representada na forma de conjunto de clusulas (FCC). Nesta notao, cada disjuno um subconjunto (clusula), onde o conectivo ou trocado por uma vrgula. Alm disso, as vrgulas entre os subconjuntos representam a conjuno (conectivo e) das disjunes.
Ex: H = {{P, Q, R}, {R, Q}, {P, R}}

Note que no exemplo acima, {P, R} representa (P R P). Isto ocorre, pois no se representa duplicidade na notao de conjuntos (FCC).
REGRA DE INFERNCIA

O mecanismo de inferncia da resoluo utiliza apenas uma regra, denominada regra de resoluo, como segue:
Resoluo:
(P Q ) ( P R ) (Q R )

Ex: Considere as frmulas: Original FNC

H1 = H2 =
Res(H1,H2) =

PQ PR
QR

PQ P R
QR

FCC {P, Q}

{P, R}
{Q, R}

Prof. Luiz Gustavo A. Martins

Pg.:25

UFU - Faculdade de Computao

Lgica Proposicional

MTODOS DE PROVA POR RESOLUO

Na resoluo, assim como no sistema axiomtico, podemos provar os teoremas de forma direta ou por refutao.
Resoluo Direta: aps converter as frmulas proposicionais para a forma de conjunto de clusulas (FCC), aplica-se repetidamente a regra de resoluo sobre as hipteses at se obter a frmula desejada.

Ex: Prove por resoluo direta o teorema abaixo:

Hipteses:

AB AC B

Teorema:
Soluo:

- Considerando as hipteses: AB AC B {A, B} {B}

(1) (2) (3)

- Aplicando a propriedade de substituio do em (2), temos: (A C) {A, C}

(4)

- Aplicando a regra de resoluo entre (1) e (4), temos: (B C) {B, C}

(5)

- Aplicando a regra de resoluo entre (3) e (5), temos: C {C}

c.q.d.

Resoluo por Refutao: neste mtodo utiliza-se a prova por absurdo. Para isto, negase a frmula desejada e acrescenta a nova frmula no conjunto de hipteses. Ento, aps convert-las para o FCC, aplica-se repetidamente a regra de resoluo at se obter uma clusula vazia, gerada a partir de uma contradio do tipo P e P.

Ex: Prove o teorema do exemplo anterior, atravs da resoluo por refutao: Soluo:

- Negando o teorema, temos: C - Considerando as hipteses: AB A C (A C) B {A, B} {A, C} {B}

(2) (3) (4)

{C}

(1)

- Aplicando a regra de resoluo entre (2) e (3), temos: (B C) {B, C}

(5)

Prof. Luiz Gustavo A. Martins

Pg.:26

UFU - Faculdade de Computao

Lgica Proposicional

- Aplicando a regra de resoluo entre (3) e (5), temos: C {C}

(6)

- Aplicando a regra de resoluo entre (1) e (6), temos: {}

c.q.d.

OBS: O mtodo de resoluo por refutao tambm pode ser utilizado para provar a validade de frmulas proposicionais a partir de um conjunto de hipteses vazio. Ex: Dada H = (P Q R) (P G) (Q G) (R G) G. Prove H. Soluo:

- Negando H, temos: ( (P Q R) (P G) (Q G) (R G) G) - Aplicando a propriedade de substituio do em (1), temos: ( ((P Q R) (P G) (Q G) (R G)) G) (2) - Aplicando a Lei de Morgan em (2), temos: ((P Q R) (P G) (Q G) (R G)) ( G) - Representando (3) na FCC, temos: {{P, Q, R}, {P, G}, {Q, G}, {R, G}, { G}} - Rotulando as clusulas de (4): {P, Q, R} {P, G} {Q, G} {R, G} { G} - Aplicando a regra de resoluo entre (4.1) e (4.2), temos: {Q, R, G} - Aplicando a regra de resoluo entre (4.3) e (5), temos: {R, G} - Aplicando a regra de resoluo entre (4.4) e (6), temos: {G} - Aplicando a regra de resoluo entre (4.5) e (5), temos: {} Logo, H vlida.
c.q.d. (7) (6) (5) (4.1) (4.2) (4.3) (4.4) (4.5) (4) (3) (1)

OBS: Quando no se consegue chegar ao conjunto de clusulas vazio pela prova por refutao, assim como nos casos anteriores, nada se pode concluir sobre o teorema.

Exerccios de Fixao
1- Prove os teoremas abaixo, atravs do mtodo de resoluo: a) Hipteses: hoje no domingo ou Manuel est feliz. Se Manuel est feliz, ento ele amoroso.
Pg.:27

Prof. Luiz Gustavo A. Martins

UFU - Faculdade de Computao

Lgica Proposicional

Maria est feliz ou Manuel no amoroso. Hoje domingo. Teorema: b) Hipteses: Maria est feliz. P (Q R) S Q P GS PG R P (Q R) Q S R S P S

Teorema: c) Hipteses:

Teorema:

2- Atravs da prova por refutao, mostre que a frmula H = (P Q) ((P Q) Q) vlida.

Prof. Luiz Gustavo A. Martins

Pg.:28