UNIVERSIDADE ABERTA DO PIAU UAB Curso de Sistemas de Informao Mdulo I

LGICA PARA CINCIA DA COMPUTAO Juliana Oliveira de Carvalho

Unidade 02 A Lgica e as outras Teorias

LGICA PARA CINCIA DA COMPUTAO

O Clculo Proposicional e a Teoria dos Conjuntos

A relao intrnseca entre o Clculo Proposicional e a Teoria de Conjuntos importante por permitir a verificao dos valores verdade de algumas sentenas da Lgica Proposicional atravs da Teoria de Conjuntos. A Teoria de Conjuntos bastante conhecida portanto pode facilitar as demonstraes.

Um exemplo disto a verificao grfica de propriedades de operaes da Lgica Proposicional usando Diagramas de Euler-Venn (John Venn, 1834-1923), apesar de observar que esta metodologia no deve ser considerada como instrumento rigoroso de prova.

LGICA PARA CINCIA DA COMPUTAO

O Clculo Proposicional e a Teoria dos Conjuntos

Quaisquer sentenas do Clculo Proposicional tm expresses correspondentes na Teoria dos conjuntos e estas podem ser representadas como diagramas de Euler-Venn.

Estas correspondncias so verificadas utilizando as mesmas regras mostradas para a obteno das formas normais conjuntivas e disjuntivas, mostradas anteriormente, na Unidade 1.

LGICA PARA CINCIA DA COMPUTAO

O Clculo Proposicional e a Teoria dos Conjuntos

Estas correspondncias so especificadas da seguinte forma: A negao de uma sentena A da Lgica, ou seja A, corresponde ao complemento de A na Teoria dos Conjuntos, ou seja, ;

A conjuno de duas sentenas A e B da Lgica, ou seja A B, corresponde interseo dos conjuntos A e B na Teoria dos Conjuntos, ou seja, A B;

A disjuno de duas proposies A e B da Lgica, ou seja A V B, corresponde unio dos conjuntos A e B na Teoria dos Conjuntos, ou seja, A U B;

LGICA PARA CINCIA DA COMPUTAO

O Clculo Proposicional e a Teoria dos Conjuntos

...Estas correspondncias so especificadas da seguinte forma: A sentena A B da Lgica no tem correspondente direto na Teoria dos Conjuntos, mas pode ser substituda pela sentena A V B, e esta tem correspondncia na Teoria dos Conjuntos;

A sentena A B da Lgica tambm no tem correspondente na Teoria dos Conjuntos, mas pode ser substituda pela sentena (A V B) (A V B), e esta tem correspondncia na Teoria dos Conjuntos;

LGICA PARA CINCIA DA COMPUTAO

O Clculo Proposicional e a Teoria dos Conjuntos

...Estas correspondncias so especificadas da seguinte forma: As negaes que precedem os parnteses nas sentenas da Lgica podem ser substitudas por outras sentenas tambm da Lgica, mas com correspondentes na Teoria dos Conjuntos. (A B) por A V B; e (A V B) por A B.

Negaes mltiplas (A) da Lgica podem ser substitudas por A;

Elimina-se o alcance dos conectivos e V da Lgica, substituindo: A V (B C) por (A V B) (A V C); e A (B V C) por (A B) V (A C).

LGICA PARA CINCIA DA COMPUTAO

O Clculo Proposicional e a Teoria dos Conjuntos

Desta forma, podemos ter as seguintes correspondncias para as reas hachuradas: Negao (A): A rea hachurada corresponde ao complemento de A, ou seja, , que corresponde a A da Lgica.
AVB

Disjuno (A V B): A rea hachurada corresponde

U

unio A U B, que corresponde a A V B da Lgica.

Conjuno (A B): A rea hachurada corresponde interseo A B, que corresponde a A B da Lgica.

LGICA PARA CINCIA DA COMPUTAO

O Clculo Proposicional e a Teoria dos Conjuntos

Seja o diagrama de Euler-Venn mostrado abaixo:

A rea hachurada corresponde a (B C) na Teoria dos Conjuntos. Pelas regras dadas anteriormente, esta rea corresponde a (B C) A da Lgica, que corresponde a ((B C) V A), que, por sua vez, corresponde a ((B C) A).

LGICA PARA CINCIA DA COMPUTAO

O Clculo Proposicional e a Teoria dos Conjuntos

Como decorrncia direta destas relaes, podemos verificar que os seguintes resultados so verdadeiros: Tautologia: a rea hachurada o conjunto Universo U. Por
exemplo, a sentena A V A da figura ao lado.

Contradio: representada pela ausncia de rea

hachurada. Por exemplo, a sentena A A da figura ao lado.

Contingncia: representada por uma rea que apresenta

uma parte hachurada e outra no hachurada. Por exemplo, a sentena A B da figura ao lado.

LGICA PARA CINCIA DA COMPUTAO

Clculo Proposicional e a lgebra de Boole

A relao existente entre o Clculo Proposicional e a lgebra booleana, desenvolvida por George Boole em 1948, muito importante para a fundamentao da Eletrnica Digital responsvel pela construo dos computadores eletrnicos.

Uma lgebra Booleana uma sxtupla B da forma B = {A, +, ., , 0, 1}, onde A um conjunto de variveis, +, e . so operaes binrias entre os elementos de A, uma operao unria em A e os elementos 0 e 1 so elementos distintos de B.

LGICA PARA CINCIA DA COMPUTAO

Clculo Proposicional e a lgebra de Boole

Propriedades da lgebra Booleana

Propriedade Associatividade Comutatividade Idempotncia Absoro Distribuio Prop 0 Prop 1 Complemento

Operao (p+q)+r = p+(q+r) p+q = q+p p+p = p (p.q)+p = p p+(q.r) = (p+q).(p+r) p+0=p p+1 = 1 p+p' = 1

Operao Dual (p.q).r = p.(q.r) p.q = q.p p.p = p (p+q).p = p p.(q+r) = (p.q) + (p.r) p.1 = p p.0 = 0 p.p' = 0

LGICA PARA CINCIA DA COMPUTAO

Clculo Proposicional e a lgebra de Boole

As seguintes observaes da lgebra de Boole devem ser atendidas para tornar as operaes nesta teoria mais fceis de serem realizadas e compreendidas: a operao p . q normalmente denotada por pq, a operao p + q a disjuno de p com q, a operao pq a conjuno de p com q, p o complemento de p, 0 o elemento zero (complemento de 1), 1 o complemento de 0.

LGICA PARA CINCIA DA COMPUTAO

Clculo Proposicional e a lgebra de Boole

Exemplo: As seguintes expresses so equivalentes na lgebra Booleana e na Lgica Proposicional: (p + (qr)) ( p V (q r)). Uma expresso booleana representa uma funo onde as variveis so os parmetros e a expresso o resultado da funo.

As expresses booleanas podem ser transformadas em expresses booleanas mais simples para serem implementadas como circuitos eletrnicos.

O objetivo conseguir circuitos mais simples e portanto mais baratos e menores.

LGICA PARA CINCIA DA COMPUTAO

Clculo Proposicional e a lgebra de Boole

Exemplo: Simplificar a sentena proposicional

(pqr)V(pqr)V(pqr)V(pqr)V(pqr)
A expresso correspondente a esta na lgebra de Boole :

pqr + pqr + pqr + pqr + pqr

= pqr + pq(r + r) + pq(r + r) pela propriedade da distribuio = pqr + pq + pq pela prop do complemento = p(qr + q) + pq pela propriedade da distribuio = p(r + q) + pq pela propriedade da absoro = pr + pq + pq pela propriedade da distribuio = pr + (p + p)q pela propriedade da distribuio = pr + q pela prop do complemento

LGICA PARA CINCIA DA COMPUTAO

Clculo Proposicional e a lgebra de Boole

A expresso do exemplo anterior tem correspondente na Lgica que (pr)Vq, significando que ambas realizam a mesma funo.

A sentena proposicional inicial que era bem maior e mais complexa foi transformada em outra expresso bem menor e mais simples e, exatamente por este motivo, pode ser implementada de forma bem mais econmica.

Esta tcnica objeto de estudo dos sistemas digitais.

O objetivo aqui apenas mostrar como a lgebra booleana se fundamenta e justificada pela Lgica.

LGICA PARA CINCIA DA COMPUTAO

O Princpio da Induo Finita e a Lgica

O princpio da induo finita um dos principais mtodos utilizados na demonstrao de resultados em diversas reas da Matemtica e da Teoria da Computao. Na Matemtica, ele utilizado na demonstrao de vrias propriedades dos nmeros e

Na Cincia da Computao empregado para demonstrar resultados na rea das Linguagens Formais, na Teoria dos Algoritmos, na Teoria dos Cdigos e na Lgica.

LGICA PARA CINCIA DA COMPUTAO

O Princpio da Induo Finita e a Lgica

Exemplo: Baseado em Souza (2002), se refere a um conjunto infinito de pedras de domin, enfileiradas conforme a figura a seguir.

...

...

n+1

Os domins so enumerados e dispostos de forma que se o domin nmero n for derrubado para a direita, ento o domin subsequente (nmero n + 1) tambm ser derrubado para a direita.

LGICA PARA CINCIA DA COMPUTAO

O Princpio da Induo Finita e a Lgica

Definio (condio suficiente e condio necessria): Dadas duas frmulas p e q tais que p implica q, ento p uma condio suficiente para q e q uma condio necessria para p.
No caso em que p equivale a q, tem-se que p implica q e q implica p. Logo, p uma condio necessria e suficiente para q. Da mesma forma, q tambm uma condio necessria e suficiente para p.

Definio (condies suficientes, primeira forma): 1. Condio bsica: O domin nmero 1 derrubado para a direita. 2. Condio indutiva: Seja n um nmero arbitrrio. Se o domin nmero n for derrubado para a direita, ento o domin nmero (n + 1) tambm ser derrubado para a direita.

LGICA PARA CINCIA DA COMPUTAO

O Princpio da Induo Finita e a Lgica

Definio (condies suficientes, segunda forma): 1. Condio bsica: O domin nmero 1 derrubado para a Direita. 2. Condio indutiva Seja n um nmero arbitrrio. Se todos os domins at o nmero n forem derrubados para a direita, ento o domin nmero (n + 1) tambm ser derrubado para a direita.

LGICA PARA CINCIA DA COMPUTAO

O Princpio da Induo Finita Fraca

Definio (primeira forma do princpio da induo finita): Suponha que para cada nmero natural n, n 1, seja feita a assertiva A(n). Alm disso, suponha que seja possvel demonstrar as duas propriedades a seguir: 1. Base da induo: A assertiva A(1) verdadeira. 2. Passo da induo: Para cada nmero natural n 1, se A(n) for verdadeira, ento A(n+1) tambm verdadeira.

Conclui-se que a assertiva A(n) verdadeira para todo nmero natural n.

LGICA PARA CINCIA DA COMPUTAO

O Princpio da Induo Finita Forte

Definio (segunda forma do princpio da induo finita): Suponha que para cada nmero natural n, n 1, seja feita a assertiva A(n). Alm disso, suponha que seja possvel demonstrar as duas propriedades a seguir: 1. Base da induo: A assertiva A(1) verdadeira. 2. Passo da induo: Para cada nmero natural n 1, se A(k) for verdadeira para todo k, 1 k n, ento A(n+1) tambm verdadeira. Conclui-se que a assertiva A(n) verdadeira para todo nmero natural n.

LGICA PARA CINCIA DA COMPUTAO

Por que o princpio de induo finita funciona?

O princpio da induo, na primeira e segunda formas, expresso como a implicao: [Base + Passo da induo] [A(n) verdadeira para todo n]

Admitir o princpio da induo finita significa aceitar como vlida a implicao acima. Considerando tal implicao como vlida: para demonstrar [A(n) verdadeira para todo n] basta demonstrar que [Base + Passo da induo] tambm verdadeira.
Isto ocorre porque se a implicao vlida e a base e o passo da induo so verdadeiros, ento necessariamente a afirmao A(n) verdadeira para todo n tambm verdadeira.

LGICA PARA CINCIA DA COMPUTAO

Por que o princpio de induo finita funciona?

Observe que impossvel se ter: [Base + Passo da induo] [A(n) verdade para todo n].

Deve, no entanto, ser observado que tal validade pode ser questionada, porque: a base e o passo indutivo consideram apenas valores finitos para n, como A(1) e A(n) A(n+1) e o consequente considera qualquer valor de n.

Neste sentido, o princpio corresponde a concluir algo infinito a partir de premissas finitas.