Lgica de Programao

Aula 02 Lgica de Boole Tabelas Verdade

Lgica
O que lgica? A lgica o ramo da Filosofia e da Matemtica que estuda os mtodos e princpios que permitem fazer distino entre raciocnios vlidos e no vlidos, determinando o processo que leva ao conhecimento verdadeiro.

Lgica

O uso da lgica primordial na soluo de problemas. Com ela possvel alcanar objetivos com eficincia e eficcia.

Lgica
Elementos da lgica matemtica Definio 1: Uma proposio um conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. Definio 2: Uma proposio simples aquela que no contm outra proposio como parte integrante de si mesma.

Lgica

Exemplos de proposies simples: p: Pedro estudante. q: O nmero 25 um quadrado perfeito. r: x A

Lgica

Uma proposio composta aquela feita pela composio de duas ou mais proposies Exemplos de proposies compostas: P: Pedro estudante e Maria professora. Q: Se o nmero 25 quadrado perfeito ento a raiz quadrada de 25 um nmero inteiro. R: x A ou x B.

Lgica

Uma tabela lgica apresenta todos os valores lgicos para uma frmula Os valores possveis so: V ou F (verdadeiro ou falso), que podem ser representados por 1 ou 0 Para uma proposio simples, p, teramos a tabela verdade
P V F

Lgica

Com duas proposies, p e q, teramos

p V V F F q V F V F

O nmero de casos possveis 2 n, onde n o nmero de proposies que compem a frmula

Lgica

Principais operaes da lgica do Clculo Proposicional Negao

A negao da proposio "p" a proposio "~p", de maneira que se "p" verdade ento "~p" falsa, e vice-versa.
p V F ~p F V

Lgica

Conjuno (E) ^

A conjuno verdadeira se e somente se os operandos so verdadeiros Para uma frmula p ^ q, teramos a tabela verdade
p V V F F q V F V F p^q V F F F

Lgica

Disjuno (OU) v

A disjuno falsa se, e somente se ambos os operandos forem falsos. Para uma frmula p v q, teramos a tabela verdade
p V V F F q V F V F pvq V V V F

Lgica

Condicional (se .. ento) [implicao] ->

A condicional falsa se, e somente se, o primeiro operando verdadeiro e o segundo operando falso Para uma frmula p -> q, teramos a tabela verdade
p V V F F q V F V F p -> q V F V V

Lgica

Bicondicional (se e somente se) [equivalncia] <->

A bicondicional verdadeira se, e somente se, ambos operandos forem falsos ou ambos verdadeiros Para uma frmula p <-> q, teramos a tabela verdade
p V V F F q V F V F p <-> q V F F V

Lgica

Exerccios 1 - Sejam as proposies: p : Est frio e q : Est chovendo. Traduzir para a linguagem corrente as seguintes proposies: a) ~p d) q <> p g) ~p ^ ~q b) p ^ q e) p > ~q h) p ^ ~q > p c) p v q f) p v ~q

Lgica

Exerccios 2 - A partir das proposies p : Antnio rico e q : Jos feliz, traduzir para a linguagem corrente as proposies a seguir: a) q > p d) ~p > q b) p v ~q e) ~~p c) q <> ~p f) p ^ q

Lgica

Exerccios 3 - Sejam as proposies: p : Carlos fala francs, q : Carlos fala ingls r : Carlos fala alemo. Traduzir para a linguagem simblica as seguintes proposies: a) Carlos fala francs ou ingls, mas no fala alemo b) Carlos fala francs e ingls, ou no fala francs e alemo c) falso que Carlos fala francs mas no que fala alemo d) falso que Carlos fala ingls ou alemo mas no que fala francs

Lgica

Exerccios 4 - A partir das proposies p : Maria rica e q : Maria feliz, traduzir para a linguagem simblica as proposies: a) Maria pobre, mas feliz b) Maria rica ou infeliz c) Maria pobre e infeliz d) Maria pobre ou rica, mas infeliz

Lgica

Exerccios 5 - Construir as tabelas-verdade das das frmulas dos exerccios de 1 4

Lgica

Exerccios 6 - Construir as tabelas-verdade das seguintes proposies: a) ~(p v ~q) c) ~p ^ r > q v ~r b) p ^ q > p v q d) (p ^ ~q) v r