6
Faculdade de Ciências e Tecnologia de Unai Curso em Tecnologia de Sistemas de Informação Trabalho Introdução á Álgebra de Boole Professor: Lenivaldo Geraldo Souza Aluno: DOMINGOS DALLA COSTA DIDEROT

Trabalho Lenivaldo

Embed Size (px)

DESCRIPTION

tc

Citation preview

Page 1: Trabalho Lenivaldo

Faculdade de Ciências e Tecnologia de Unai

Curso em Tecnologia de Sistemas de Informação

Trabalho

Introdução á Álgebra de Boole

Professor: Lenivaldo Geraldo Souza

Aluno: DOMINGOS DALLA COSTA DIDEROT

Unaí-MG, 11 de dezembro de 2007

Page 2: Trabalho Lenivaldo

UNAÍ-MG23/10/2007

IntroduçãoQuando pensamos, efetuamos muitas vezes certas operações sobre proposições chamadas proposições lógicas. Estas obedecem as regras de um cálculo, denominado cálculo proposicional, semelhante ao da aritmética sobre números.

Operação Lógica Fundamental de NegaçãoChama-se negação de uma proposição p a proposição representada por “não p”. cujo valor lógico e a verdade(v) quando p é falsa e a falsidade (f) quando p é verdadeira. Assim “não p” tem o valor lógico oposto daquele p.Simbolciamente, a negação de p indica-se com a notação “ ~p “, que se lê: “não p”.O valor lógico da negação de uma proposição é, portanto, definido pela seguinte tabela verdade:

P ~ PV FF V

Ou seja , pelas igualdades:~V = F, ~F=V e V(~p) = ~V(p)

Ex:P : O Sol é uma estrela~P : O sol não é uma estrela

Q : Carlos é mecânico~Q : Não é verdade que Carlos é mecânico~Q : É falso que Carlos é mecânico.

Operação Lógica Fundamental de Conjunção (^)Chama-se conjunção de duas proposições p e q a proposição representada por “p e q”, cujo valor lógico é a verdade(V) quando as proposições p e q são ambas verdadeiras e a falsidade(F) nos demais casos. Simbolicamente a conjunção de duas proposições p e q indica-se com a notação: “p ^q”, que se lê “p e q”.

O valor lógico da conjunção de duas proposições é, poranto, definido pela seguinte tabela-verdade.

Page 3: Trabalho Lenivaldo

P Q P^qV V VV F FF V FF F f

Ou seja: pelas igualdades V ^V = V, V^F = F, F^F = FV(p^q) = V(p) ^ V(q)

Ex:p : Cantor nasceu na Rússia (V)q: Fermat era médico (F)p^q : cantor nasceu na Rússia e Fermat era médico (F)V(p^q) – V(p) ^V(q) – V ^F = F

Operação Lógica Fundamental de DisjunçãoChama-se disjunção de duas proposições p e q a proposição representada por “p e q” , cujo valor lógico é a verdade(V) quando ao menos uma das proposições p e q é verdadeira e a falsidade(F) quando as proposições p e q são ambas falsas. Simbolicamente a disjunção de duas proposições p e q indica-se com a notação: “p V q” , que se lê : “ p ou q”.O valor lógico da disjunção de duas proposições é, portanto, definido pela seguinte tabela-verdade:

P Q P V QV V VV F VF V VF F F

Ou seja pelas igualdades:V V V = V; V V F = V, F V V = V e F V F = F e V (p V q) = V (p) V v (q).

Ex:P : Roma é a capital da Rússia (F)Q : 5/7 é uma fração própria (V)P V q : Roma é a capital d Rússia ou 5/7 é uma fração própria (V)V ( p V q) = V(p) V V(q) = F V V = V

Operação Lógica Fundamental de Disjunção Condicional (→)Chama-se proposição condicional ou apenas condicional uma proposições representada por “se p então q” , cujo valor lógico é a falsidade(F) no caso em que p é verdadeira e q é falsa e a verdade (V) nos demais casos. Simbolicamente a condicionald e duas proposições p e q indica-se com a notação: “p → q” , que também se lê de uma das maneiras:(i) p é condição suficiente para q

Page 4: Trabalho Lenivaldo

(ii) q é condição necessária para pNa condicional “ p → q “ , diz-se que p é antecedente e q é o conseqüente. O símbolo” → “ é chamado símbolo de implicação

O valor lógico da condicional de duas proposições é, portanto, definido pela seguinte tabela-verdade:

P Q P → QV V VV F VF V VF F V

Ou seja pelas igualdades:V → V = V; V → F = F, F → V = V e F → F = V (p → q) = V (p) → V (q).

Portanto, uma condicional é verdadeira todas as vezes que o seu antecedente é uma proposição falsa.

Ex:

p : O mês de maio tem 31 dias (V)q : A terra é plana (F)p → q : Se o mês de maio tem 31 dias, então a terra é plana (F)V (p→q) = V(p) → V(q) = V → F = F

Operação Lógica Fundamental Bicondicional ( ↔ )Chama-se proposição Bicondicional ou apenas Bicondicional uma proposições representada por “se p se e somente se q” , cujo valor lógico é a verdade(V) quando p e q são ambas verdadeiras ou falsas e a falsidade(F) nos demais casos. Simbolicamente a Bicondicional de duas proposições p e q indica-se com a notação: “p ↔ q” , que também se lê de uma das maneiras:(i) p é condição necessária e suficiente para q(ii) q é condição necessária e suficiente para pO valor lógico da bicondicional de duas proposições é, portanto, definido pela seguinte tabela-verdade:

P Q P ↔ QV V VV F FF V FF F V

Ou seja pelas igualdades:

Page 5: Trabalho Lenivaldo

V ↔ V = V; V ↔ F = F, F ↔ V = F e F → F = V (p ↔ q) = V (p) ↔ V (q).Portanto, uma Bicondicional é verdadeira somente quando também o são as duas condicionais:P → q e q → p.

Ex:P: Vasco da Gama descobriu o Brasil (F)Q: Tiradentes foi enforcado(V)V(p↔q) = V(p) ↔ V(q) – F ↔V = F