EQUIVALÊNCIA DA AFIRMAÇÃO HIPOTÉTICOS Este tipo de argumento não tem premissa na forma de proposição simples. Todas as premissas são proposições compostas. Para resolver, escolhemos uma proposição simples de uma das compostas e damos a ela um valor lógico ( V ou F ). Analisamos toda a validade do argumento a partir daí. Se não houver contradição, significa que o valor adotado é correto. Caso contrário, reiniciamos todo o processo. CHUTE antecedente: “V” conseqüente: “F” EQUIVALÊNCIA DA AFIRMAÇÃO
EQUIVALÊNCIA DA NEGAÇÃO DIRETA Exemplo: p ^ q : Daniel é tricolor e vascaíno. ~ ( p ^ q ) : Não é verdade que Daniel é tricolor e vascaíno. OBS: Na negação direta, basta colocar um não ou uma negação no início da sentença. p ^ q : Daniel é tricolor e vascaíno. ~ ( p ^ q ) : Daniel não é tricolor ou não é vascaíno Negação: ~ ou ¬
Equivalência da Negação Proposição Negação Direta Equivalência da Negação p ^ q ~ ( p ^ q ) ( ~p v ~q ) p v q ~ ( p v q ) ( ~p ^ ~q ) p → q ~ p → q ( p ^ ~q ) p ↔ q ~ p ↔ q ( p ^ ~q ) v ( q ^ ~p) todo A é B não ( todo A é B ) algum A não é B algum A é B não (algum A é B ) nenhum A é B Proposição Equivalência p → q ~q ^ ~p ( ~p v q ) p ↔ q ( p → q ) ^ ( q → p ) ( ~p v q ) ^ ( ~q v p )
SEQÜÊNCIAS Progressão Aritmética Progressão Geométrica PROPRIEDADES DE POTÊNCIAS
SEQÜÊNCIAS: ATENÇÃO! Alfabéticas Numéricas Figuras Ordenação de elementos Números das letras Operações Primos Seqüências alternadas Seqüências de potências Simetrias