RESUMO 1

1 - Proposio
Proposo um conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. Exemplo: Brasilia a capital do Brasil. x>2. A lgica matemtica adora como regras fundamentais do pensamento os dois seguintes princpios: Principio da no contradio: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. Principio da terceiro excluido: Toda a proposio ou verdadeira ou falsa, isto , no existe um terceiro valor. Proposio simples (ou atmica) aquela que no contm nenhuma proposio como parte intefrante de s mesma. Proposio Composta (ou molecular) aquela formada pela combinao de duas ou mais proposies.

2 - Conectivos
Conectivos so palavras usadas para formar novas proposies a partir de outras. Conectivo Smbolo Exemplo(linguagem corrente/ simblica) e conjuno ^ Est chovendo e est frio (p^q) ou disjuno v Est chovendo ou est frio(pvq) ou disjuno v Ou est chovendo ou est frio (pvq) exclusiva se ... ento -> Se est chovendo ento est frio (p->q) condicional se e somente se <--> Est chovendo se e somente se est frio (p<-->q) bicondicional No ~ No est chovendo (~p) No verdade que No verdade que est chovendo ou est frio (~(pvq))

3 -Tabela-verdade
Tabela-verdade Para determinar o valor-verdade (V) ou (F) de uma proposio composta, usa-se um instrumento denominado tabela-verdade, na

qual figuram todas as possiveis combinaes dos valores-verdade das proposies simples. Para obter o nmero de linhas de uma tabela, basta usar a formula o nmero de proposies simples envolvidas.

2n, sendo n

Negao (~) A proposio representada por No p chama-se negao de uma proposio p. O valor lgico verdade (V) quando p falsa e falso (F quando p verdadeira). Como exemplificado na tabela verdade a seguir: p ~p 2n = 21 = 2 (2 linhas na tabela) V F F V Conjuno (^) tem valor lgico (V) se, e somente se, as duas proposies que a compem forem verdadeiras (V). p q p^q V V V 2n = 22 = 4 (4 linhas na tabela) V F F F V F F F F Disjuno (v) tem valor lgico (F) se, e somente se, as duas proposies que a compem forem falsas (F). p q pvq V V V 2n = 22 = 4 (4 linhas na tabela) V F V F V V F F F Disjuno exclusiva (v) tem valor lgico (V) se, e somente se, apenas uma de suas proposies que a compem obtiver valor verdadeiro (V). p q pvq V V F 2n = 22 = 4 (4 linhas na tabela) V F V F V V F F F Condicional (->) tem valor lgico (F) se, e somente se, a proposio antecedente for verdadeira (V) e a consequente for falsa (F).

p V V F F

q V F V F

p-->q V F V V

2n = 22 = 4 (4 linhas na tabela)

Bicondicional (<-->) tem valor lgico (V) se, e somente se, as duas proposies que a compes tiverem o mesmo valor. p q p<-->q V V V 2n = 22 = 4 (4 linhas na tabela) V F F F V F F F V Prioridades ( ) parenteses <--> Bicondicional --> Condicional ^ Conjuno, v Disjuno, v Disjuno exclusiva ~ negao

4 - Classificao das proposies quanto a tabelaverdade:

Tautologia quando o seu valor lgico sempre verdade(V), independente do valor lgico das proposies simples que a compem. Exemplo: ~(p^~p) p ~p p^~p ~(p^~p) V F F V F V F V o Implicao tautolgica uma proposio codicional tautolgica. Exemplo p^q --> p p q p^q p^q-->q V V V V V F F V F V F V F F F V

o Equivalncia tautolgica uma proposio bicondicional tautolgica. Exemplo ~(p^q) <-->(~pv~q) p q ~p ~q p^q ~( p^q) ~pv~q ~(p^q) <--> (~pv~q) V V F F V F F V V F F V F V V V F V V F F V V V F F V V F V V V Contradio quando o seu valor lgico sempre falso(F), independente do valor lgico das proposies simples que a compem. Exemplo: (p^q)^(~p^~q) p q ~p ~q p^q ~p^~q (p^q)^(~p^~q) V V F F V F F V F F V F F F F V V F F F F F F V V F V F Contingncia quando o seu valor lgico pode ser (V) ou (F), dependendo do valor de suas proposies simples. Exemplo: p--> ~p p ~p p--> ~p V F F F V V

BIBLIOGRAFIA:
FILHO, E. A.; Introduo Lgica Matemtica; Nobel, So Paulo, 2002.