Vous êtes sur la page 1sur 3

RACIOCNIO LGICO rocope9002@gmail.

com (julho/09)

1. TABELA VERDADE

2. EQUIVALNCIA LGICA

Conjuno
... e ... [ ^ ]

V apenas se ambas forem verdadeiras


F demais casos

Disjuno
... ou ... [ v ]

V houve no mnimo uma V


F apenas se ambas forem F

PeQ=QeP
P e P = P ou P = P
P e (P ou Q) = P
P ou (P e Q) = P

Disj. Exclusiva
Ou ... ou [ v ]

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

Bicondicional
Se e somente se []

V ambas tiverem os mesmos valores lgicos


F tiverem os valores lgicos diferentes

Condicional
Se... ento ... [ ]

Nenhum A B = Todo A no B

3. DIAGRAMAS DE VENN
COM NMEROS

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


2
1

3
2

e(^)

ou ( v )

se.. .ento...
( )

ou...ou... ( v )

se e
somente se
( )

TAUTOLOGIA
CONTRADIO
CONTINGNCIA

ltima coluna
da
Tabela Verdade

V
F
h valores V e F

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

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
2

Algum A
no B

Todo A B
Nem todo B A

Algum B no A

comear a montar o diagrama a partir


das intersees (de dentro para fora),
sempre subtraindo os valores
(TIPO 1B) ALGUM ... ...

B
Algum Algum B
A B no A

(TIPO 2) JOGO DE PALAVRAS


feio no feio / no feio bonito
todo no todo / no todo nada
alto no alto / no alto baixo

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

Nenhum A B

Nenhum B A

(TIPO 4) NO VERDADE QUE

(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

- o conjunto proposto falso


- pode ser dos trs tipos anteriores
- o conjunto complementar V

- 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

Resoluo:

- relao entre pessoas e objetos: a quem pertence o que

(1) Diagramas (de Venn):

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.

5. LGICA DA ARGUMENTAO
Utilizado quando (observar nas premissas):
1 Diagramas

todo, nenhum e algum

2 Tabela-Verdade

No mximo duas proposies simples


(deve-se sempre preferir esse mtodo)

3 premissas = V
testar concluso= V

4 premissas = V
concluso = F

H proposio simples ou uma conjuno (e)


concluso: proposio simples ou disjuno
(ou) ou condicional (se...ento)

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

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

(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

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


alternativas.

P1: ~DB ~BD


P2: FuD
P3: D~Fu
P4: ~Fu~B

[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;

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)

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

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

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

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

C rn =

n!
r!.(n r )!

Com Repetio: cada elemento


pode ser contado + de uma vez.

C rn =

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

Vous aimerez peut-être aussi