Anotaes de aula Michiko Raciocnio Lgico Prof.

Josimar Padilha

Lgica formal

A) Sentenas
I) Expresso
II) Subdiviso
1. Aberta
2. Fechada
III) Representao
IV) Simbolizao
1. Simples
2. Composta

B)Leis do pensamento
I) Princpio da Identidade
II) Principio do no-contraditrio
III) Princpio do 3. Excludo

C)Mtodo da experimentao

D)Mtodo da Contradio

E) Mtodo da associao
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Lgica formal

Lgica Formal Trabalha apenas com a estrutura da informao e a forma do pensamento

No interessa a interpretao do contedo apenas como funciona a estrutura
Possui linguagem prpria para impedir as interpretaes subjetivas
Lgica Estudo da lgica o estudo de princpios e mtodos que visam diferenciar o que certo do errado.
Existem diversos mtodos

A) Sentenas Expresso de um pensamento COMPLETO

Obs: Pensamento proposio premissas ou hipteses
SENTENA = sujeito + predicado
EX: Hoje Choveu
Algo declarado Aquilo a que se refere o sujeito

EX: Se Lula pernambucano (V), ento Pel maratonista (F)

(E) Essa proposio verdadeira Errada pela interpretao do contedo, a semntica.

EX: Todo cachorro verde

Todo verde vegetal
Logo, todo cachorro vegetal
(V) Essa proposio verdadeira

Obs: Quando o examinador der o conceito ao qual deve-se fazer a comparao com as proposies determinadas, para se atribuir valor,
a considera-se o contedo. Ex: De acordo com o artigo 5. Da CF...
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

I) Expresso Como expressar os pensamentos completos ou sentenas?

a) Sentena Afirmativa EX: Jos passou no concurso
b) Sentena Negativa EX: No gosto de futebol
c) Sentena Exclamativa EX: Que dia lindo!
d) Sentena Interrogativa EX: Qual o seu nome?
e) Sentena Imperativa EX: Estude bastante.

Obs: Existem sentenas que no podem ser valoradas (sentena apenas um pensamento completo). VALORAR
interpretar como VERDADEIRA ou FALSA.
Obs: Lgica de 1. Ordem = lgica das sentenas
Obs: Proposio funcional pode substituir a incgnita por uma quantidade pr-determinada
Obs: Se tem quantificador lgico uma proposio EX: Existir, Se...ento, Todo...

II) Subdiviso de sentenas

1. Aberta
No se pode determinar o sujeito
No se pode determinar se VERDADEIRAS ou FALSAS
Quando no possvel valorar
Foram retomadas no sc XIX, com a idia de quantificadores lgicos.
EX: ELE no passou no concurso
EX: X + 3 = 9
Obs: Os quantificadores lgicos de X + 3 = 9 so: x; x; x.
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

2. Fechada
Chamadas de proposies
Expressam pensamento em sentido completo
EX: JOO passou no concurso
Tipo das sentena
Afirmativas Fechadas Pode ocorrer ABERTA
Negativas Fechadas Pode ocorrer ABERTA
Exclamativas Abertas Pode ocorrer FECHADA (se conseguir contextualizar)
Imperativas Abertas -
Interrogativas Abertas -
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

III) Representao
Por letras maisculas ou minsculas. EX: p, q, r, s.

IV) Simbolizao
1. Simples
Pensamento completo
Bsicas, primitivas, tomos
Expressam apenas 1 pensamento

2. Composta
Frmulas proposicionais, frmulas, molculas.
Expressam mais de 1 pensamento

B) Leis do pensamento
So sentenas que quando valoradas se tornam proposies
Princpios fundamentais da lgica proposicional

I) Princpio da Identidade se qualquer enunciado VERDADEIRO, ento ele VERDADEIRO

II) Principio do no-contraditrio Nenhum enunciado VERDADEIRO E FALSO
III) Princpio do 3. Excludo Um enunciado VERDADEIRO OU FALSO (no existe um 3. Valor; se existir excludo)
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

C) Mtodo da experimentao
Em questo de VERDADE e MENTIRA
1.) Verifico as possibilidades
2.) Perceber que todos podem fazer parte de um mesmo grupo
3.) Experimeta-se pegando-se a sentena mais simples e comeando a atribuir valor a ela

P Q
Sentena mais simples
V Verifica-se se P for VERDADEIRA, ento qual a funo de Q
F Idem

4.) Use sempre a informao mais simples para comear a anlise

5.) Nesse mtodo, pode-se ter todas as possibilidades, pois no h certeza do tipo que fala a verdade e do que mente.

D) Mtodo da contradio
Quando existe uma contradio impossvel ter 2 verdades ou 2 mentiras. S poder haver VF ou FV.
Ex: A diz X B diz no-X
A diz que B mente
1.) Aqui se tem certeza de que tem verdades e mentiras
2.) Quando aparecerem argumentos que nitidamente esto em contradio (A diz X e B diz no-X, ou A diz que B mente)

E) Mtodo da associao
Feito por tabela, na qual se cruzam todos as variveis fornecidas (tipo aquelas revistinhas de lgica)
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Conectivos lgicos na linguagem formal

A) Reviso

I) Sentenas
II) Princpios
III) Mtodos
IV) Proposio
V) Argumentos

B) Operadores lgicos Linguagem da lgica formal

I) Conjuno
II) Disjuno
III) Disjuno exclusiva
IV) Condicional
V) Bicondicional
VI) Negao
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Conectivos lgicos na linguagem formal

A) Reviso

I) Sentenas

1) Afirmativas fechadas
2) Negativas fechadas
3) Exclamativas abertas ou fechadas
4) Imperativas abertas
5) Interrogativas abertas

II) Princpios

1) No-contradio
2) Terceiro excludo
3) Identidade

III)Mtodos

1) Experimentao
2) Contradio
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

IV) Proposio

1) Simples (apenas 1 idia)

2) Compostas (mais de uma idia)

V) Argumentos
Argumento vlido as verdades das premissas garantem a verdade da concluso
Argumento invlido se tudo que falou for verdade, mas a concluso for falsa
1) Argumento dedutivo a concluso no tem idia de amplitude; ela fruto exclusivo das premissas
(no inclui nada novo)
2) Argumento indutivo o que a cincia precisa; no trabalhado na lgica
Dentro da lgica existem os argumentos:
1) Premissas ou hipteses
2) Concluses ou teses

B) Operadores lgicos Linguagem da lgica formal

Na matemtica existem operadores para se trabalhar com nmeros: +, -, . ,

Dentro dessa idia, na lgica dos operadores matemticos, existem aqueles que a partir da conexo de proposies
simples produziro proposies compostas (a 3. proposio)
Operadores lgicos conectam e at modificam os pensamentos
A linguagem da lgica formal no apode mudar (o contedo no interessa)
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Conectivos lgicos so utilizados para produzir novas proposies:

SIMPLES COMPOSTA
DO conectivo mais forte para o mais fraco:

v ^ v

Esses conectivos determinam a relao entre os termos. E pela hierarquia se define os parnteses antes ou depois do
conectivo. Na mesma hierarquia, se coloca no termo que se deseja das destaque (nfase).

I) Conjuno
E
MAS
TANTO...QUO (QUANTO)
Smbolo ^
Na matemtica x (multiplicao)
Nos conjuntos
P^Q Q^P
Possui propriedade comutativa, pois o smbolo indica equivalncia, ou seja, as operaes produzem os mesmos
resultados.
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

EX:
P: Jos passou no concurso
Q: Maria foi ao comrcio
P^Q: Jos passou no concurso E Maria foi ao comrcio

II) Disjuno ou disjuno inclusiva

OU
Smbolo v
Na matemtica + (soma)
Nos conjuntos
PvQ QvP
Possui propriedade comutativa, pois o smbolo indica equivalncia, ou seja, as operaes produzem os
mesmos resultados.

EX:
P: Jos passou no concurso
Q: Maria foi ao comrcio
PvQ: Jos passou no concurso OU Maria foi ao comrcio

III) Disjuno exclusiva

OU...OU
Smbolo v ,
Na matemtica + (soma)
Nos conjuntos (P-Q) (Q-P)
PvQ QvP
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Possui propriedade comutativa, pois o smbolo indica equivalncia, ou seja, as operaes produzem os
mesmos resultados.
Aqui no entra quem faz as duas proposies (os elementos na interseco dos conjuntos)
Cespe s utiliza quando cita no comando da questo, e usualmente o faz com o smbolo (caso contrrio
apenas ou v)

EX:
P: Jos passou no concurso
Q: Maria foi ao comrcio
PvQ: OU Jos passou no concurso OU Maria foi ao comrcio

IV) Condicional
SE...ENTO
QUANDO
Smbolo
P Q : PCQ (SE P ento Q, logo P est contido em Q)
Parece que tem relao entre antecedente e consequente, mas NO TEM.
Pode ser estruturada com os termos: Q consequente de P; Quem P Q (Ex: Quem estuda passa)
No CESPE, quando o consequente (aps o conectivo) composto, ele vem entre parnteses; (e colocar entre
parnteses o que est dentro do parnteses no faz diferena)
Pela ordem, resolve-se o antecedente primeiro, pois ele que determina o consequente
SE anuncia o antecedente; ENTO anuncia o consequente
Pelo diagrama dos conjuntos, pelo smbolo e nem pela ordem dos termos possvel comutar o NICO que
no tem a propriedade comutativa
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

De P para Q = Condio suficiente

(antecedente) P Q (consequente)
De Q para P = condio necessria

EX:
P: Jos passou no concurso
Q: Maria foi ao comrcio
P Q: SE Jos passou no concurso ENTO Maria foi ao comrcio
QUANDO Jos passou no concurso , Maria foi ao comrcio

V) Bicondicional
SE E SOMENTE SE
Smbolo (a condicional vai e volta)
Na linguagem formal (P Q) ^ (Q P)
Na linguagem dos conjuntos (PCQ) (QCP)
(P Q) (Q P)
Aqui os conjuntos so iguais
Possui propriedade comutativa
P condio necessria E suficiente para Q
Pode ocorrer isso na prova: Maria fez X como condio necessria para Y.
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

EX:
P: Jos passou no concurso
Q: Maria foi ao comrcio
P Q: Jos passou no concurso SE E SOMENTE SE Maria foi ao comrcio

VI) Negao
NO (use somente para negar proposies simples)
FALSO QUE
NO VERDADE QUE
Smbolo ~ (a condicional vai e volta)
NO CONECTA apenas MODIFICA um modificador lgico
Tanto faz a diagramao: (Q ^ P) ou a diagramao: (Q^P)
(P^Q) para negar uma proposio composta use apenas os modificadores: FALSO QUE e NO
VERDADE QUE, para impedir ambiguidades
.
EX:
P: Jos passou no concurso
Q: Maria foi ao comrcio
(P^Q): NO VERDADE QUE Jos passou no concurso E Maria foi ao comrcio
FALSO QUE Jos passou no concurso E Maria foi ao comrcio
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Tabela-verdade

A) Linhas
B) A tabela
1) Com 2 termos
2) Com 3 ou mais termos
C) Tabela-verdade
1) Conjuno
2) Disjuno
3) Disjuno exclusiva
4) Condicional
5) Bicondicional
6) Negao
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Conectivos lgicos na linguagem formal

A) Linhas
Nmeros de linhas de uma tabela 2n

Numero de valoraes Proposies

Onde n o nmeros de proposies na questo; e 2n o numero de linhas na tabela (= o resultado da potenciao)

Exemplos:

1) Apenas um termo P
2n = 21 = 2
So 2 linhas:
P
V
F
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

2) P^Q
2n = 22 = 4
So 4 linhas:
P Q
V V
V F
F V
F F

3) (P^Q) Q
2n = 22 = 4
So 4 linhas

4) (P^Q) R
2n = 23 = 8
So 8 linhas

5) (P Q) ^(SvR)
2n = 24 = 16
So 16 linhas
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

B) A tabela
1) Com 2 termos
No importando a ordem de colocao das valoraes porm, interessante comear com V (sempre)

P Q
V V
V F
F V
F F

2) Com 4 ou mais linhas

Ex: (P Q) ^(SvR)
2n = 24 = 16
So 16 linhas
Independente do numero de linhas:
1. Numero de linhas da coluna 1 2 = numero a ser preenchido com V (a outra parte com F)
2. Numero de linhas da coluna 1 com V 2 = numero a ser preenchido com V (a outra parte com F)
3. Numero de linhas da coluna 1 com F 2 = numero a ser preenchido com V (a outra parte com F)
4. Numero de linhas da coluna 2 com V 2 = numero a ser preenchido com V (a outra parte com F)
5. Numero de linhas da coluna 2 com F 2 = numero a ser preenchido com V (a outra parte com F)
6. ....
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

P Q S R
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

C) Tabela-verdade
1) Conjuno
E
MAS
TO...QUANTO
^
P^Q Q^P
P Q

P Q P^Q Elemento no conjunto

V V V Pq o elemento Z esta na rea comum dos conjuntos
Propriedade V F F Pq uma interseco, e o elemento X no est na rea comum

Comutativa F V F Pq uma interseco, e o elemento Y no est na rea comum

F F F Pq o elemento W no est em nenhum dos conjuntos
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

2) Disjuno
OU
v
PvQ QvP
P Q

P Q PvQ Elemento no conjunto

V V V Pq o elemento Z esta na rea comum dos conjuntos
Propriedade V F V Pq uma unio, e o elemento X est na rea comum

Comutativa F V V Pq uma unio, e o elemento Y est na rea comum

F F F Pq o elemento W no est em nenhum dos conjuntos
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

3) Disjuno exclusiva
OU...OU

v
PvQ QvP
(P-Q) (Q-P)

P Q PvQ Elemento no conjunto

V V F Pq o elemento Z esta na rea comum dos conjuntos
Propriedade V F V Pq uma unio de diferenas, e o elemento X est na rea comum

Comutativa F V V Pq uma unio de diferenas, e o elemento Y est na rea comum

F F F Pq o elemento W no est em nenhum dos conjuntos
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

4) Condicional
SE...ENTO
CONSEQUENTEMENTE

P Q Q P
PCQ

P Q PvQ Elemento no conjunto

V V V Pq o elemento X pertence ao conjunto P, que pertence ao conjunto Q
V F F Pq uma relao de incluso, e o elemento X pertence a P e Q
F V V Pq o elemento Y pertence apenas ao conjunto Q
F F V Pq o elemento W no est em nenhum dos conjuntos
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

5) Bicondicional
SE E SOMENTE SE

P Q Q P
P=Q
(PCQ) (QCP)

P Q PvQ Elemento no conjunto

V V V Pq o elemento X esta na rea comum dos conjuntos
Propriedade V F F Pq os conjuntos so iguais, no h possibilidade de X ser apenas do P

Comutativa F V F Pq os conjuntos so iguais, no h possibilidade de X ser apenas do Q

F F V Pq o elemento W no est em nenhum dos conjuntos
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

6) Negao

P P
V F
F V

Obs: Em relao aos conjuntos:

Conjuno
Disjuno Relao de pertinncia
Disjuno exclusiva

Condicional
Relao de incluso
Bicondicional
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Tautologia e afins

A) Tautologia
B) Contradio
C) Contingncia
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Conectivos lgicos na linguagem formal

A) Tautologia

Proposio composta = frmula

Proposio composta (2 ou mais proposies simples) ser SEMPRE afirmativa Tautolgica se for SEMPRE V
Proposio composta sempre V, independente dos valores que se atribui aos seus termos
Ou no apresenta sada a sua prpria lgica interna ( circular)
Ou fala a mesma coisa com outras palavras (parfrase)
Exemplo:
(A B) (A v B) Se V, ento tautologia
1. Primeiro passo verificar o numero de linhas = 2 termos, ento 22 = 4 linhas
2. Montar tabela com coluna para todos os termos
3. verificar pela tabela-verdade se CADA afirmativa COMPOSTA verdadeira
4. Verificar se a afirmativa composta que se afirma ser tautologia, realmente uma, tambm verificando a tabela-
verdade, entre os termos compostos que a COMPEM

A B A A B A v B (A B) (A v B)
Como todas as
V V F V V V
possibilidades so
V F F F F V verdadeiras, ento uma
F V V V V V AFIRMATIVA
TAUTOLGICA
F F V V V V
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Quando a tabela for muito grande (exigir muitas linhas), faa por conjunto (conforme conectivo lgico exigir) ver exerccio 5 da
pagina 108 do livro:
[(P Q) ^ (Q R)] (P R)
1. A tabela precisaria ter 8 linhas, pois so 3 termos simples = 23= 8
2. Pela proposio, e pensando em conjuntos PCQ e QCR, pois o conectivo lgico o Se...ento.
3. No termo antecedente tem-se PCQCR, e todo esse termo est para PCR, do termo consequente:

PCQ ^QCR PCR PCQ ^QCR PCR

V V V
F F V
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

B) Contradio
a negao da tautologia
Uma proposio composta, formada por 2 ou mais proposies, uma contradio ou contravlida se ela for SEMPRE F,
independente da verdade de seus termos.

C) Contingncia
Sempre que a proposio composta no for uma tautologia e nem uma contradio
Verifica-se pela construo da tabela-verdade
Preposies contingentes ou proposies indeterminadas
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Equivalncias lgicas

A) Conceito
B) Leis
1) Distributiva
2) Condicional
3) Comutativa
4) DeMorgan
5) Dupla negao
6) Bicondicional
7) Associativa
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

Conectivos lgicos na linguagem formal

A) Conceito
Sempre cai em provas
Duas proposies, ou dois pensamentos, so equivalentes quando produzem o mesmo efeito, ou o mesmo resultado (TEM AS
MESMAS VALORAES)
Ex: 2 x 3 = 3 x 2 (produzem os mesmos resultados, mas so operaes matemticas diferentes)

So equivalentes quando formadas PELAS MESMAS PROPOSIES SIMPLES

Ex: Os resultados produzidos nas tabelas-verdade so iguais em:
E P E ^ P
V V

F F

V V

V V

S produzir resultados idnticos no suficiente preciso que as proposies simples sejam as mesmas
Smbolo

B) Leis
Existem leis que verificam a equivalncia:
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

1) Distributiva
A v (B^C) (A v B) ^ (A v C)
A ^ (B v C) (A ^ B) v (A ^ C) demonstrao:

A B C BvC A ^ (B v C) A^B A^C (A ^ B) v (A ^ C)

V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

2) Condicional
A B B A
Demonstrao:
A B A v B

A B B A: tambm chamada de contra positiva ou contra recproca

a que mais cai em provas.
Quando aparecer o OU (v) na questo, pode-se pensa primeiro na lei condicional

A B A B A B B A A v B
V V F F V V V
V F F V F F F
F V V F V V V
F F V V V V V

3) Comutativa
A^B B^A
AvB BvA
AvB BvA
A B B A
A B B A
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

4) De Morgan
(A v B) (A) ^ (B)
(A ^ B) (A) v (B) demonstrao:

A B A B A^B (A^B) (A) v (B)

V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V

5) Dupla negao
(A) A
A A (A)
V F V
F V F
Anotaes de aula Michiko Raciocnio Lgico Prof. Josimar Padilha

6) Bicondicional
A B (A B) ^ (B A)

A B A B B A A B (A B) ^ (B A)
V V V V V V
V F F V F F
F V V F F F
F F V V V V

7) Associativa
Segundo professor, ele nunca viu cair em prova.
(A ^ B) ^ C A ^ (B ^ C)
(A v B) v C A v (B v C)