Você está na página 1de 121

Lgica Computacional

Diego Silveira Costa Nascimento, Ms. C.


Instituto Federal de Educao, Cincias e Tecnologia do Rio Grande do Norte diego.nascimento@ifrn.edu.br www3.ifrn.edu.br/diegonascimento

11 de setembro de 2013

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 2 / 121

Diego S. C. Nascimento (IFRN)

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 3 / 121

Diego S. C. Nascimento (IFRN)

Objetivos da Disciplina

Apresentar a disciplina de Lgica; Discutir o cenrio no qual a disciplina poder ser aplicada; Apresentar um pouco da histria da lgica; Fazer com que o estudante consiga no futuro relacionar os aspectos abstratos da computao com sua implementao; e Incentivar a escrita dos algoritmos antes de sua implementao propriamente dita.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

4 / 121

Motivaes em Estudar Lgica


O estudo desta disciplina faz o aluno adquirir ou aperfeioar seu raciocnio lgico no intuito de desenvolverem programas e sistemas em uma determinada linguagem de programao. A Lgica apresentada como uma tcnica eciente para: a organizao de conhecimentos em qualquer rea; raciocinar corretamente sem esforo consciente; interpretar e analisar informaes rapidamente; aumentar a competncia lingustica (oral e escrita); adquirir destreza com o raciocnio quantitativo; e detectar padres em estruturas (premissas, pressuposies, cenrios, etc.)
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 5 / 121

Lgica

A palavra Lgica deriva do Grego (logos ), que signica: palavra, pensamento, ideia, argumento, relato, razo lgica ou princpio lgico.

Denio
Lgica a cincia das leis ideais do pensamento e a arte de aplic-las pesquisa e demonstrao da verdade.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

6 / 121

Origem da Lgica

A Lgica teve incio na Grcia em 342 a.C.; Aristteles sistematizou os conhecimentos existentes em Lgica, elevando-a categoria de cincia; Em sua obra chamada Organum (ferramenta para o correto pensar), estabeleceu princpios to gerais e to slidos que at hoje so considerados vlidos. Aristteles se preocupava com as formas de raciocnio que, a partir de conhecimentos considerados verdadeiros, permitiam obter novos conhecimentos; e A partir dos conhecimentos tidos como verdadeiros, caberia Lgica a formulao de leis gerais de encadeamentos lgicos que levariam descoberta de novas verdades.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

7 / 121

Argumento Lgico

Em Lgica, o encadeamento de conceitos chamado de argumento; As armaes de um argumento so chamadas de proposies; Um argumento um conjunto de proposies tal que se arme que uma delas derivada das demais; Usualmente, a proposio derivada chamada de concluso, e as demais, de premissas; e Em um argumento vlido, as premissas so consideradas provas evidentes da verdade da concluso.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

8 / 121

Exemplo de Argumento

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

9 / 121

Inferncia Lgica

Lgica dispe de duas ferramentas principais que podem ser utilizadas pelo pensamento na busca de novos conhecimentos: a deduo e a induo.

Deduo
Um argumento dedutivo vlido quando suas premissas, se verdadeiras, fornecem provas convincentes para sua concluso; e De forma geral, a deduo sempre preserva a verdade.

Induo
Um argumento indutivo fornece provas cabais da veracidade da concluso, ou seja, apenas que forne indicaes dessa veracidade; e De forma geral, a induo nem sempre preserva a verdade.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

10 / 121

Exemplos de Inferncias Dedutiva e Indutiva

Em outras palavras, na deduo, a concluso consequncia necessria das premissas, e na induo, a concluso consequncia plausvel das premissas.
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 11 / 121

Princpios Lgicos

A Lgica Formal repousa sobre trs princpios fundamentais que permitem todo seu desenvolvimento posterior, e que do validade a todos os atos do pensamento e do raciocnio. So eles: Princpio da Identidade Arma A = A e no pode ser B , o que , ; Princpio da No Contradio A = A e nunca pode ser no-A, o que , e no pode ser sua negao, ou seja, o ser , o no ser no ; e Princpio do Terceiro Excludo Arma que Ou A x ou A y , no existe uma terceira possibilidade.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

12 / 121

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 13 / 121

Diego S. C. Nascimento (IFRN)

Logica Proposicional
Denio
um sistema formal no qual as frmulas representam proposies que podem ser formadas pela combinao de proposies atmicas usando conectivos lgicos e um sistema de regras de derivao, que permite que certas frmulas sejam estabelecidas como teoremas do sistema formal.

Em termos gerais, um clculo proposicional frequentemente apresentado como um sistema formal que consiste em um conjunto de expresses sintticas (frmulas bem formadas, ou fbfs), um subconjunto distinto dessas expresses, e um conjunto de regras formais que dene uma relao binria especca, que se pretende interpretar como a noo de equivalncia lgica, no espao das expresses.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

14 / 121

Proposies
Chama-se proposio todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo; As proposies transmitem pensamentos; e Armam fatos ou exprimem juzos que formamos a respeito de determinados entes.

Exemplos
A Lua um satlite da Terra; Scrates um homem; Eu estudo Lgica; Todos os homens so mortais; ou No existe homem inel.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

15 / 121

A Linguagem da Lgica Proposicional

Considere o conjunto de smbolos:


A = {(, ), , , , , , p , q , r , s , . . .}

A esse conjunto chamado de alfabeto da Lgica Proposicional; As letras so smbolos no lgico (letras sentenciais); e O restante so smbolos lgicos (parnteses e conectivos lgicos);

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

16 / 121

Letras Sentenciais
As letras sentenciais so usadas para representar proposies elementares ou atmicas, isto , proposies que no possuem partes que sejam tambm proposies.

Exemplos
p = O cu azul; Q = Eu estudo lgica; r = 2 + 2 = 4; ou s = Scrates um homem.

Importante
As partes dessas proposies no so proposies mais simples, mas sim, componentes subsentenciais : expresses, palavras, slabas ou letras.
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 17 / 121

Conectivos Lgicos
As proposies compostas so obtidas combinando proposies simples atravs de certos termos chamados conectivos; A Lgica dispe de cinco tipos de conectivos e seus operadores:
No (Negao), ; E (Conjuno), ; Ou (Disjuno), ; Se ento (Condicional), ;e Se e somente se (Bicondicional), .

Exemplos
No est chovendo; Est chovendo e est ventando; Est chovendo ou est nublado; Se choveu, ento est molhado; ou Ser aprovado se e somente se estudar.
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 18 / 121

Operador de Negao:
A caracterstica peculiar da negao, tal como ela se apresenta na lgica proposicional clssica, que toda proposio submetida operao de negao resulta na sua contraditria.

Exemplo
p = Est chovendo. Ler-se p , como: No est chovendo.

Importante
O fato expresso por uma proposio no pode ocorrer ao mesmo tempo e sob o mesmo modo e circunstncia que o fato expresso pela negao dessa mesma proposio.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

19 / 121

Tabela Verdade:

Se p uma proposio, a expresso p chamada negao de p ; e Claramente, a negao inverte o valor verdade de uma expresso.

Exemplo
p V F p F V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

20 / 121

Operador de Conjuno:

A caracterstica peculiar da conjuno est no fato de frmulas conjuntivas expressarem a concomitncia de fatos. A frmula (p q ) expressa que o fato expresso por p ocorre ao mesmo tempo que o fato expresso por q .

Exemplo
p = Est chovendo. q = Est ventando. Ler-se p q , como: Est chovendo e est ventando.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

21 / 121

Tabela Verdade:

Se p e q so proposies, a expresso p q chamada conjuno de p e q; e As proposies p e q so chamadas fatores da expresso.

Exemplo
p V V F F q V F V F pq V F F F

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

22 / 121

Operador de Disjuno:

A caracterstica peculiar da disjuno consiste no fato de proposies disjuntivas expressarem que pelo menos um de dois fatos ocorre. A frmula (p q ) expressa que, dentre os fatos expressos por p e q respectivamente, pelo menos um deles ocorre.

Exemplo
p = Est nublado. q = Est chovendo. Ler-se p q , como: Est nublado ou est chovendo.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

23 / 121

Tabela Verdade:

Se p e q so proposies, a expresso p q chamada disjuno inclusiva de p e q ; e As proposies p e q so chamadas parcelas da expresso.

Exemplo
p V V F F q V F V F pq V V V F

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

24 / 121

Operador Condicional:

A caracterstica peculiar dessa operao consiste em que um condicional (p q ) expressa que a ocorrncia do fato expresso por p garante necessariamente a ocorrncia do fato expresso por q .

Exemplo
p = Choveu. q = Est molhado. Ler-se p q , como: Se choveu, ento est molhado.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

25 / 121

Tabela Verdade:
Se p e q so proposies, a expresso p q chamada condicional de p e q ; A proposio p chamada antecedente, e a proposio q consequente da condicional; e A operao de condicionamento indica que o acontecimento de p uma condio para que q acontea.

Exemplo
p V V F F
Diego S. C. Nascimento (IFRN)

q V F V F

pq V F V V
11 de setembro de 2013 26 / 121

Lgica Computacional

Operador Bicondicional:

A caracterstica peculiar dessa operao consiste em que um bicondicional (p q ) assevera que os fatos expressos por p e q so interdependentes, isto , ou os dois ocorrem juntos ou nenhum dos dois ocorrem.

Exemplo
p = Ser aprovado. q = Estudar. Ler-se p q , como: Ser aprovado, se e somente se estudar.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

27 / 121

Tabela Verdade:
Se p e q so proposies, a expresso p q chamada bicondicional de p e q ; e A operao de bicondicionamento indica que p uma condio para que q acontea, e vice-versa.

Exemplo
p V V F F q V F V F pq V F F V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

28 / 121

Parnteses: (e )

A necessidade de usar parnteses na simbolizao das proposies se deve ao fato de se evitar qualquer tipo de ambiguidade.

Exemplo
p = Estudar. q = Fazer a prova. r = Fazer o trabalho. s = Serei aprovado. Ler-se ((p q ) r ) s , como: Se ((estudar e fazer a prova) ou fazer o trabalho), ento ser aprovado.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

29 / 121

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 30 / 121

Diego S. C. Nascimento (IFRN)

Tabela-verdade de uma Proposio Composta


Dadas vrias proposies simples p , q , r , . . ., podemos combin-las pelos operadores lgicos , , , e construir proposies compostas:

Exemplo
P (p , q ) = p (p q ) Q (p , q ) = (p q ) q R (p , q , r ) = (p q r ) (q (p r )) Ento, com o emprego das tabelas-verdade das operaes lgicas fundamentais j estudadas: p , p q , p q , p q e p q ; possvel construir a tabela-verdade correspondente a qualquer proposio composta; e A tabela-verdade exibir exatamente os casos em que a proposio composta ser verdadeira (V ) ou falsa (F ), admitindo-se que o seu valor lgico s depende dos valores lgicos das proposies simples.
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 31 / 121

Ordem de Precedncia dos Operadores

Percorra a expresso da esquerda para a direita, executando as operaes de negao, na ordem em que aparecerem; Percorra novamente a expresso, da esquerda para a direita, executando as operaes de conjuno e disjuno, na ordem em que aparecerem; Percorra outra vez a expresso, da esquerda para a direita, executando desta vez as operaes de condicionamento, na ordem em que aparecerem; e Percorra uma ltima vez a expresso, da esquerda para a direita, executando as operaes de bicondicionamento, na ordem em que aparecerem.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

32 / 121

Construindo a Tabela-verdade
Dada uma expresso proposicional composta, e dados os valores lgicos das proposies simples que a compe, podemos, com a ordem de precedncia, calcular o valor lgico da expresso dada.

Expresso Proposicional Composta


P (p , q ) = (p q ) Forma-se, em primeiro lugar, o par de colunas correspondentes s duas proposies simples p e q .

Exemplo
p V V F F
Diego S. C. Nascimento (IFRN)

q V F V F
11 de setembro de 2013 33 / 121

Lgica Computacional

Construindo a Tabela-verdade (cont.)

Em seguida, forma-se a coluna para q .

Exemplo
p V V F F q V F V F q F V F V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

34 / 121

Construindo a Tabela-verdade (cont.)

Depois, forma-se a coluna para p q .

Exemplo
p V V F F q V F V F q F V F V pq F V F F

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

35 / 121

Construindo a Tabela-verdade (cont.)

Por m, forma-se a coluna relativa aos valores lgicos da proposio composta (p q ).

Exemplo
p V V F F q V F V F q F V F V pq F V F F (pq) V F V V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

36 / 121

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 37 / 121

Diego S. C. Nascimento (IFRN)

Tautologia

Denio
Tautologia toda proposio composta P (p , q , r , . . .) cujo valor lgico sempre verdadeiro, quaisquer que sejam os valores lgicos das proposies simples p , q , r , . . .

As tautologias so tambm denominadas proposies tautolgicas ou proposies logicamente verdadeiras.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

38 / 121

Tautologia: Demonstrao I
Proposio
(p p )

Exemplo
p V F p F V pp F F ( pp) V V

Portanto, dizer que uma proposio no pode ser simultaneamente verdadeira e falsa sempre verdadeiro.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

39 / 121

Tautologia: Demonstrao II

Proposio
p p

Exemplo
p V F p F V pp V V

Portanto, dizer que uma proposio ou verdadeira ou falsa sempre verdadeiro.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

40 / 121

Contradio

Denio
Contradio toda proposio composta P (p , q , r , . . .) cujo valor lgico sempre falso, quais quer que sejam os valores lgicos das proposies simples p , q , r , . . .

As contradies so tambm denominadas proposies contravlidas ou proposies logicamente falsas.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

41 / 121

Contradio: Demonstrao I
Proposio
p p

Exemplo
p V F p F V pp F F

Portanto, dizer que uma proposio pode ser simultaneamente verdadeira e falsa sempre falso.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

42 / 121

Contradio: Demonstrao II

Proposio
p p

Exemplo
p V F p F V p p F F

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

43 / 121

Contingncia

Denio
Contingencia toda a proposio composta que no tautologia nem contradio.

As contingncias so tambm denominadas proposies contingentes ou proposies indeterminadas.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

44 / 121

Contingncia: Demonstrao I

Proposio
p p

Exemplo
p V F p F V p p F V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

45 / 121

Contingncia: Demonstrao II

Proposio
pq p

Exemplo
p V V F F q V F V F pq V V V F pq p V V F V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

46 / 121

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 47 / 121

Diego S. C. Nascimento (IFRN)

Implicao Lgica
Denio
Diz-se que uma proposio P (p , q , r , . . .) implica logicamente uma proposio Q (p , q , r , . . .), se Q (p , q , r , . . .) verdadeiro todas as vezes em que P (p , q , r , . . .) verdadeiro.

Notao
P (p , q , r , . . .) Q (p , q , r , . . .)

Importante
Em particular, toda proposio implica uma tautologia e somente uma contradio implica uma contradio.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

48 / 121

Propriedades da Implicao Lgica

imediato que a relao de implicao lgica entre proposies utiliza-se das propriedades reexiva (R) e transitiva (T).

Exemplo
(R) P (p , q , r , . . .) P (p , q , r , . . .) (T) Se P (p , q , r , . . .) Q (p , q , r , . . .) e Q (p , q , r , . . .) R (p , q , r , . . .), ento P (p , q , r , . . .) R (p , q , r , . . .)

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

49 / 121

Demonstrao de Implicao Lgica I


Proposies
p q, p q e p q

Exemplo
p V V F F q V F V F pq V F F F pq V V V F pq V F F V

A proposio p q verdadeira somente na linha 1, e nesta linha, as proposies p q e p q tambm so verdadeiras. Logo, a primeira proposio implica cada uma das outras duas proposies, isto : pq pq e pq p q
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 50 / 121

Demonstrao de Implicao Lgica II


Proposies
p q, p q e q p

Exemplo
p V V F F q V F V F pq V F F V pq V F V V qp V V F V

A proposio p q verdadeira nas linhas 1 e 4 e, nestas linhas, proposies p q e q p tambm so verdadeiras. Logo, a primeira proposio implica cada uma das outras duas proposies, isto : pqpq epqqp
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 51 / 121

Tautologias e Implicao Lgica


Teorema
A proposio P (p , q , r , . . .) implica a proposio Q (p , q , r , . . .) isto : P (p , q , r , . . .) Q (p , q , r , . . .) se e somente se a condicional: P (p , q , r , . . .) Q (p , q , r , . . .) tautolgica.

Importante
Os smbolos e so distintos, pois o primeiro de operao lgica (aplicado, por ex., s proposies p e q d a nova proposio p q ), enquanto que o segundo de relao (estabelece que a condicional P (p , q , r , . . .) Q (p , q , r , . . .) tautolgica).

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

52 / 121

Demonstrao de Tautologia e Implicao Lgica


Condicional
(p q ) p q

Exemplo
p V V F F q V F V F pq V F F V (pq) p V F F F (pq) p q V V V V

Portanto, simbolicamente: (p q ) p q
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 53 / 121

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 54 / 121

Diego S. C. Nascimento (IFRN)

Equivalncia Lgica
Denio
Diz-se que uma proposio P (p , q , r , . . .) logicamente equivalente a uma proposio Q (p , q , r , . . .), se as tabelas-verdade destas duas proposies so idnticas.

Notao
P (p , q , r , . . .) Q (p , q , r , . . .)

Importante
Em particular, se as proposies P (p , q , r , . . .) e Q (p , q , r , . . .) so ambas tautolgicas ou so ambas contradies, ento so equivalentes.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

55 / 121

Propriedades da Equivalncia Lgica


imediato que a relao de equivalncia lgica entre proposies utiliza-se das propriedades reexiva(R), simtrica (S) e transitiva (T), isto , simbolicamente:

Exemplo
(R) P (p , q , r , . . .) P (p , q , r , . . .) (S) Se P (p , q , r , . . .) Q (p , q , r , . . .), ento Q (p , q , r , . . .) P (p , q , r , . . .) (T) Se P (p , q , r , . . .) Q (p , q , r , . . .) e Q (p , q , r , . . .) R (p , q , r , . . .), ento P (p , q , r , . . .) R (p , q , r , . . .)

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

56 / 121

Demonstrao de Equivalncia Lgica I


Proposies
p p e p

Exemplo
p V F p F V pp V F

A proposio p p e p so equivalentes nas colunas 1 e 2, isto : p p p

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

57 / 121

Demonstrao de Equivalncia Lgica II


Proposies
p pq e p q

Exemplo
p V V F F q V F V F pq V F F F ppq V F V V pq V F V V

A proposio p p q e p q so equivalentes nas colunas 4 e 5, isto : p pq p q


Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 58 / 121

Tautologias e Equivalncia Lgica


Teorema
A proposio P (p , q , r , . . .) equivalente proposio Q (p , q , r , . . .), isto : P (p , q , r , . . .) Q (p , q , r , . . .) se e somente se a bicondicional: P (p , q , r , . . .) Q (p , q , r , . . .) tautolgica.

Importante
Os smbolos e so distintos, pois o primeiro de operao lgica (aplicado, por ex., s proposies p e q d a nova proposio p q ), enquanto que o segundo de relao (estabelece que a bicondicional P (p , q , r , . . .) Q (p , q , r , . . .) tautolgica).

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

59 / 121

Demonstrao de Equivalncia Lgica


Proposies
(p q c ) e (p q )

Exemplo
p V V F F . . . q V F V F . . . c F F F F . . . pq F V F F . . . pqc V F V V . . . pq V F V V . . . (pqc) (pq) V V V V . . .

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

60 / 121

Proposies Associadas a uma Condicional


Denio
Dada a condicional p q , chama-se proposio associada a p q as trs proposies condicionais que contm p e q :
1 2 3

Proposio recproca de p q q p ; Proposio contrria de p q p q ; e Proposio contrapositiva de p q q p .

Exemplo
p V V F F q V F V F pq V F V V qp V V F V p q V V F V q p V F V V
11 de setembro de 2013 61 / 121

Diego S. C. Nascimento (IFRN)

Lgica Computacional

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 62 / 121

Diego S. C. Nascimento (IFRN)

Propriedades da Conjuno
Seja p , q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos respectivos so verdadeiro e falso, temos as propriedades a seguir: idempotente, comutativa, associativa e identidade.

Idempotente
pp p

Exemplo
p V F pp V F ppp V V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

63 / 121

Propriedades da Conjuno (cont.)

Comutativa
pq qp

Exemplo
p V V F F q V F V F pq V F F F qp V F F F pqqp V V V V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

64 / 121

Propriedades da Conjuno (cont.)


Associativa
(p q ) r p (q r )

Exemplo
p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F F F F F (pq)r V F F F F F F F qr V F F F V F F F p(qr) V F F F F F F F
11 de setembro de 2013 65 / 121

Diego S. C. Nascimento (IFRN)

Lgica Computacional

Propriedades da Conjuno (cont.)

Identidade
pt p e pc c

Exemplo
p V F t V V c F F pt V F pc F F ptp V V pcc V V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

66 / 121

Propriedades da Disjuno
Seja p , q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos respectivos so verdadeiro e falso, temos as propriedades a seguir: idempotente, comutativa, associativa e identidade.

Idempotente
pp p

Exemplo
p V F pp V F ppp V V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

67 / 121

Propriedades da Disjuno (cont.)

Comutativa
pq qp

Exemplo
p V V F F q V F V F pq V V V F qp V V V F pqqp V V V V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

68 / 121

Propriedades da Disjuno (cont.)


Associativa
(p q ) r p (q r )

Exemplo
p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V V V V V F F (pq)r V V V V V V V F qr V V V F V V V F p(qr) V V V V V V V F
11 de setembro de 2013 69 / 121

Diego S. C. Nascimento (IFRN)

Lgica Computacional

Propriedades da Disjuno (cont.)

Identidade
pt t e pc p

Exemplo
p V F t V V c F F pt V V pc V F ptt V V pcp V V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

70 / 121

Propriedades da Conjuno e Disjuno


Seja p , q e r proposies simples quaisquer, podemos representar as propriedades: distributiva, absoro e regras De Morgan.

Distributiva
p (q r ) (p q ) (p r ) e p (q r ) (p q ) (p r )

Exemplo
p V V V V F F F F q V V F F V V F F r V F V F V F V F qr V V V F V V V F p(qr) V V V F F F F F pq V V F F F F F F pr V F V F F F F F (pq) (pr) V V V F F F F F
11 de setembro de 2013 71 / 121

Diego S. C. Nascimento (IFRN)

Lgica Computacional

Propriedades da Conjuno e Disjuno (cont.)

Absoro
p (p q ) p e p (p q ) p

Exemplo
p V V F F q V F V F pq V V V F p(pq) V V F F p(pq) p V V V V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

72 / 121

Propriedades da Conjuno e Disjuno (cont.)

Regras De Morgan (18061871)


(p q ) p q e (p q ) p q

Exemplo
p V V F F q V F V F pq V F F F (pq) F V V V p F F V V q F V F V pq F V V V

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

73 / 121

Negao da Condicional
Demonstrao
Como p q p q , temos: (p q ) (p q ) p q ou seja: (p q ) p q

Exemplo
p V V F F q V F V F pq V F V V (pq) F V F F q F V F V pp F V F F

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

74 / 121

Negao da Bicondicional
Demonstrao
Como p q (p q ) (q p ), temos: p q (p q ) (q p ) e portanto: (p q ) (p q ) (q p ) (p q ) (q p ) ou seja: (p q ) (p q ) (p q )

Exemplo
p V V F F q V F V F p F F V V q F V F V pq F V F F pq F F V F (pq) (pq) F V V F pq V F F V (pq) F V V F
75 / 121

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

Deduo
Denio
Dado um argumento P1 , P2 e P3 Q chama-se demonstrao ou deduo de Q a partir das premissas P1 , P2 , . . . Pn , a sequncia nita de proposies X1 , X2 , . . . Xm , tal que cada Xi ou uma premissa ou decorre logicamente de proposies anteriores da sequncia, e de tal modo que a ltima proposio Xm seja a concluso Q do argumento dado. Desta forma, se for possvel obter a concluso Q atravs do procedimento de deduo, o argumento vlido, caso contrrio, no vlido.

O mtodo dedutivo mais ecente para demonstrao de implicaes e equivalncias lgicas do que quando utiliza-se de tabelas-verdade.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

76 / 121

Demonstrao da Implicao I

Implicao
pq p

Exemplo
pq p (p q ) p (p q ) p (p p ) q Tautologia q Tautologia

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

77 / 121

Demonstrao da Implicao II

Implicao
(p q ) p q

Exemplo
(p q ) p (p q ) p (p p ) (p q ) Contradio (p q ) pq q (Absoro)

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

78 / 121

Demonstrao da Equivalncia I

Equivalncia
p q pq q

Exemplo
pq q (p q ) q (p q ) q (p q ) (q q ) (p q ) Tautologia pq

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

79 / 121

Demonstrao da Equivalncia II

Equivalncia
(p q ) (p q ) p

Exemplo
(p q ) (p q ) p (q q ) p Contradio p

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

80 / 121

Forma Normal das Proposies


Denio
Uma proposio est na forma normal (FN) se e somente se, quando muito, contm apenas os conectivos: , e .

Exemplo
p q , (p q ) ou p (p q )

H duas representaes de formas normais para uma proposio: Forma normal conjuntiva (FNC); e Forma normal disjuntiva (FND).

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

81 / 121

Forma Normal Conjuntiva


Denio
Uma proposio est na forma normal conjuntiva (FNC) se e somente se so vericadas as seguintes condies:

Contm, quanto muito, os conectivos: , e ; O conectivo de negao no aparece repetido e no tem alcance sobre os conectivos e ; e O conectivo no tem alcance sobre o conectivo .

Exemplo
p q , p q r , e (p q ) q

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

82 / 121

Forma Normal Disjuntiva


Denio
Um proposio est na forma normal disjuntiva (FND) se e somente se so vericadas as seguintes condies:

Contm, quando muito, os conectivos: , e ; O conectivo de negao no aparece repedito e no tem alcance sobre os conectivos e ; e O conectivo no tem alcance sobre o conectivo .

Exemplo
p q , p q r , e (p q ) q

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

83 / 121

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 84 / 121

Diego S. C. Nascimento (IFRN)

Argumento
Denio
Chama-se argumento toda a armao de que uma dada sequncia nita P1 , P2 , . . . , Pn (n 1) de proposies tem como consequncia ou acarreta uma proposio nal Q . Um argumento de premissas P1 , P2 , . . . , Pn e de concluso Q indica-se por: P1 , P2 , . . . , Pn Q

Importante
Um argumento P1 , P2 , . . . , Pn Q vlido se e somente se a condicional: P1 P2 . . . Pn Q tautolgica.
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 85 / 121

Inferncia

Denio
o processo pelo qual se chega a uma proposio, rmada na base de uma ou outras mais proposies aceitas como ponto de partida do processo.

Um mtodo mais eciente para demonstrar, vericar ou testar a validade de um dado argumento P1 , P2 , . . . , Pn Q consiste em deduzir a concluso Q a partir das premissas P1 , P2 , . . . , Pn mediante o uso de certas regras de inferncia.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

86 / 121

Regras de Inferncia
Denio
As regras de inferncia constituem relaes especcas entre proposies: As regras de inferncia so: Regra Regra Regra Regra Regra Regra Regra Regra Regra Regra de Adio (AD); de Simplicao (SIMP); da Conjuno (CONJ); de Absoro (ABS); Modus ponens (MP); Modus tollens (MT); do Silogismo disjuntivo (SD); do Silogismo hipottico (SH); do Dilema construtivo (DC); e do Dilema destrutivo (DD).
Lgica Computacional 11 de setembro de 2013 87 / 121

Diego S. C. Nascimento (IFRN)

Regra da Adio

Denio
Dada uma proposio p , dela se pode deduzir a sua disjuno com qualquer outra proposio, isto , deduzir p q , ou p r , etc.

Exemplo
(i) p pq (ii) p qp

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

88 / 121

Regra de Simplicao

Denio
Da conjuno p q de duas proposies se pode deduzir cada uma das proposies, p ou q .

Exemplo
(i) pq p (ii) pq q

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

89 / 121

Regra da Conjuno

Denio
Permite deduzir de duas proposies dadas p e q (premissas) a sua conjuno p q ou q p (concluso).

Exemplo
p (i) q pq p (ii) q qp

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

90 / 121

Regra da Absoro

Denio
Est regra permite, dada uma condicional p q como premissa, dela deduzir como concluso uma outra condicional com o mesmo antecedente p e cujo consequente a conjuno p q das duas proposies que integram a premissa, isto , p p q .

Exemplo
pq p (p q )

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

91 / 121

Regra Modus Ponens

Denio
Tambm chamada Regra de Separao e permite deduzir q (concluso) a partir de p q e p (premissas).

Exemplo
pq p q

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

92 / 121

Regra Modus Tollens

Denio
Permite, a partir das premissas p q (condicional) e q (negao do consequente), deduzir como concluso p (negao do antecedente).

Exemplo
pq q p

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

93 / 121

Regra do Silogismo Disjuntivo

Denio
Permite deduzir da disjuno p q de duas proposies e da negao p (ou q ) de uma delas a outra proposio q (ou p ).

Exemplo
pq (i) p q pq (ii) q p

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

94 / 121

Regra do Silogismo Hipottico


Denio
Esta regra permite, dada duas condicionais: p q e q r (premissas), tais que o consequente da primeira coincide com o antecedente da segunda, deduzir uma terceira condicional p r (concluso) cujo antecedente e consequente so respectivamente o antecedente da premissa p q e o consequente da outra premissa q r .

Exemplo
pq qr pr

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

95 / 121

Regra do Dilema Construtivo

Denio
Nesta regra, as premissas so duas condicionais e a disjuno dos seus antecedentes, e a concluso a disjuno dos consequentes destas condicionais.

Exemplo
pq r s pr qs

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

96 / 121

Regra do Dilema Destrutivo

Denio
Nesta regra, as premissas so duas condicionais e a disjuno da negao dos seus consequentes, e a concluso a disjuno da negao dos antecedentes destas condicionais.

Exemplo
pq r s q s p r

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

97 / 121

Validade Mediante Regras de Inferncia I

Argumento
p q, p r q

Exemplo
(1) (2) (3) (4) pq pr p q

2 SIMP 1,3 MP

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

98 / 121

Validade Mediante Regras de Inferncia II

Argumento
p q, p r s ps

Exemplo
(1) (2) (3) (4) (5) (6) pq pr s p pr s ps

1 SIMP 3 AD 2,4 MP 3,5 CONJ

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

99 / 121

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 100 / 121

Diego S. C. Nascimento (IFRN)

Demonstrao Indireta
Denio
Um mtodo frequentemente empregado para demonstrar a validade de um dado argumento: P1 , P2 , . . . , Pn Q

chamado tambm por Demonstrao por Absurdo consiste em admitir a negao Q da concluso Q , isto , supor Q verdadeira, e da deduzir logicamente uma contradio qualquer C a partir das premissas P1 , P2 , . . . Pn e Q , isto , demonstrar que vlido o argumento: P1 , P2 , . . . , Pn , Q C

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

101 / 121

Validade Mediante Demonstrao Indireta I


Argumento
p q , r q (p r )

Exemplo
(1) (2) (3) (4) (5) (6) (7) (8) p q r q pr p r q q q q

Negao de Q 3 SIMP 3 SIMP 1,4 MP 2,5 MP 6,7 CONJ (Contradio)

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

102 / 121

Validade Mediante Demonstrao Indireta II


Argumento
p q , q r , r ps

Exemplo
(1) (2) (3) (4) (5) (6) (7) (8) p q q r r p s p q q q q

Negao de Q 4 SIMP 1,5 MP 2,3 SD 6,7 CONJ (Contradio)

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

103 / 121

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 104 / 121

Diego S. C. Nascimento (IFRN)

Sentenas Abertas com uma Varivel


Denio
Chama-se sentena aberta com uma varivel em um conjunto A, uma expresso p (x ) tal que p (a) falsa (F ) ou verdadeiro (V ) para todo a A. Em outros termos, p (x ) uma sentena aberta em A se e somente se p (x ) torna-se uma proposio (verdadeira ou falsa) todas as vezes que se substitui a varivel x por qualquer elemento a do conjunto A(a A).

Exemplo
So sentenas abertas em N = {1, 2, 3, . . . , n, . . .} as seguintes expresses: x +1>8 x +5=9 x primo

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

105 / 121

Sentenas Abertas com duas Variveis


Denio
Dados dois conjuntos A e B , chama-se sentena aberta com duas varireis em A B , uma expresso p (x , y ) tal que verdadeira (V ) ou falsa (F ) para todo o par ordenado (a, b) AxB . Em outros termos, p (x , y ) uma sentena aberta em AxB se e somente se p (x , y ) torna-se uma proposio (verdadeira ou falsa) todas as vezes que as variveis x e y so substitudas respectivamente pelos elementos a e b de qualquer par ordenado (a, b) pertencente ao produto cartesiano AxB dos conjuntos A e B ((a, b) AxB ).

Exemplo
Sejam os conjuntos A = {1, 2, 3} e B = {5, 6}. So sentenas abertas em AxB as seguintes expresses: x menor que y x o dobro de y
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 106 / 121

Sentenas Abertas com n-Variveis

Denio
Chama-se sentena aberta com n variveis em A1 xA2 x . . . xAn , uma expresso p (x1 , x2 , . . . , xn ) tal que p (a1 , a2 , . . . , an ) verdadeira (V ) ou falsa (F ) para toda n-upla (a1 , a2 , . . . , an A1 xA2 x . . . xAn ).

Exemplo
A expresso x + 2y + 3z < 18 um sentena aberta em NxNxN , na qual, o termo ordenado (1, 2, 3), satisfaz esta sentena aberta, pois, 1 + 2 2 + 3 4 < 18.

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

107 / 121

Operaes Lgicas sobre Sentenas Abertas

As operaes lgicas que denimos para proposies estendem-se naturalmente sentenas abertas, e como podemos lembrar, so elas:

No (Negao), ; E (Conjuno), ; Ou (Disjuno), ; Se ento (Condicional), ;e Se e somente se (Bicondicional), .

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

108 / 121

Operao de Negao
Exemplo
A negao da sentena aberta em R (Conjunto dos nmeros reais): x < 2 Assim, para x = 0, x = 1, x = 2, x = 5, x = e x = 8, 57, temos sucessivamente: x 0 -1 2 5 8,57
Diego S. C. Nascimento (IFRN)

x <2 V V F F F F

(x < 2) F F V V V V
11 de setembro de 2013 109 / 121

Lgica Computacional

Operao de Conjuno
Exemplo
A conjuno das sentenas abertas em R (Conjunto dos nmeros reais): x > 2 x < 8 Assim, para x = 5, x = , x = 2, x = 1 e x = 8, 57, temos sucessivamente: x 7 2 -1 8,57 x >2 V V F F V x <8 V V V V F x >2x <8 V V F F F

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

110 / 121

Operao de Disjuno
Exemplo
A disjuno das sentenas abertas em R (Conjunto dos nmeros reais): x < 2 x > 8 Assim, para x = 0, x = 1, x = 2, x = 5, x = e x = 8, 57, temos sucessivamente: x 0 -1 2 5 8,57
Diego S. C. Nascimento (IFRN)

x <2 V V F F F F

x >8 F F F F F V

x <2x >8 V V F F F V
11 de setembro de 2013 111 / 121

Lgica Computacional

Operao Condicional
Exemplo
A condicional das sentenas abertas em R (Conjunto dos nmeros reais): x < 2 x > 8 Assim, para x = 0, x = 1, x = 2, x = 5, x = e x = 8, 57, temos sucessivamente: x 0 -1 2 5 8,57
Diego S. C. Nascimento (IFRN)

x <2 V V F F F F

x >8 F F F F F V

x <2x >8 F F V V V V
11 de setembro de 2013 112 / 121

Lgica Computacional

Operao Bicondicional
Exemplo
A bicondicional das sentenas abertas em R (Conjunto dos nmeros reais): x < 2 x > 8 Assim, para x = 0, x = 1, x = 2, x = 5, x = e x = 8, 57, temos sucessivamente: x 0 -1 2 5 8,57
Diego S. C. Nascimento (IFRN)

x <2 V V F F F F

x >8 F F F F F V

x <2x >8 F F V V V F
11 de setembro de 2013 113 / 121

Lgica Computacional

Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11

Introduo Lgica Proposicional Construo de Tabelas-verdade Tautologia, Contradio e Contingncia Implicao Lgica Equivalncia Lgica lgebra das Proposies e Mtodo Dedutivo Inferncia Lgica Demonstrao Indireta Sentenas Abertas Quanticadores
Lgica Computacional 11 de setembro de 2013 114 / 121

Diego S. C. Nascimento (IFRN)

Quanticador
Denio
O termo quanticao tem vrios signicados (gerais e especcos). Ele cobre toda ao que quantique observaes e experincias, traduzindo-as para nmeros atravs da contagem e mensurao. , portanto, a base para a matemtica e para a cincia. Na linguagem e na lgica, a quanticao uma construo que especica a quantidade de indivduos de um domnio de discurso que se aplicam a (ou satisfazem) uma frmula aberta. Os dois tipos fundamentais de quanticao na lgica de predicados so: Universal, x ; e Existencial, x .

Importante
Os quanticadores so interdenveis. Isto signica que uma frmula com quanticador universal pode ser transformada em uma frmula que contm apenas quanticadores existencial e vice-versa.
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 115 / 121

Quanticador Universal: x
Denio
Seja p (x ) um sentena aberta em um conjunto no vazio A(A = ) e seja Vp o seu conjunto-verdade: Vp = {x |x A p (x )} Quando Vp = A, isto , todos os elementos do conjunto A satisfazem a sentena aberta p (x ), podemos, ento, armar: Para todo elemento x de A, p (x ) verdadeira (V ); ou Qualquer que seja o elemento x de A, p (x ) verdadeira.

Exemplo
Todo homem el. Todo homem mortal. Toda criana verdadeira.
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 116 / 121

Quanticador Existencial: x
Denio
Seja p (x ) um sentena aberta em um conjunto no vazio A(A = ) e seja Vp o seu conjunto-verdade: Vp = {x |x A p (x )} Quando Vp no vazio (Vp = ), ento, um elemento, pelo menos, do conjunto A satisfaz a sentena abeta p (x ), e podemos armar: Existe pelo menos um x A tal que p (x ); ou Para algum x A tal que p (x ).

Exemplo
Existe vida em outros planetas. Existe mamfero que voa. Existe cidado honesto.
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 117 / 121

Negao de Proposies com Quanticador


Denio
A negao da proposio (x A)(p (x )) equivalente a armao de que, para ao menos um x A, p (x ) falsa ou p (x ) verdadeira. Logo, subsiste a equivalncia: [(x A)(p (x ))] (x A)(p (x )) Analogamente, a negao da proposio (x A)(p (x )) equivalente a armar de que, para todo x A, p (x ) falsa ou p (x ) verdadeira. Logo, subsiste a equivalncia: [(x A)(p (x ))] (x A)(p (x )) Essas duas importantes equivalncias so conhecidas por segunda regra de negao DE MORGAN.
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 118 / 121

Quanticao Mltipla

Toda a sentena aberta precedida de quanticadores, um para cada varivel, isto , com todas as variveis quanticadas, uma proposio, pois, assume um dos valores lgicos V ou F .

Exemplo
1 2 3

(x A)(y B )(p (x , y )); (x A)(y B )(p (x , y )); ou (x A)(y B )(z C )(p (x , y , z )).

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

119 / 121

Quanticao Mltipla
Exemplo
Consideramos os conjuntos: H = {Jorge, Cludio, Paulo}, M = {Suely, Crmen} e seja p(x,y) a sentena aberta em HxM :x irmo de y. A proposio: (x H )(y M )(p (x , y )) se pode ler: Para todo x de H existe pelo menos um y de M tal que x irmo de y . A proposio: (y M )(x H )(p (x , y )) se pode ler: Pelo menos uma das mulheres de M irm de todos os homens de H .
Diego S. C. Nascimento (IFRN) Lgica Computacional 11 de setembro de 2013 120 / 121

Comutativa dos Quanticadores


Quanticadores do mesmo tipo podem ser comutados:

Exemplo
(x )(y )(p (x , y )) (y )(x )(p (x , y )) (x )(y )(p (x , y )) (y )(x )(p (x , y ))

Quanticadores de tipos diferentes no podem em geral ser comutados:

Exemplo
(x )(y )(x lho de y ) = (x )(y )(x lho de y )

Diego S. C. Nascimento (IFRN)

Lgica Computacional

11 de setembro de 2013

121 / 121