Raciocínio Lógico

ESTRUTURA LÓGICA DE RELAÇÕES ARBITRÁRIAS.
- Estabelecer associações
- Montar tabela (ok=confirma; X= falsa)
- Quando confirmar algum item marcar X na coluna e linha respectiva.
Exemplo:
Três técnicos: Amanda, Beatriz e Cássio trabalham no banco – um deles no
complexo computacional, outro na administração e outro na segurança do
Sistema Financeiro, não respectivamente. A praça de lotação de cada um
deles é: São Paulo, Rio de Janeiro ou Porto Alegre. Sabe-se que:
- Cássio trabalha na segurança do Sistema Financeiro.
- O que está lotado em São Paulo trabalha na administração.
- Amanda não está lotada em Porto Alegre e não trabalha na administração.
Com base nas informações, coloque V ou F nas afirmativas abaixo:
complexo administração Sistema São Porto Rio de
computacional Financeiro Paulo Alegre Janeiro
Amanda OK X X X X OK
Beatriz X OK X OK X X
Cassio X X OK X OK X
1-Cassio está lotado no Porto Alegre. (Verdadeiro)

2-Amanda trabalha no complexo computacional e está lotada no Rio de
Janeiro. (Verdadeiro)
3 - Beatriz está em São Paulo (Verdadeiro)
DIAGRAMAS LÓGICOS
Representação: TODO- 1º conjunto dentro do 2º conjunto

Ex: todo vascaíno é feliz
ALGUM – representa a interseção

Ex: Algum, vascaíno é feliz.
NENHUM – o 1º longe do segundo

Ex: nenhum vascaíno é feliz.
Exemplo: Se todo A é B e todo B é C então:
(A) Nenhum A é C falso

(B) Todo B é C Verdadeiro
(C) Todo B é A falso
(D) Todo C é A falso
(E) Todo C é B falso
Dica: toda as questões que derem todo e algum são necessários dois casos e tem que estar nos
dois casos para ser verdadeiro.
Ex 2:Sejam as afirmações:
-todo policial é forte
Existem policiais altos (existem = alguns)
1º caso 2º caso
Considerando que as afirmações são verdadeiras, então, com certeza. É correto afirmar que:
(a) Todo policial alto não é forte falso
(b) Todo policial forte é alto falso
(c) Existem policias baixos e fracos falso
(d) Algum policial alto não é forte falso
(e) Algum policial forte é alto verdadeiro
Ex 3:Sejam as afirmações:
1- Alguns matemáticos são professores
2- Nenhum físico é matemático
Então, é necessariamente verdade que
(a) Algum professor é físico falso
(b) Nenhum professor é físico falso
(c) Algum físico é professor falso
(d) Algum professor não é físico verdadeiro
(e) Nenhum físico é professor falso
PROBLEMAS LÓGICOS
Assistir: https://www.youtube.com/watch?v=JJrWz-UPWmo
PROPOSIÇÕES
Conceito: é todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido
completo e que, além disso, pode ser julgado como verdadeiro ou falso. (nunca as duas ao
mesmo tempo)
Dica: toda preposição apresenta VERBO.
Equações são preposições ex: 4+3=10 (quatro mais três é igual a dez; verbo é=ser) mesmo
estando certa ou errada a equação .
NÂO são proposições:
Frases IMPERATIVAVAS (Frases Imperativas: ocorrem quando o emissor da mensagem dá

uma ordem, um conselho ou faz um pedido);
Frases EXCLAMATIVAS, frases INTERROGATIVAS.
Ex: Assinale a alternativa que identifica uma preposição.
(a) Feliz aniversário!

(b) Que dia é hoje?
(c) Se Pedro levantar mais cedo, então ele chegará no horário combinado.
(d) Leia com mais frequência
Resolução:
(a) Falso = Não tem verbo e é frase exclamativa.

(b) Falso= É frase interrogativa
(c) Verdadeiro = tem verbo, tem sentido e dá pra julgar verdadeiro ou falso
(d) Falso= frase imperativa
PROPOSIÇÕES COMPOSTAS.
Conceito: uma proposição composta (molécula) utiliza conectivos e pode ser dividida em
outras proposições.
Duas ou mais preposições simples formam uma composta;
Tabela de CONECTIVOS
Ex: Faz frio hoje e chove lá fora

p= Faz frio hoje conectivo = e q = chove lá fora
ou seja, P^q ou P e q,
CONSTRUÇÃO DA TABELA VERDADE.

Primeiro passo:
Encontrar o número de linhas da tabela verdade. Para isso devemos fazer 2^n onde n é a
quantidade de proposições simples (letras ou frases diferentes).
Segundo passo:
Distribuir V e F nas letras(proposições) na tabela, para isso usamos a ideia do dobro.
Ideia do dobro= começar do final para inicio e toda vez que trocar de letra(proposição) dobrar o
V ou F, começar sempre com 1 (1 verdadeiro e 1 falso).
Terceiro passo.
Utilizamos a TABUADA LÓGICA dos conectivos para encontrarmos o resultado que é a
TABELA VERDADE daquela proposição composta.
MONTANDO A TABELA VERDADE.
1 PASSO = Duas proposições A, B 2^2=4 linhas
2-PASSO = COMPLETE B (V,F,V,F) A(V,V,F,F)
3-PASSO TABUADA LÓGICA
A B AʌB AᴠB A B A→B A↔B
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
A ʌ B = tudo V da V resto é F
A ᴠ B = tudo F da F resto é V
A B = iguais da F diferente da V
A→B = V seguido de F da F resto é tudo V
A↔B = iguais da V diferentes F
TAUTOLOGIAS: Se na tabela verdade o resultado todas forem V(verdadeiras) é tautologia
CONTRADIÇÃO: Se na tabela verdade o resultado todas forem F (falsas) é contradição
CONTIGÊNCIA: Se na tabela verdade o resultado está misturado V e F é contingência
EX: A proposição (A ʌ B) → (A ᴠ B) é uma tautologia, uma contradição ou uma contingência?
A B AʌB AᴠB (A ʌ B) → (A ᴠ
B)
V V V V V
V F F V V
F V F V V
F F F F V
Resposta= é uma tautologia
IMPLICAÇÃO LÓGICA
Aplicação lógica das proposições, tabela dos conectivos e tabela verdade.
Uma proposição P implica logicamente ou apenas implica uma proposição Q, se Q é verdadeira
todas as vezes que P por verdadeira.
Sempre que P é verdadeira Q é verdadeira
Assistir: https://www.youtube.com/watch?v=GYCruO0oWNI
https://www.youtube.com/watch?v=kodDjmFOzdk
EQUIVALÊNCIA LÓGICA
- Dada uma sentença(frase) uma equivalência é uma outra sentença com o mesmo significado.
- Tabela verdade iguais.
Leis De Morgan
~ símbolo de não
Regra e = ~(p e q) = ~ p ou ~ q Regra ou = ~(p ou q) = ~ p e ~ q
Negação do conectivo E é OU e a negação do conectivo OU é E.
Exemplo: dê a negação de: “Hoje é segunda e amanhã não chovera”
Negação: Hoje não é segunda ou amanhã chovera
Exemplo 2: dê a negação de:“2+3=5 ou 17 é primo”
Negação: 2+3 ≠ 5 e 17 não é primo
Equivalências do se,... então. (90% das questões) Regra = ~ (p→q) = p e ~ q
Interverter a ordem e negar as proposições.
Exemplo: Se estudo, então passo.
Possibilidade 1
Se não passo, então não estudo. (contra positiva) p → q = ~ q → ~ p
Possibilidade 2
Trocar o se,...então por ou, Negar o começo e repetir o final.
Não estudo OU passo (silogismo disjuntivo)
Exemplo: Se passo e vou embora, então fico feliz e choro.
Possibilidade 1: se não fico feliz ou não choro, ou não passo ou não vou embora.
Possibilidade 2:não passo ou não vou embora, ou fico feliz e choro.
ARGUMENTAÇÃO E DEDUÇÃO LÓGICA.

Resumo de argumentação.
- Definição: é uma sequência de afirmações(proposições) que tem como finalidade gerar um
resultado.
- Tabela verdade
E= tudo V
Ou = Pelo menos um V
OU ... OU= valores diferentes
SE,... ENTÃO = não pode aparecer V com F
SE E SOMENTE SE = valores iguais
- Método das premissas verdadeiras.
1º PASSO: Considerar que todas as afirmações são verdadeiras;
2º PASSO: Procurar uma proposição simples ou conjunção (proposição composta).
3º PASSO: efeito dominó
Exemplo: Jogo futebol ou jogo baralho.

Canto ou não jogo futebol.
Não jogo baralho ou durmo.
Ora, não durmo.
Assim,
(a) Não jogo futebol e não jogo baralho
(b) Não jogo baralho e não canto
(c) Canto e jogo futebol
(d) Não durmo e não jogo futebol
SENTENÇAS ABERTAS
- Sentenças abertas são aquelas que possuem uma ou mais variáveis.
Exemplo:
FCC – BAHIa – 2010 – “se a soma dos dígitos de um numero inteiro n é divisível por 6, então n
é divisível por 6”.
Um valor de n que a mostra ser FALSA a frase acima é:
(a) 30 (3+0)=3 F → 30/6 = 5 V V
(b) 33 (3+3)=6 V → 33/6=5,5 F F resposta
(c) 40 (4+0)=4 F → 40/6=6,6 F V
(d) 42 (4+2)=6 V → 42/6= 7 V V
(e) 60 (6+0)=6 V → 60/6=10 V V
DICA: Divisão só considerar V números inteiros.
SE,... ENTÃO = não pode aparecer V com F o restante é V.
QUANTIFICADOR UNIVERSAL ou EXISTENCIAIS

Quantificador universal (usualmente ∀) é o símbolo usado para denotar o universo de
quantificação, informalmente lido como "para todo". É utilizado quando queremos nos referir a
todos os elementos de um conjunto.
Quantificador existencial é a predicação de uma propriedade ou relação para, pelo menos, um

elemento do domínio. O operador lógico ∃ é usado para denotar a quantificação existencial.
Diferencia-se do universal porque não se refere a todos os elementos de um conjunto.
Quantificador existencial de unicidade: Na matemática e na lógica, a frase "existe um e

apenas um" é usada para indicar que existe exatamente um objeto com uma determinada
propriedade. Na lógica matemática, este tipo de quantificação é conhecido como quantificação
de unicidade ou quantificação existencial única. A quantificação de unicidade costuma ser
denotada com os
símbolos "∃! " ou ∃=1". Por exemplo, a declaração formal
pode ser lida como "existe exatamente um número natural n tal que n - 2 = 4"
Traduzindo formulas para frases:

∀x ∈ R, x2 ≥ 0.
– Todos números reais têm quadrados não-negativos.
• ∃m ∈ Z | m2 = m.
– Existe um número inteiro cujo quadrado é igual a ele mesmo.
• Todos os triângulos têm três lados.

– ∀ triângulos t, t tem três lados.
• Alguns programas são estruturados.

– ∃ programas p tal que p é estruturado.
Negação de proposições quantificadas.

- negação:
Todo = Pelo menos um
Existe um + NÂO
algum
Nenhum = Pelo menos um
Existe um
Algum
Algum = todo + não
Nenhum
Exemplo
Tipo de proposição quantificada Exemplo
Proposição universal afirmativa Todo recifense é pernambucano.
Proposição universal negativa Nenhum recifense é pernambucano.
Proposição existencial afirmativa Algum recifense é pernambucano.
Proposição existencial negativa Algum recifense não é pernambucano.
Observe que a proposição universal negativa “Nenhum recifense é pernambucano” equivale a

dizer que “Todo recifense não é pernambucano”. Dessa forma, a expressão “nenhum” pode ser
substituída pela expressão “todo… não …”.
Tudo que você precisa para negar uma proposição quantificada é saber como classificá-la. Por
essa razão, é muito importante conhecer os “apelidos” dos quantificadores. Observe a tabela a
seguir:
Tipo de proposição quantificada Exemplo
Proposição universal afirmativa Todo recifense é pernambucano.
Nenhum recifense é pernambucano.
Proposição universal negativa
Todo recifense não é pernambucano.
Algum recifense é pernambucano.
Existe recifense que é pernambucano.
Proposição existencial afirmativa Pelo menos um recifense é pernambucano.
Existe algum recifense que é pernambucano.
…
Algum recifense não é pernambucano.
Existe recifense que não é pernambucano.
Proposição existencial negativa Pelo menos um recifense não é pernambucano.
Existe algum recifense que não é pernambucano.
Isso pode ser resumido na seguinte tabela:
Proposição Negação
Universal afirmativa (“todo…”) existencial negativa (“algum… não”)
Universal negativa (“nenhum…” ou “todo…
existencial afirmativa (“algum…”)
não…”)
Universal negativa (“nenhum…” ou “todo…
existencial afirmativa (“algum…”)
não …”)
existencial negativa (“algum… não”) Universal afirmativa (“todo…”)
Nunca se nega o termo Todo com o termo

Nenhum e vice-versa.
Nunca se nega o termo Todo com Todo
Exemplo1: Qual a negação da proposição “

Nenhum professor é sofredor”?
 Algum professor é sofredor.
 Existe professor que é sofredor.
 Pelo menos um professor é sofredor.
Exemplo 2: Qual a negação da proposição de

“Alguém ganhou a aposta?”
 Ninguém ganhou a aposta.
Para negarmos o “Todo” utilizamos o

“algum” (pelo menos um ou existe) mais a
negação da frase.
Exemplo:
1) p : Todo concurseiro é persistente.
p : Nem todo concurseiro é persistente.
p : Há concurseiro que não é persistente.
p : Algum (Pelo menos um) concurseiro não é
persistente.
p : Existe concurseiro que não é persistente
ARGUMENTOS LÓGICOS
https://www.youtube.com/watch?v=mwqTuzBZ8PI
https://www.youtube.com/watch?v=rNnQMV5cFU4

Raciocínio Lógico

Enviado por

Direitos autorais:

Formatos disponíveis

Raciocínio Lógico

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Raciocínio Lógico

Enviado por

Direitos autorais:

Formatos disponíveis

ESTRUTURA LÓGICA DE RELAÇÕES ARBITRÁRIAS.

1-Cassio está lotado no Porto Alegre. (Verdadeiro)

Representação: TODO- 1º conjunto dentro do 2º conjunto

ALGUM – representa a interseção

NENHUM – o 1º longe do segundo

Exemplo: Se todo A é B e todo B é C então:

(A) Nenhum A é C falso

Frases IMPERATIVAVAS (Frases Imperativas: ocorrem quando o emissor da mensagem dá

Ex: Assinale a alternativa que identifica uma preposição.

(a) Feliz aniversário!

(a) Falso = Não tem verbo e é frase exclamativa.

Duas ou mais preposições simples formam uma composta;

Ex: Faz frio hoje e chove lá fora

CONSTRUÇÃO DA TABELA VERDADE.

ARGUMENTAÇÃO E DEDUÇÃO LÓGICA.

Exemplo: Jogo futebol ou jogo baralho.

QUANTIFICADOR UNIVERSAL ou EXISTENCIAIS

Quantificador existencial é a predicação de uma propriedade ou relação para, pelo menos, um

Quantificador existencial de unicidade: Na matemática e na lógica, a frase "existe um e

Traduzindo formulas para frases:

• Todos os triângulos têm três lados.

• Alguns programas são estruturados.

Negação de proposições quantificadas.

Observe que a proposição universal negativa “Nenhum recifense é pernambucano” equivale a

Isso pode ser resumido na seguinte tabela:

Nunca se nega o termo Todo com o termo

Exemplo1: Qual a negação da proposição “

Exemplo 2: Qual a negação da proposição de

Para negarmos o “Todo” utilizamos o

Você também pode gostar