LC Aulas

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
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.
Lgica Computacional
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.
Lgica Computacional
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.
Lgica Computacional
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.
Lgica Computacional
8 / 121
Exemplo de Argumento
Lgica Computacional
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.
Lgica Computacional
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.
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.
Lgica Computacional
12 / 121
Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11
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.
Lgica Computacional
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.
Lgica Computacional
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);
Lgica Computacional
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.
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.
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.
Lgica Computacional
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
Lgica Computacional
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.
Lgica Computacional
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
Lgica Computacional
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.
Lgica Computacional
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
Lgica Computacional
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.
Lgica Computacional
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
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.
Lgica Computacional
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
Lgica Computacional
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.
Lgica Computacional
29 / 121
Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11
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.
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.
Lgica Computacional
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
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
Lgica Computacional
34 / 121
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
Lgica Computacional
35 / 121
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
Lgica Computacional
36 / 121
Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11
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.
Lgica Computacional
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.
Lgica Computacional
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.
Lgica Computacional
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.
Lgica Computacional
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.
Lgica Computacional
42 / 121
Contradio: Demonstrao II
Proposio
p p
Exemplo
p V F p F V p p F F
Lgica Computacional
43 / 121
Contingncia
Denio
Contingencia toda a proposio composta que no tautologia nem contradio.
As contingncias so tambm denominadas proposies contingentes ou proposies indeterminadas.
Lgica Computacional
44 / 121
Contingncia: Demonstrao I
Proposio
p p
Exemplo
p V F p F V p p F V
Lgica Computacional
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
Lgica Computacional
46 / 121
Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11
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.
Lgica Computacional
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 , . . .)
Lgica Computacional
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
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
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).
Lgica Computacional
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
Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11
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.
Lgica Computacional
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 , . . .)
Lgica Computacional
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
Lgica Computacional
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

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).
Lgica Computacional
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 . . .
Lgica Computacional
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
Lgica Computacional
Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11
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
Lgica Computacional
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
Lgica Computacional
64 / 121

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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
68 / 121

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
Lgica Computacional
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
Lgica Computacional
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
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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
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.
Lgica Computacional
76 / 121
Demonstrao da Implicao I
Implicao
pq p
Exemplo
pq p (p q ) p (p q ) p (p p ) q Tautologia q Tautologia
Lgica Computacional
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)
Lgica Computacional
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
Lgica Computacional
79 / 121
Demonstrao da Equivalncia II
Equivalncia
(p q ) (p q ) p
Exemplo
(p q ) (p q ) p (q q ) p Contradio p
Lgica Computacional
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).
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
83 / 121
Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11
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.
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.
Lgica Computacional
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).
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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
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 )
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
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
Lgica Computacional
99 / 121
Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11
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
Lgica Computacional
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)
Lgica Computacional
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)
Lgica Computacional
103 / 121
Ementa do Curso
1 2 3 4 5 6 7 8 9 10 11
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
Lgica Computacional
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
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.
Lgica Computacional
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), .
Lgica Computacional
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
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
Lgica Computacional
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
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
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
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
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.
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.
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.
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.
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 )).
Lgica Computacional
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 .
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 )
Lgica Computacional
121 / 121

LC Aulas

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

LC Aulas

Загружено:

Авторское право:

Доступные форматы

Lgica Computacional

Diego Silveira Costa Nascimento, Ms. C.

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Motivaes em Estudar Lgica

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Exemplos de Inferncias Dedutiva e Indutiva

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

A Linguagem da Lgica Proposicional

Considere o conjunto de smbolos:

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

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.

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

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.

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Tabela-verdade de uma Proposio Composta

Ordem de Precedncia dos Operadores

Diego S. C. Nascimento (IFRN)

Expresso Proposicional Composta

Construindo a Tabela-verdade (cont.)

Em seguida, forma-se a coluna para q .

Diego S. C. Nascimento (IFRN)

Construindo a Tabela-verdade (cont.)

Depois, forma-se a coluna para p q .

Diego S. C. Nascimento (IFRN)

Construindo a Tabela-verdade (cont.)

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

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

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

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

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

Diego S. C. Nascimento (IFRN)

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

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

As contingncias so tambm denominadas proposies contingentes ou proposies indeterminadas.

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Diego S. C. Nascimento (IFRN)

Propriedades da Implicao Lgica

Diego S. C. Nascimento (IFRN)