VANTAGENS E UTILIDADE DA LGICA Clarificar e analisar o pensamento e a linguagem; Assegurar a eficcia demonstrativa do pensamento; Garantir a correco formal do raciocnio

nio e a coerncia do discurso, Definir conceitos, ordenar as noes, obter concluses formalmente rigorosas.

EXPRESSES DA LINGUAGEM MATEMTICA

Termo ou designao - expresso cujo papel nomear, ou designar alguma coisa. Proposio - expresso que traduz uma afirmao sobre a qual se possa decidir se verdadeira ou falsa.
Uma orao declaratria (ou afirmao) falsa ou

verdadeira, mas no ambas. uma proposio.

Oraes exclamativas, interrogativas ou imperativas por natureza no so proposies.

Princpios da lgica matemtica

I- princpio da no-contradio: uma

proposio no pode ser verdadeira e falsa (ao mesmo tempo). II- princpio do terceiro excludo: toda a proposio ou verdadeira ou falsa (isto , verifica-se um destes casos e nunca um terceiro).

O valor lgico de uma proposio

verdade falso se a prop. for verdadeira se a prop. for falsa

denota-se por V ou 1 denota-se por F ou 0

Duas proposies dizem-se equivalentes quando tm o mesmo valor lgico, isto , so ambas verdadeiras ou ambas falsas.

OPERAES LGICAS SOBRE PROPOSIES

Fazemos afirmaes obtidas a partir de outras mais simples

Por exemplo: 3 no um nmero par 15 impar e mltiplo de 3 2 > 1 ou 3 < 1 Se sou um ser humano, ento sou mortal Vou praia se e s se estiver bom tempo.

PROPOSIES COMPOSTAS
- quando formada pela combino de duas ou mais proposies usando conectivos lgicos
conectivos lgicos , , , ,

OPERAES LGICAS

Negao, conjuno, disjuno, implicao, equivalncia Associadas aos smbolos , , , ,

NEGAO ()
Chama-se negao de uma proposio p a proposio representada por no p cujo valor lgico a verdade (V) se p falsa e a falsidade (F) se p verdadeira. Simbolicamente: p.

p V F

p F V

NEGAO () A negao de sempre existe uma vez que no. A negao de nunca existe uma vez que. A negao de p e q p ou q . A negao de p ou q p e q .

Quais negaes das proposies esto correctas?

1. A resposta 2 2 ou 3.

a) A resposta nem 2 nem 3. b) A resposta no 2 ou no 3. c) A resposta no 2 e no 3.

2. Pepinos so verdes e tm sementes.

a) Pepinos no so verdes e no tm sementes. b) Pepinos no so verdes ou no tm sementes. c) Pepinos so verdes e no tm sementes.

Quais negaes das proposies esto correctas?

3.

2 < 7 e 3 mpar.

a) b) c) d)

2 > 7 e 3 par. 2 7 e 3 par. 2 7 ou 3 mpar. 2 7 ou 3 par.

CONJUNO E DISJUNO
p V V F F q V F V F pq V F F F pq V V V F

IMPLICAO
Sendo p e q proposies, a implicao de p por q, representa-se por , p q e l-se p implica q ou se p ento q. p designada antecedente e q consequente p uma condio suficiente para q e q uma condio necessria para p A implicao falsa quando o antecedente for verdadeiro e o consequente falso

TABELA VERDADE
p V V F F q V F V F p q V F V V

 A implicao no traduz necessariamente uma relao de causaefeito entre as afirmaes, mas apenas uma relao entre os valores lgicos das duas proposies originais e o valor lgico da nova proposio
Ex: 2 par a terra um planeta ( uma prop. Verdadeira, no entanto no h qualquer relao de causa-efeito entre as duas afirmaes)

 A cada implicao entre duas proposies costume associar outras trs implicaes:

- implicao recproca - Implicao contrria - Implicao contra-recproca

implicao recproca
O antecedente o consequente da primeira e o consequente o antecedente da primeira Ex: Se choveu ento eu plantei rvores Se plantei rvores ento choveu

Implicao contrria
O antecedente a negao do antecedente da primeira e o consequente a negao do consequente da primeira Ex: Se choveu ento eu plantei rvores Se no choveu ento eu no plantei rvores

Implicao contra-recproca
O antecedente a negao do consequente da primeira e o consequente a negao do antecedente da primeira Ex: x2 = 1 x = 1 x 1 x2 1

A implicao contra-recproca a contrria da recproca da primeira

EQUIVALNCIA
Sendo p e q proposies, a equivalncia entre p e q, representa-se por , p q e l-se p equivalente a q ou p se e s se q. condio necessria e suficiente sse ( se e s se) A equivalncia verdadeira quando p e q tm o mesmo valor lgico

TABELA VERDADE
p
V

q
V

p q
V

V
F

F
V

F
F

A equivalncia entre duas

proposies no traduz necessariamente uma relao entre o contedo destas proposies, mas apenas uma relao entre os seus

valores lgicos

TABELA VERDADE: Nmero de linhas

Cada proposio simples tem dois valores V ou

F, que se excluem. Para n proposies distintas,

h tantas possibilidades quantos so os arranjos

com repetio de 2 (V e F) elementos n a n.

Segue-se que o nmero de linhas da tabela

verdade 2n. Assim, para duas proposies so

22 = 4 linhas; para 3 proposies so 23 = 8; etc.

Propriedades das operaes

( p) p p ( p) f ( f proposio falsa) p ( p) v (v proposio verdadeira)
Demonstrao da 1

( p)

( p) p

V
F

F
V

V
F

V
V

Propriedades da conjuno e da disjuno

p q q p ( a conjuno comutativa) (p q) r p (q r ) ( a conjuno associativa) v p p (p uma prop. verd.) f p f ( uma prop. falsa)

V o elemento neutro para a conjuno F o elemento absorvente para a conjuno

Propriedades da conjuno e da disjuno

p q q p ( prop. comutativa) (p q ) r p (q r) (prop. associativa) f p p ( f uma prop. falsa)
F o elemento neutro para a disjuno

v p v ( v uma prop. verdadeira)

V o elemento absorvente para a disjuno p (q r) (p q) (p r) a conjuno distributiva relativamente disjuno p (q r) (p q) (p r) a disjuno distributiva relativamente conjuno

Primeiras Leis de De Morgan

Dizer que a negao da disjuno de duas proposies verdadeira o mesmo que dizer que a conjuno das negaes das duas proposies verdadeira

(p q) = p q

Primeiras Leis de De Morgan

Dizer que a negao da conjuno de duas proposies verdadeira o mesmo que dizer que a disjuno das negaes das duas proposies verdadeira

(p q) = p q

Propriedades da implicao
p q p q p q p q (p q) ( q p)
Uma implicao e sua contra-recproca tm o mesmo valor de verdade

(p q) (q r) (p r)

Propriedades da equivalncia
(p q ) (q p) ( a equivalncia comutativa) (p q ) p q q p (sendo
verdadeira diz-se que p condio necessria e suficiente )

(p q ) p q

Proposies e conectivos
Estrutura Verdade se ambos forem V Falsa se um dos dois for F

pq

pq
pq

um dos dois for V

demais casos

ambos forem F
pVeqF

pq p

p e q forem iguais pF

P e q forem diferentes pV