RACIOCNIO LGICO rocope9002@gmail.

com (julho/09)

1. TABELA VERDADE
Conjuno ... e ... [ ^ ] Disjuno ... ou ... [ v ] Condicional Se... ento ... [ ] Disj. Exclusiva Ou ... ou [ v ] Bicondicional Se e somente se [] V apenas se ambas forem verdadeiras F demais casos V houve no mnimo uma V F apenas se ambas forem F Condio suficiente gera resultado necessrio F somente quando V F (uma condio suficiente no pode gerar um resultado falso) Mutuamente Excludentes V valores lgicos diferentes F nunca podero ser V ou F ao mesmo tempo V ambas tiverem os mesmos valores lgicos F tiverem os valores lgicos diferentes
se.. .ento... ( ) se e somente se ( )

2. EQUIVALNCIA LGICA
PeQ=QeP P e P = P ou P = P P e (P ou Q) = P P ou (P e Q) = P Nenhum A B = Todo A no B P Q = ~Q ~P P Q = ~P ou Q PQ=QP P Q = (P Q) e (Q P) Todo A B = Nenhum A no B

3. DIAGRAMAS DE VENN
COM NMEROS
3 2 2 1 2 3 3

(TIPO 1A) TODO ... ...

B A

Todo A B Nem todo B A Algum B no A

e(^)

ou ( v )

ou...ou... ( v )

V V F F

V F V F

V F F F

V V V F

V F V V
ltima coluna da Tabela Verdade

F V V F

V F F V

comear a montar o diagrama a partir das intersees (de dentro para fora), sempre subtraindo os valores (TIPO 1B) ALGUM ... ...

(TIPO 1C) NENHUM ... ...

A
Algum A no B

B
Algum Algum B A B no A

TAUTOLOGIA CONTRADIO CONTINGNCIA

V F h valores V e F

Nenhum A B

Nenhum B A

NEGAO
Conjuno Disjuno Condicional Bicondicional Todo A B Algum A B ~ (p ^ q) ~ (p v q) ~ (p q) ~ (p q) ~p v ~q ~p ^ ~q p ^ ~q (p ^ ~q) v (q ^ ~p) Algum A no B Nenhum A B

(TIPO 2) JOGO DE PALAVRAS feio no feio / no feio bonito todo no todo / no todo nada alto no alto / no alto baixo (TIPO 4) NO VERDADE QUE - o conjunto proposto falso - pode ser dos trs tipos anteriores - o conjunto complementar V

(TIPO 3) CONTRADIES duas frases, ver se h contradio entre elas Ex: Todo espio no vegetariano e algum vegetariano espio (TIPO 5) 2 FRASES, 3 CONJUNTOS - relao de 2 em 2 conjuntos. - montam-se trs alternativas: algum, nenhum ou total contato entre eles.

RACIOCNIO LGICO rocope9002@gmail.com (julho/09)

4. DIAGRAMA LGICO
- relao entre pessoas e objetos: a quem pertence o que

Resoluo: (1) Diagramas (de Venn): Todo (tipo 1A); algum (tipo 1B); nenhum (tipo 1C). (2) Tabela-Verdade: a) Montar a Tabela Verdade com todas as premissas e adicionar uma coluna para a concluso b) Verificar quais so as linhas em que os valores lgicos das premissas so verdadeiros. Destac-las. c) Se nas linhas em que VL(Pi)=V, VL(C)=V, o argumento vlido; Se em ao menos numa linha o VL(C)=F, o argumento invlido
P V V F F Q V F V F P1: PQ V F V V P2: ~P F F V V C: ~Q F V F V

SEMPRE MONTAR TABELA: pessoas linhas; objetos colunas TIPO 1: Artur, Bernardo e Csar; Braslia, Parati e Santana; Cores cinza, verde e azul. Carro Artur: cinza; Carro Csar: Santana. Carro Bernardo: no verde e no Braslia. As cores dos carros so: Aps descobrir o que pertence a quem, cancelar outras linhas/colunas. TIPO 2: h quem diz a verdade, mente e quem diz os 2. Ana, Maria e Cludia; Vestidos: azul, branco e preto; A de azul: Ana est de Branco; Branco: Eu sou Maria; Preto: Cludia est de Branco; Ana sempre diz a verdade; Maria, s vezes; Cludia, mente. A partir da pessoa que diz a verdade, monta a tabela como se ela estivesse falando as frases e ver se tem sentido. TIPO 3: duas frases; uma verdadeira, outra falsa Qual a classificao de Andr, Beto, Caio e Dnis? 1 Andr foi 1, Beto foi 2; 2 Andr foi 2, Denis foi 3; 3 Caio foi 2, Denis o 4 a) julgar qual V e qual F; ver se tem sentido. b) atribuir as frases s pessoas.

Contradio!

H contradio! Portanto, o argumento PQ e ~P invlido! (3) Premissas verdadeiras (testar concluso V) a) considerar VL(Pi)=V. b) utilizar o valor lgico das premissas atravs das operaes lgicas dos conectivos para descobrir o VL das proposies. c) Se VL(C)=V, o argumento vlido
(a) P1: P v Q = V P2: ~P = V C: Q (b) se VL(~P) = V, ento VL(P) = F se VL(P v Q) = V e VL(P) = V, ento VL(Q) = V (c) como VL(Q) = V, ento VL(C)=V : argumento vlido

5. LGICA DA ARGUMENTAO
Utilizado quando (observar nas premissas): 1 Diagramas 2 Tabela-Verdade 3 premissas = V
testar concluso= V

todo, nenhum e algum No mximo duas proposies simples (deve-se sempre preferir esse mtodo) H proposio simples ou uma conjuno (e) concluso: proposio simples ou disjuno (ou) ou condicional (se...ento)

4 premissas = V concluso = F

(4) Premissas verdadeiras e concluso falsa - mesma lgica do mtodo anterior, s que se verifica se a concluso apresenta um argumento invlido, ou seja, supe-se que VL(C) = F. - se aparecer alguma contradio nas premissas, indicando um valor lgico no falso para a concluso, ento o argumento vlido.

RACIOCNIO LGICO rocope9002@gmail.com (julho/09)

6. ESTRUTURAS LGICAS
Utilizado quando a questo d as premissas e a concluso uma das alternativas.

Se no durmo, bebo. Se estou furioso, durmo. Se durmo, no estou furioso. Se no estou furioso, no bebo. Logo: P1: ~DB ~BD P2: FuD P3: D~Fu P4: ~Fu~B Encadeamento: Fu D ~Fu ~B D (P2 / P3 / P4 / P1) 1 2 3 4 5 6 Fu V F F F F F D V V F F F F ~Fu V V V F F F ~B V V V V F F D V V V V V F Contradio! Fu e ~Fu OK! Contradio! D, Fu e ~Fu Contradio! D, Fu e ~Fu Contradio! D, Fu e ~Fu Contradio! Fu e ~Fu

[1 TIPO] Uma das premissas apresenta somente uma forma de ser verdadeira [proposio simples ou composta tipo conjuno (P1 e P2)] Resoluo: 3 Mtodo de Validao de Argumentos a) considerar VL(Pi)=V, e descobrir os VLs das proposies simples. b) a partir dos VLs das proposies simples, encontrar qual a alternativa que traz uma proposio com VL verdadeiro. [2 TIPO] Todas as premissas possuem mais de uma forma de ser verdadeira. H dois mtodos para sua resoluo 1 mtodo: semelhante ao tipo anterior com uma especificidade. 1. considerar todas as premissas verdadeiras;

Concluso: No estou furioso (Fu:F), no bebo (~B:V) e dirijo (D:V)

7. CONTAGEM
(A) PERMUTAO: n elementos em n posies diferentes.

2. atribuir um valor lgico (V ou F) para uma das proposies simples; 3. substituir este valor lgico (escolhido do 2 passo) nas premissas e
verificar se est correto, ou seja, no h alguma contradio entre os resultados obtidos. 2 mtodo: encadeamento lgico das premissas 1. modificar a segunda parte da condicional de uma premissa para que ela seja igual primeira parte da condicional da premissa seguinte 2. feita por tentativa e erro at que se encaixe uma premissa a outra 3. montar uma tabela com tudo V e a partir da 2 linha, adicionar um F at chegar a todas as colunas F 4. verificar se h alguma linha em que no haja contradio entre os valores lgicos das premissas (tipo P = V e ~P = V) dica: ocorre freqentemente o encadeamento do tipo (pq)=(~q~p). para memorizar: inverte e troca (inverte a ordem e troca o sinal)

P n = n.( n 1).(n 2)...2.1 = n!

(B) ARRANJO: grupos de r elementos a partir de n elementos, onde a ordem importa.

Arn =

n! (n r )!

(C) COMBINAO: grupos de r elementos a partir de n elementos, onde a ordem no importante. Simples: cada elemento pode ser contado apenas uma vez Com Repetio: cada elemento pode ser contado + de uma vez.

C rn =

n! r!.(n r )!

C rn =

(n + r 1)! r!.(n 1)!