RACIOCNIO LGICO rocope9002@gmail.

com (julho/09) 1

1. TABELA VERDADE 2. EQUIVALNCIA LGICA

Conjuno V apenas se ambas forem verdadeiras PeQ=QeP P Q = ~Q ~P
... e ... [ ^ ] F demais casos P e P = P ou P = P P Q = ~P ou Q
Disjuno V houve no mnimo uma V P e (P ou Q) = P PQ=QP
... ou ... [ v ] F apenas se ambas forem F P ou (P e Q) = P P Q = (P Q) e (Q P)
Condicional
Condio suficiente gera resultado necessrio Nenhum A B = Todo A no B Todo A B = Nenhum A no B
F somente quando V F (uma condio suficiente
Se... ento ... [ ]
no pode gerar um resultado falso)
Mutuamente Excludentes
3. DIAGRAMAS DE VENN
Disj. Exclusiva V valores lgicos diferentes
Ou ... ou [ v ] F nunca podero ser V ou F ao mesmo tempo COM NMEROS (TIPO 1A) TODO ... ...

Bicondicional V ambas tiverem os mesmos valores lgicos

Se e somente se [] F tiverem os valores lgicos diferentes 3 2 3
1 B Todo A B
2 2
A Nem todo B A
se.. .ento... se e
e(^) ou ( v ) ou...ou... ( v ) somente se 3 Algum B no A
() ( )
comear a montar o diagrama a partir
V V V V V F V das intersees (de dentro para fora),
sempre subtraindo os valores
V F F V F V F
(TIPO 1B) ALGUM ... ... (TIPO 1C) NENHUM ... ...
F V F V V V F
F F F F V F V
A B A B
TAUTOLOGIA ltima coluna V
CONTRADIO da F Algum A Algum Algum B
CONTINGNCIA Tabela Verdade h valores V e F no B A B no A Nenhum A B Nenhum B A

NEGAO (TIPO 2) JOGO DE PALAVRAS (TIPO 3) CONTRADIES

feio no feio / no feio bonito duas frases, ver se h contradio
Conjuno ~ (p ^ q) ~p v ~q
todo no todo / no todo nada entre elas
Disjuno ~ (p v q) ~p ^ ~q
alto no alto / no alto baixo Ex: Todo espio no vegetariano e
Condicional ~ (p q) p ^ ~q
algum vegetariano espio
Bicondicional ~ (p q) (p ^ ~q) v (q ^ ~p)
(TIPO 4) NO VERDADE QUE (TIPO 5) 2 FRASES, 3 CONJUNTOS

Todo A B Algum A no B - o conjunto proposto falso - relao de 2 em 2 conjuntos.

Algum A B Nenhum A B - pode ser dos trs tipos anteriores - montam-se trs alternativas: algum,
- o conjunto complementar V nenhum ou total contato entre eles.
RACIOCNIO LGICO rocope9002@gmail.com (julho/09) 2

4. DIAGRAMA LGICO Resoluo:

- relao entre pessoas e objetos: a quem pertence o que
(1) Diagramas (de Venn):
SEMPRE MONTAR TABELA: pessoas linhas; objetos colunas
Todo (tipo 1A); algum (tipo 1B); nenhum (tipo 1C).
TIPO 1:
Artur, Bernardo e Csar; Braslia, Parati e Santana; Cores cinza, verde (2) Tabela-Verdade:
e azul. Carro Artur: cinza; Carro Csar: Santana. Carro Bernardo: no a) Montar a Tabela Verdade com todas as premissas e adicionar uma
verde e no Braslia. As cores dos carros so: coluna para a concluso
Aps descobrir o que pertence a quem, cancelar outras linhas/colunas. b) Verificar quais so as linhas em que os valores lgicos das premissas
TIPO 2: h quem diz a verdade, mente e quem diz os 2. so verdadeiros. Destac-las.
Ana, Maria e Cludia; Vestidos: azul, branco e preto; A de azul: Ana c) Se nas linhas em que VL(Pi)=V, VL(C)=V, o argumento vlido;
est de Branco; Branco: Eu sou Maria; Preto: Cludia est de Se em ao menos numa linha o VL(C)=F, o argumento invlido
Branco; Ana sempre diz a verdade; Maria, s vezes; Cludia, mente. P Q P1: PQ P2: ~P C: ~Q
A partir da pessoa que diz a verdade, monta a tabela como se ela V V V F F
V F F F V
estivesse falando as frases e ver se tem sentido. F V V V F Contradio!
TIPO 3: duas frases; uma verdadeira, outra falsa F F V V V

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.
5. LGICA DA ARGUMENTAO
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

Utilizado quando (observar nas premissas): (a) (b)

1 Diagramas todo, nenhum e algum P1: P v Q = V se VL(~P) = V, ento VL(P) = F
No mximo duas proposies simples P2: ~P = V se VL(P v Q) = V e VL(P) = V, ento VL(Q) = V
2 Tabela-Verdade C: Q
(deve-se sempre preferir esse mtodo) (c) como VL(Q) = V, ento VL(C)=V : argumento vlido
3 premissas = V (4) Premissas verdadeiras e concluso falsa
H proposio simples ou uma conjuno (e)
testar concluso= V - mesma lgica do mtodo anterior, s que se verifica se a concluso
4 premissas = V concluso: proposio simples ou disjuno apresenta um argumento invlido, ou seja, supe-se que VL(C) = F.
concluso = F (ou) ou condicional (se...ento) - 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) 3

6. ESTRUTURAS LGICAS Se no durmo, bebo. Se estou furioso, durmo. Se durmo, no estou furioso. Se
no estou furioso, no bebo. Logo:
Utilizado quando a questo d as premissas e a concluso uma das P1: ~DB ~BD
alternativas. P2: FuD
P3: D~Fu
[1 TIPO]
P4: ~Fu~B
Uma das premissas apresenta somente uma forma de ser verdadeira
[proposio simples ou composta tipo conjuno (P1 e P2)] Encadeamento: Fu D ~Fu ~B D (P2 / P3 / P4 / P1)
Resoluo: 3 Mtodo de Validao de Argumentos Fu D ~Fu ~B D
1 V V V V V Contradio! Fu e ~Fu
a) considerar VL(Pi)=V, e descobrir os VLs das proposies simples.
2 F V V V V OK!
b) a partir dos VLs das proposies simples, encontrar qual a 3 F F V V V Contradio! D, Fu e ~Fu
alternativa que traz uma proposio com VL verdadeiro. 4 F F F V V Contradio! D, Fu e ~Fu
5 F F F F V Contradio! D, Fu e ~Fu
[2 TIPO] 6 F F F F F Contradio! Fu e ~Fu
Todas as premissas possuem mais de uma forma de ser verdadeira.
Concluso: No estou furioso (Fu:F), no bebo (~B:V) e dirijo (D:V)
H dois mtodos para sua resoluo
1 mtodo: semelhante ao tipo anterior com uma especificidade. 7. CONTAGEM
1. considerar todas as premissas verdadeiras;
2. atribuir um valor lgico (V ou F) para uma das proposies (A) PERMUTAO: n elementos em n posies diferentes.
simples;
P n n.( n 1).( n 2)...2.1 n!
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. (B) ARRANJO: grupos de r elementos a partir de n elementos, onde a
ordem importa.
2 mtodo: encadeamento lgico das premissas n!
Arn
1. modificar a segunda parte da condicional de uma premissa para (n r )!
que ela seja igual primeira parte da condicional da premissa
seguinte (C) COMBINAO: grupos de r elementos a partir de n elementos,
2. feita por tentativa e erro at que se encaixe uma premissa a onde a ordem no importante.
outra
Simples: cada elemento pode ser Com Repetio: cada elemento
3. montar uma tabela com tudo V e a partir da 2 linha, adicionar contado apenas uma vez pode ser contado + de uma vez.
um F at chegar a todas as colunas F
4. verificar se h alguma linha em que no haja contradio entre n! ( n r 1)!
C rn C rn
os valores lgicos das premissas (tipo P = V e ~P = V) r!.(n r )! r!.(n 1)!
dica: ocorre freqentemente o encadeamento do tipo (pq)=(~q~p).
para memorizar: inverte e troca (inverte a ordem e troca o sinal)