Você está na página 1de 9

Instituto Superior de Tecnologias Avanadas

Lgica Matemtica

Trabalho realizado por: Fbio Anselmo n 8005

Introduo
A lgica matemtica trata-se do estudo das sentenas declarativas tambm conhecidas como proposies e que tem por objetivo elaborar procedimentos que permitam obter um raciocnio correto, distinguindo os armentos que esto verdades daqueles que no so verdade. O filsofo grego Aristteles, iniciou o estudo da lgica, fazendo uma apresentao sobre o processo do pensamento. No sc. XIX o matemtico George Boole, criador da lgebra Booleana, descreveu operaes de lgica e de probabilidades, em hoje em dia a base da aritmtica computacional.

Proposio
o conjunto de palavras ou smbolos que exprimem um pensamento, de modo a que se possa atribuir dois valores lgicos: verdadeiro ou falso. A lgica matemtica assenta-se em dois princpios fundamentais: Princpio de no contradio: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo; Princpio do terceiro excludo: Toda a proposio ou verdadeira ou falsa, excluindo qualquer outro valor.

S as sentenas declarativas que se pode atribuir valores de verdadeiro ou falso, que acontece quando a sentena confirmada ou negada. No se pode atribuir um valor de verdadeiro ou falso a sentenas como interrogativas, exclamativas.

As proposies classificam-se em simples ou compostas. Proposies simples: um pensamento singular sem integrar qualquer outra proposio. Exemplos: O Antnio um estudante. O Jos solteiro. Proposio composta: formada pela combinao de duas ou mais proposies simples. Exemplos: A Maria professora e o Pedro Mecnico. Se o carro novo, ento est em boas condies.

Operadores Lgicos
Negao: Negao de p representado por ~p (tambm representado por p em expresses lgicas).

~p verdadeiro se p for falso e falso se p for verdadeiro. Exemplo: o o p: Hoje Domingo. ~p: Hoje no Domingo.

E (Conjuno): A conjuno de p e q representada por p q (tambm por p.q ou pq).

p q verdadeiro se p e q forem ambos verdadeiros. falso se p for falso ou se q for falso (ou ambos). Exemplo: o o q: Hoje est a chover. p q: Hoje Domingo e est a chover

OU (Disjuno): Disjuno de p ou q representada por p q.

p q verdadeiro se p for verdadeiro ou se q for verdadeiro. falso se p e q forem ambos falsos.

Tabelas de verdade:
Negao P 0 1 ~P P 1 0 0 0 1 1 0 1 0 1 0 1 1 1 Q PVQ Disjuno

Conjuno P 0 0 1 1 Q 0 1 0 1 PQ 0 0 0 1

OU EXCLUSIVO: representado por p q.

p q verdadeiro quando exatamente uma das proposies p ou q verdadeira. falso quando p e q tiverem o mesmo valor lgico. P 0 0 1 1 Q 0 1 0 1 PQ 0 1 1 0

IMPLICAO (material): p implica q representado por p q.

p q falso quando p verdadeiro e q falso. verdadeiro em qualquer outro caso. P 0 0 1 1 Q 0 1 0 1 PQ 1 1 0 0

EQUIVALNCIA (material): p equivale a q, ou p se e s se q, representado por p q.

p q verdadeiro se p e q tiverem os mesmos valores lgicos. falso no outro caso.

PQ

0 0 1 1

0 1 0 1

1 0 0 1

Tautologia, contradio e contingncia


Tautologia - proposio composta, em que a ltima coluna de sua tabela verdade encerra somente a letra V (verdade). Exemplo: p v ~(p ^ q).

Contradio - proposio composta, em que a ltima coluna de sua tabela verdade encerra somente a letra F (Falso). Exemplo: (p ^ q) ^ ~(p v q).

Contingncia - proposio composta cuja ltima coluna de sua tabela verdade figuram as letras V e F cada uma pelo menos uma vez. Exemplo: p v q > p.

Equivalncia
Uma proposio P (p, q, r,...) equivalente a uma proposio Q (p, q, r,...) se as tabelas verdade dessas duas proposies forem idnticas. Notao: P (p, q, r,...) <= => Q(p, q, r, ...). Exemplo: A condicional "p > q" e a disjuno "~p v q" so equivalentes como apresentado na tabela de verdade em baixo.

P V V F F

Q V F V F

P > Q V F V V

~P F F V V

~P V Q V F V V

Equivalncia: p> q <==> ~p v q

P V V F F

Q V F V F

P > Q V F V V

Q > P V V F V

~P > ~Q V V F V

~Q > ~P V F V V

Proposies associadas a uma condicional

Proposio reciproca: p > q : q > p Proposio contrria: p > q : ~p > ~q Proposio contra positiva: p > q : ~q > ~p

Equivalncias: p > q <==> ~q > ~p e q > p <==> ~p > ~q

Augustus de Morgan
Matemtico ingls, nascido na ndia, em 1806, e falecido em 1871. Autor de inmeros trabalhos em vrias reas da matemtica, definiu e introduziu o conceito de induo matemtica numa base rigorosa. Forneceu uma interpretao geomtrica dos nmeros complexos. Reconhecendo a natureza puramente simblica da lgebra, introduziu as leis chamadas de De Morgan em lgica matemtica, a sua maior contribuio para o pensamento matemtico.

Leis de Morgan
Da autoria do ilustre matemtico ingls Augustus De Morgan (1806-1871), podemos separ-las em Primeiras Leis de Morgan e Segundas Leis de Morgan. As primeiras podem ser indicadas de vrias formas, dependendo do contexto a estudar. Podemos utiliz-las em operaes lgicas sobre proposies ou em operaes sobre conjuntos.

Primeiras Leis de Morgan:


Sendo p e q duas proposies e ~, e , respetivamente, os smbolos das operaes lgicas negao, conjuno e disjuno, as Primeiras Leis de Morgan podem ser apresentadas simbolicamente por:

1. ~(p q) = ~p ~q cujo significado : "negar a simultaneidade de p e q afirmar pelo menos no p ou no q".

2. ~(p q) = ~p ~q cujo significado : "negar a ocorrncia de pelo menos p ou q afirmar nem p nem q".

Mas, se considerarmos A e B dois conjuntos e , , , respetivamente, os smbolos da interseo, reunio, complementar de A e complementar de B, as Primeiras Leis de Morgan podem ser apresentadas simbolicamente por:

cujo significado : "o complementar da interseo de dois conjuntos igual reunio dos complementares dos conjuntos iniciais"

cujo significado : "o complementar da reunio de dois conjuntos igual interseo dos complementares dos conjuntos iniciais".

Segundas Leis de Morgan:


As Segundas Leis de Morgan permitem-nos efetuar a negao de proposies com quantificadores (universais e existenciais). Dada a expresso proposicional (ou condio) p(x), em que x A, conjunto de nmeros reais, a expresso x A: p (x) l-se: "para todo o elemento de A, verifica-se p", ou seja, qualquer que seja o valor de A pelo qual substitumos x, p(x) transforma-se numa proposio verdadeira. Por outro lado, a expresso x A: p(x) l-se: "existe pelo menos um elemento de A que verifica p", ou seja, significa que existe pelo menos um valor da varivel x, para a qual a p(x) se transforma numa proposio verdadeira.

Neguemos ambas:

As negaes destas duas proposies constituem ento as Segundas Leis de Morgan.