1. Estruturas lgicas.

2. Lgica de argumentao: analogias, inferncias, dedues e concluses.

3. Lgica sentencial (ou proposicional): proposies simples e compostas; tabelasverdade; equivalncias; leis de De Morgan; diagramas lgicos.
4. Lgica de primeira ordem.
5. Princpios de contagem e probabilidade.
6. Operaes com conjuntos.
7. Raciocnio lgico envolvendo problemas aritmticos, geomtricos e matriciais.

Proposies
Proposio simples: A menor partcula a ser estudada em lgica. Representada sempre por
uma letra (padro minsculo).
Apenas sentenas declarativas fechadas, pois s elas podem ser validadas.
Apenas podem ser V ou F, mas nunca os dois ao mesmo tempo.
No so imperativas, interrogativas, exclamativas, declarativas abertas (aritmticas
ou no).
Proposio composta: Formada por 2 ou mais simples, sempre unidas por um conectivo
lgico, com sua antecedente e consequente.
(((PeQ)ou(ReX))ou((TeM)ou(VeW)))

AAC = T
ACA = R
CCA = X
CAC = M

CCC = W
AAA = P
ACC = V
CAA = Q

Tautologia:
Negaes:
ou A ou B
A sss B (se,
e se Sempre V
A ou B (v)
A ento
B ()
Sempre
F
(ou...ou)
somente
se)

(p ^
q) negao de (~p
v Contradio:
Contingncia: Tem V e F
~q)
V
V
V
V
F
V
V

(p q) negao de (p ^
V
F
F
V
V
F
F
~q)
F
V
F
V
V
F
V

(p v q) negao de (~p ^
~q)
F
F
F
F
F
V
V

(p v q) negao de (p
Disjuno
2N
Conjuno
Disjuno
Bi condicional
Condicional
q)
exclusiva
*
Ao
se
colocar
ou...ou
entre
elas,
Equivalncias:

(p q) equivalente (~p v tornam-se tautologias

* Ao se colocar entre elas,
q)

(p q) equivalente (~q tornam-se contradies.

A e B (^)

~p)
~(p v q) equivalente (~p
^ ~q)

~(p ^ q) equivalente (~p

v ~q)

~(pq) equivalente (p ^
~q)
* Ao se colocar entre elas,
tornam-se tautologias.
* Ao se colocar V entre elas,
tornam-se contradies.

Lgica da Argumentao
AB
Afirmar o primeiro item da
Argumento Vlido
Argumento no Vlido
B C
concluso e seguir a ordem de Premissas V concluso V Premissas V concluso F
D A
validao. Depois com o
Premissas F concluso F Concluso V ou F
Concluso: B(C^D)
resultado, concluir novamente.Premissas F concluso V

Condicional Necessria
Somente se X, ento Y.
Afirmar de dentro = Afirmar de fora.
Afirmar de fora = No saber o de dentro.
Negar de dentro = No saber o de fora.
Negar de fora = negar o de dentro.

AB
A: Entrar na agua (B necessrio par A)
B: Irei me molhar (A suficiente para B) / Necessria e suficiente = se e se somente se

Verdades e Mentiras
1. Se no verdadeiro, mentiroso (mentira, pois o mentiroso pode falar a verdade)
2. Acusando algum de mentiroso, um mentiroso e o outro verdadeiro (tipologias
diferentes)
3. Acusando algum de verdadeiro, os dois so verdadeiros ou mentirosos (tipologias
iguais)
4. Perguntando se algum mente, ele s pode dizer no.
5. Perguntando se algum fala verdade, s pode dizer sim.

Combinatria
Arranjo
Combina
o

A(4,2
)
C
(4,2)

4x3
4x3
2x1

Quantificadores
Qualificao
Todo A B

Negao
Algum A no
B

a
b
Nenhum A B

Algum A B

Probabilidade
N de Casos
N favorvel de casos
Um e outro: multiplica
Um + Outro: soma

Circul 4pesso
ar
as

1
x

3
x

2
x 1

fi
x

1. Somente se Manuel homem ento Dirce Mulher

Abreu: Dirce homem e s fala mentiras
Manuel: Sou homem e Abreu mente
Dirce: Os dois mentem
Sabendo que qualquer um ou sempre mente ou sempre fala a verdade podemos afirmar
que Manuel mente?
(CERTO)
2. Mariana disse que eu estou gordo se e se somente se no fiz exerccios fsicos. Se fiz ou
no fiz, Mariana mentiu. Logo, ou estou gordo ou no fiz exerccios fsicos.
(CERTO)
3. No desenho abaixo, cada um dos quadros representa um caminho. Quer-se ir do A at B
utilizando s orientao vertical e horizontal no mesmo sentido.
a. Quantos caminhos h? (70)
b. Se colocar apenas uma utilizao diagonal? (140)
c. Se passar pelo ponto b? (30)
4. A soma das idades das irms, Kasilda e Minutia, de 24 anos. Se Kasilda nascesse 3
anos depois e minuteia 3 anos antes, elas seria gmeas. Qual a idade de ambas?
a. Kasilda 10, Minuteia ,14
b. Kasilda 14, Minuteia ,10
c. Kasilda 7, Minuteia 17
d. Kasilda 17, Minuteia 10
e. Kasilda 12, Minuteia 12
(Alternativa B)