Revendo Lgica Proposicional

Considere as frmulas proposicionais e . A frmula implica logicamente quando a frmula ( ) uma tautologia. Notao: |= ou A frmula equivale logicamente quando a frmula ( ) uma tautologia. Notao: |=| ou

Relaes entre frmulas

Regras de Deduo
Esta lista (incompleta) de implicaes e equivalncias lgicas nos fornece um elenco de regras de reescrita, denominadas regras de deduo. Considere V uma tautologia, isto , qualquer frmula proposicional cuja tabela-verdade s possua valores-verdade Verdadeiro, F uma contradio, toda frmula com tabela-verdade contendo somente valores-verdade Falso, e quaisquer frmulas proposicionais , , , .

Simplificao Adio Conjuno Modus Ponens Modus Tollens Silogismo Disjuntivo Silogismo Hipottico Dilema Construtivo Dilema Destrutivo

F |= |= V |= |= , |= ( ) |= ( ) ( ) |= ( ) |= ( ) ( ) |= ( ) ( ) ( ) |= ( ) ( ) (( ) ( )) |= ( ) ( )
Regras de Equivalncia |=| |=| |=| |=| ( ) |=| ( ) ( ) |=| ( ) V |=| F |=| F |=| F V |=| V ( ) |=| F ( ) |=| V

Regras de Inferncia

Idempotente Comutativa Associativa Elemento Neutro Elemento Zero

Princpio da no contradio Princpio do terceiro excludo

Dupla Negao Distributivas Absoro Semi-absoro De Morgan

Forma disjuntiva do Condicional

( ) |=| ( ) |=| ( ) ( ) e ( ) |=| ( ) ( ) ( ) |=| e ( ) |=| e ( ( )) |=| ( ) ( (( ) )) |=| ( ) e ( (( ) )) |=| ( ) ( ) |=| ( ) ( ) e ( ) |=| ( ) ( ) |=| ( )

Negao do Condicional Regra de Clavius

( ) |=| ( ) (( ) ) |=|
1

Forma disjuntiva do Bicondicional

|=| ( ) ( )
( ) |=| ( ( )) (( ) ) ( ) |=| ( )

Negao do Bicondicional
Fortalecimento da Hiptese ou Importao/Exportao

Contrapositiva Reduo ao Absurdo

|=| ( ) ( ) |=| ( ( )) F

Tcnicas de Demonstrao
A maioria dos enunciados (ou proposies) encontrados na Matemtica do tipo Se considerando-se um determinado conjunto de hipteses (ou premissas) ento tem-se uma certa tese (ou concluso). Estes enunciados quando verdadeiros so denominados teoremas. Quando o enunciado verdadeiro, deve-se apresentar uma argumentao finita, denominada demonstrao para o teorema. Quando o enunciado no se verifica, isto , possvel satisfazer as hipteses, mas no a tese, apresenta-se um caso em particular denominado contra-exemplo. Considere as frmulas 1 ,K, n , e o enunciado Se 1 K n ento As frmulas 1 ,K, n so denominadas hipteses ou premissas e a tese ou concluso. Uma demonstrao ou deduo ou prova direta de um enunciado uma seqncia finita de frmulas 1 , K , m onde m a tese, isto , m = e para todo i = 1,K , m 1 , i :
uma hiptese, isto , i { 1 ,K, n } ou o resultado da aplicao de uma regra de deduo nas frmulas anteriores na seqncia ou um axioma ou um resultado j demonstrado anteriormente.

Quando existe uma demonstrao diz-se que o enunciado demonstrvel ou dedutvel, isto , um teorema. Notao: 1 K n ou 1 ,K, n OBS: O termo axioma originrio da palavra grega (axioma), que significa algo que considerado ajustado ou adequado, ou que tem um significado evidente. Entre os filsofos gregos antigos, um axioma era uma reivindicao que poderia ser vista como verdadeira sem nenhuma necessidade de prova. A palavra axioma como usada na Matemtica moderna significa um ponto de partida num sistema lgico. Outro termo para axioma postulado. Um axioma uma base elementar num sistema formal lgico que, juntamente com as regras de inferncia, definem a lgica.
Wikipedia
2

Uma demonstrao por reduo ao absurdo ou por contradio para o enunciado Se 1 K n ento uma demonstrao direta do enunciado por Se 1 K n ( ) ento F . Considere o enunciado Se ento . Uma demonstrao por contrapositiva uma demonstrao direta do enunciado por Se ( ) ento ( ) .

Princpio de Induo
O Princpio da Induo Finita ou da Induo Matemtica trata de conjuntos de nmeros naturais, mas fundamenta um poderoso mtodo para demonstrao da validade de proposies para conjuntos infinitos, denominado Demonstrao ou Prova por Induo. O Princpio da Induo Finita ou da Induo Matemtica : Seja A N tal que: 1. 0 A e 2. Se n A ento n + 1 A . Ento A = N .

Demonstrao por Induo

Primeiro Princpio de Induo Finita (ou Esquema Fraco de Demonstrao por Induo) Seja P uma proposio sobre nmeros naturais. Para mostrar que vale a proposio P para todo n N (ou n N {0} ), suficiente mostrar os seguintes passos: 1) Base da Induo Provar que a proposio P vale para 0 (ou 1). 2) Passo da Induo Hiptese da Induo (HI): Supor que vale a proposio P para todo k N . Provar que a proposio P vale para k + 1 . Logo, vale a proposio P para todo n N .

Exemplos de Demonstrao por Induo em n: n 1) P ( n ) : 1 + 2 + 3 + ... + n = ( n + 1) , para todo n N {0} . 2 base: Vale a proposio para n = 1 ? 1 1 = (1 + 1) 2 Logo, P(1) verdadeira. passo: (HI) Considere a proposio P (k ) verdadeira para k N {0}, k > 1 , isto , k 1 + 2 + ... + k = ( k + 1) . 2 ( k + 1) P( k + 1) verdadeira ? Isto , 1 + 2 + ... + ( k + 1) = ( k + 2) ? 2 ( k + 1) k + ( 2k + 2) k 2 + 3k + 2 k 1 + 2 + ... + k + ( k + 1) = ( k + 1) + ( k + 1) = = 2 2 2 ( k + 1) ( k + 1) ( k + 2) = = ( k + 2) 2 2 Logo, vale a proposio P ( n ) para todo n N {0} .
3

2) P ( n ) : 1 + 3 + 5 + ... + ( 2n 1) = n 2 , para todo n N {0} . base: Vale a proposio para n = 1 ? 1 = 12 Logo, P(1) verdadeira. passo: (HI) Considere a proposio P ( k ) verdadeira para k N {0}, k > 1 , isto , 1 + 3 + 5 + ... + ( 2k 1) = k 2 . P( k + 1) verdadeira ? Isto , 1 + 3 + 5 + ... + ( 2( k + 1) 1) = ( k + 1) 2 ? 1 + 3 + 5 + ... + ( 2k 1) + ( 2( k + 1) 1) = k 2 + ( 2k + 2 1) = k 2 + 2k + 1 = ( k + 1) 2 Logo, vale a proposio P (n ) , para todo n N {0} . Exerccios: Usando induo sobre n N , mostre que: 1) 2 + 4 + K + 2n = n(n + 1) 2) 2 + 6 + K + (4n 2) = 2n 2 (2n + 1) 3) 12 + 2 2 + ... + n 2 = n (n + 1) 6 n(n + 1)(2n + 7) 4) 1 3 + 2 4 + K + n (n + 2) = 6 n 5) n < 2 6) n + 1 2 n 7) n + 1 < n 2 , n > 1 8) 2 n n! , n 4 9) (Desigualdade de Bernoulli) 1 + na (1 + a) n , sendo a Z, a 1 e n 1 . 10) 2 2 n 1 divisvel por 3 11) 2 3n 1 divisvel por 7 12) (Torre de Hanoi) Objetos: n discos perfurados de dimetros decrescentes so colocados em uma haste H1. Duas outras hastes H2 e H3. Objetivo: Transferir toda a pilha de discos para a haste H3, deslocando um disco de cada vez para qualquer haste, de modo que nenhum disco seja colocado sobre um outro de dimetro menor. Seja a n o menor nmero de jogadas que resolve o jogo com n discos. Considere que, se n = 1 ento a1 = 1 e se n 2 ento a n = 2a n 1 + 1 . Mostre que: Se n 1 ento a n = 2 n 1 .

Segundo Princpio de Induo Finita (ou Esquema Forte de Demonstrao por Induo) Seja b N. Para mostrar que vale a proposio P para todo n N, n b , suficiente mostrar os seguintes passos que compem a Prova por Induo. 1. Base da Induo: Provar que P(b) verdadeira. 2. Passo da Induo: (HI) Para todo r N , vale a proposio P para todo k N, b k r . Provar que a proposio P vale para r + 1 . Ento, vale a proposio P para todo n N, n b.