prof.: jairo teixeira raciocÍnio lÓgico twitter@cejairoteixeira

129
Prof.: Jairo Prof.: Jairo Teixeira Teixeira RACIOCÍNIO LÓGICO www.jairoteixeira.com.br Twitter@cejairoteix

Upload: internet

Post on 17-Apr-2015

132 views

Category:

Documents


4 download

TRANSCRIPT

Page 1: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Prof.: Jairo TeixeiraProf.: Jairo Teixeira

RACIOCÍNIO LÓGICO

www.jairoteixeira.com.br Twitter@cejairoteixeira

Page 2: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

1) ProposiçãoÉ uma sentença declarativa.

Exemplos:

O céu é azul.Dois é par.Recife é a capital do Brasil.

Page 3: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

1) Proposição

Interrogativa: Que horas são ?

Exclamativa: Que beleza !

Imperativa: Levante-se.

Sentenças que não são declarativas, não são proposições.

Page 4: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

1) Proposição

OBSERVAÇÃO:

a)Sentenças abertas NÃO são consideradas proposições.

Exemplo: X é um número par.

Ele é um advogado.

b) Cuidado com essa frase: “Essa frase é falsa”.

Isso não é uma proposição, é um PARADOXO.

Page 5: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

1) (FCC) Das cinco frases abaixo, quatro delas têm uma mesma característica lógica em comum, enquanto uma delas não tem essa característica. •Que belo dia!•Um excelente livro de raciocínio lógico.•O jogo terminou empatado?•Existe vida em outros planetas do universo.•Escreva uma poesiaA frase que não possui essa característica comum é a:

a) I b) II c) III d) IV e) V

Page 6: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

2) (UnB/CESPE) Acerca de proposições, considere as seguintes frases.I) Os Fundos Setoriais de Ciência e Tecnologia são instrumentos de financiamento de projetos.II) O que é o CT-Amazônia?III) Preste atenção ao edital!IV) Se o projeto for de cooperação universidade-empresa, então podem ser pleiteados recursos do fundo setorial verde-amarelo. São proposições apenas as frases correspondentes aos itensA) I e IV. B) II e III. C) III e IV. D) I, II e III. E) I, II e IV.

Page 7: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

3) (UnB/CESPE) Na seqüência de frases abaixo, há três proposições.

•Quantos tribunais regionais do trabalho há na região Sudeste do Brasil?•O TRT/ES lançou edital para preenchimento de 200 vagas.•Se o candidato estudar muito, então ele será aprovado no concurso do TRT/ES.•Indivíduo com 50 anos de idade ou mais não poderá se inscrever no concurso do TRT/ES.

Page 8: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

4) (UnB/CESPE) A seqüência de frases a seguir contém exatamente duas proposições.

•A sede do TRT/ES localiza-se no município de Cariacica.•Por que existem juízes substitutos?•Ele é um advogado talentoso.

Page 9: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

5) (UnB/CESPE) Na lista de frases apresentadas a seguir, há exatamente três proposições.•“A frase dentro destas aspas é uma mentira”•A expressão X + Y é positiva.•O valor de 4 + 3 = 7.•Pelé marcou dez gols para a seleção brasileira.•O que é isto

Page 10: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) (UnB/CESPE) Há duas proposições no seguinte conjunto de sentenças:•O BB foi criado em 1980.•Faça seu trabalho corretamente.•Manuela tem mais de 40 anos de idade.

Page 11: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

2) Valor Lógico

Só existem dois valores lógicos: verdadeiro (V) e falso(F).

Toda proposição lógica ou é V ou é F.

Page 12: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

3) Tabela-Verdade

É uma tabela usada para determinar os valores das proposições compostas, a partir da atribuição de valores a suas proposições simples.

Page 13: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

3) Tabela-Verdade

x y x + y1 3 42 -5 -3-4 2 -2-1 -5 -6

Atribuição Operação

P Q P ↔ QV V FF F FV F VF V V

Page 14: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

3) Tabela-Verdade

Proposições compostas por um único termo:

PVF

Page 15: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

3) Tabela-Verdade

Proposições compostas por n termos:

Número de linhas = 2n

Page 16: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P Q

V V

V F

F V

F F

3) Tabela-Verdade

Proposições compostas por 2 termos:

Page 17: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P Q R

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

3) Tabela-Verdade

Proposições compostas

por 3 termos:

Page 18: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

7) (UnB/CESPE) Considerando que, além de A e B, C, D, E e F também sejam proposições, não necessariamente todas distintas, e que N seja o número de linhas da tabela-verdade da proposição [A (BC)] [(DE) F], então 2 N 64.

Page 19: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

8) (UnB/CESPE) O número de tabelas de valorações distintas que podem ser obtidas para proposições com exatamente duas variáveis proposicionais é igual a 24.

2n. de prop. = n. de linhas 2n. de linhas. = n. de tabelas

P Q OPERAÇÃO

V V V ou F

V F V ou F

F V V ou F

F F V ou F

22 = 4 linhas

24 = 16 tabelas

Page 20: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

4.1. O modificador lógico:

Negação: “Não” (~) (O CESPE usa )

P ¬PV FF V

4) Operadores Lógicos

Page 21: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

4) Operadores Lógicos

“O mar é azul”

“O mar NÃO é azul”

“A cadeira NÃO está quebrada”

“A cadeira está quebrada”

“Paulo está desempregado”

“Paulo está empregado”

OBSERVAÇÃO:

Page 22: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

4.2. Conectivos Lógicos:

4.2.1. Conjunção: “E” ()

P Q P QV V V

V F F

F V F

F F F

4) Operadores Lógicos

Mas …Apesar de …Embora …

Page 23: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P Q P QV V V

V F V

F V V

F F F

4) Operadores Lógicos

4.2. Conectivos Lógicos:

4.2.2. Disjunção: “Ou” ()

Page 24: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P Q P QV V F

V F V

F V V

F F F

4) Operadores Lógicos

4.2. Conectivos Lógicos:

4.2.3. Disjunção Exclusiva: “Ou..., ou ...” ()

Page 25: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

4) Operadores Lógicos

4.2. Conectivos Lógicos:

OBSERVAÇÃOOBSERVAÇÃO: : Como ou bebo, mas não ambos. (Exclusiva)

Ou como, ou bebo, ou ambos. (Inclusiva)

Page 26: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

4) Operadores Lógicos

4.2. Conectivos Lógicos:

4.2.4. Condicional: “Se..., então ...” (→)

P Q P →Q

V V V

V F F

F V V

F F V

Page 27: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

4) Operadores Lógicos

4.2. Conectivos Lógicos:

4.2.4. Condicional: “Se..., então ...” (→)

P → QSe P, então Q.Q, se P.Quando P, Q.Sempre que P, Q

Todo P é Q.P, logo Q.P implica Q.P, conseqüentemente Q.

Page 28: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

OBSERVAÇÃO:OBSERVAÇÃO:

VACA ANIMAL

SUFICIENTE NECESSÁRIAE

E

TÃO

4) Operadores Lógicos

Page 29: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

4) Operadores Lógicos

A é condição necessária para B. B → A

C é condição suficiente para D. C → D

Page 30: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P Q P Q

V V V

V F F

F V F

F F V

4) Operadores Lógicos

4.2. Conectivos Lógicos:

4.2.5. Bi-Condicional: “Se, e somente se, ...” (↔)

Page 31: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

4) Operadores Lógicos

4.2. Conectivos Lógicos:

4.2.5. Bi-Condicional: “Se, e somente se, ...” (↔)

A é condição necessária e suficiente para B.

A ↔ B

Page 32: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

4) Operadores Lógicos

OBSERVAÇÃO:

→ ↔Prioridades:

Page 33: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Exemplo 1: Construa a tabela-verdade para as proposições abaixo:

a) P Q

P Q

V V

V F

F V

F F

Q

F

V

F

V

P Q

V

F

F

V

Page 34: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

b) P ↔ Q

P Q

V V

V F

F V

F F

P

F

F

V

V

P ↔ Q

F

V

V

F

Page 35: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

c) (P Q ) (P Q)

P Q

V V

V F

F V

F F

(P Q)

V

F

F

F

P Q

V

V

V

F

(P Q)

F

F

F

V

(P Q) (P Q)

F

V

V

V

Page 36: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P ↔ Q

V

V

F

F

F

F

V

V

P → R

V

F

V

F

V

V

V

V

d) (P ↔ Q) (P → R )

P Q R

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

(P ↔ Q) (P → R )

F

V

V

F

V

V

F

F

P ↔ Q

V

V

F

F

F

F

V

V

P → R

V

F

V

F

V

V

V

V

Page 37: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Exemplo 2: Determine o valor lógico de cada sentença abaixo:

a) 4 = 5 1 = 3

b) Três é ímpar ou 7 é par

c) Se Recife é a capital de Pernambuco, então

d) O Brasil é uma República se, e somente se,

dois mais três é igual a seis.

o racismo não é crime

(FALSO)

(VERDADEIRO)

(FALSO)

(FALSO)

Page 38: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

9) (UnB/CESPE) Na tabela abaixo, a última coluna da direita corresponde à tabela-verdade da proposição (¬A )B ¬(A B).

FFVV

VFVV

FFFV

FVFV

A B ¬A ¬AB ¬(AB) (¬A )B ¬(A B)V V VV F FF V VF F V

Page 39: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

10) (UnB/CESPE) Na tabela abaixo, a última coluna da direita corresponde à tabela-verdade da proposição ¬(AB) A (¬B).

A B ¬B ¬(AB) A(¬B) ¬(AB) A(¬B)V V FV F VF V VF F V

FVFV

FVVV

FVFF

VVFF

Page 40: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

11) (UnB/CESPE) Considere as proposições seguintes.Q: “Se o Estrela Futebol Clube vencer ou perder, cairá para a segunda divisão”;A: “O Estrela Futebol Clube vence”;B: “O Estrela Futebol Clube perde”;C: “O Estrela Futebol Clube cairá para a segunda divisão”.Nesse caso, a proposição Q pode ser expressa, simbolicamente, por ABC.

Page 41: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

12) (UnB/CESPE) Considere as proposições a seguir.R: “Ou o Saturno Futebol Clube vence ou, se perder, cairá para a segunda divisão”;A: “O Saturno Futebol Clube vence”;B: “O Saturno Futebol Clube perde”;C: “O Saturno Futebol Clube cairá para a segunda divisão”.Nesse caso, a proposição R pode ser expressa, simbolicamente, por A (BC).

Page 42: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

13) (UnB/CESPE) Considere as proposições abaixo.T: “João será aprovado no concurso do TRT ou do TSE, mas não em ambos”;A: “João será aprovado no concurso do TRT”;B: “João será aprovado no concurso do TSE”.Nesse caso, a proposição T estará corretamente simbolizada por (AB) [¬(AB)].

Page 43: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

14) (FCC) O manual de garantia da qualidade de uma empresa diz que, se um cliente faz uma reclamação formal, então é aberto um processo interno e o departamento de qualidade é acionado. De acordo com essa informação, é correto concluir que:a)a existência de uma reclamação formal de um cliente é uma condição necessária para que o departamento de qualidade seja acionado.b)a existência de uma reclamação formal de um cliente é uma condição suficiente para que o departamento de qualidade seja acionado.

Page 44: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

c) A abertura de um processo interno é uma condição necessária e suficiente para que o departamento de qualidade seja acionado.

d) Se um processo interno foi aberto, então um cliente fez uma reclamação formal.

e) Não existindo qualquer reclamação formal feita por um cliente, nenhum processo interno poderá ser aberto.

Page 45: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

15) (FCCTRF1R-2006) Se todos os nossos atos têm causa, então não há atos livres. Se não há atos livres, então todos os nossos atos têm causa. Logo:a) alguns atos têm causa se não há atos livres.b) todos os nossos atos têm causa se e somente

se há atos livres.c) todos os nossos atos têm causa se e somente

se não há atos livres.d) todos os nossos atos não têm causa se e

somente se não há atos livres.e) alguns atos são livres se e somente se todos os

nossos atos têm causa.

Page 46: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

16) (UnB/CESPE) A proposição simbólica (PQ)R possui, no máximo, 4 avaliações V.

P Q R (P Q) (P Q) RV V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

V

V

F

F

F

F

F

F

V

V

V

F

V

F

V

F

Page 47: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

17) (UnB/CESPE) Se as proposições A, B e D forem V, então é possível que as proposições E, C, E C, B E e A C (¬D) também sejam V.

A: VB: VD: V

E , C , E C , B E , A C (¬D)V V V V V F

F

Page 48: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

18) (UnB/CESPE) Para todos os possíveis valores lógicos atribuídos às proposições simples A e B, a proposição composta [A(¬B)] B tem exatamente 3 valores lógicos V e um F.

A B ¬B [A (¬B)] [A (¬B)] BV V

V F

F V

F F

F

V

F

V

F

V

F

F

V

V

V

F

Page 49: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

5) Tautologia, Contradição e Contingência

Observe a estrutura: P (P Q)

P Q P Q (P Q) P (P Q)

V V V F V

V F F V V

F V F V V

F F F V V

Tautologia

Page 50: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

5) Tautologia, Contradição e Contingência

Tautologia: É uma proposição lógica cujo valor é verdadeiro, para todas as atribuições feitas às proposições simples que a compõem.

Page 51: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Observe a estrutura: P P

ContradiçãoP P P P

V F F

F V F

5) Tautologia, Contradição e Contingência

Page 52: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

5) Tautologia, Contradição e Contingência

Contradição : É uma proposição lógica cujo valor é falso, para todas as atribuições feitas às proposições simples que a compõem.

Page 53: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Observe a estrutura: P P

ContingênciaP P P P

V F F

F V V

5) Tautologia, Contradição e Contingência

Page 54: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

5) Tautologia, Contradição e Contingência

Contingência : É uma proposição lógica cujo valor depende das atribuições feitas às proposições simples que a compõem.

Page 55: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

19) (UnB/CESPE) Independentemente dos valores lógicos atribuídos às proposições A e B, a proposição [(A B) (¬B)] (¬A) tem somente o valor lógico F.

[(A B) (¬B)] (¬A)

F

V

= V

Page 56: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

20) (UnB/CESPE) A proposição ¬( A B) (¬A )B é uma tautologia.

FFVV

VFVV

FFFV

FVFV

A B ¬A ¬AB ¬(AB) (¬A )B ¬(A B)V V VV F FF V VF F V

Page 57: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

21) (UnB/CESPE) A proposição A (¬B) ¬(AB) é uma tautologia.

A B ¬B ¬(AB) A(¬B) ¬(AB) A(¬B)V V FV F VF V VF F V

FVFV

FVVV

FVFF

VVFF

Page 58: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

22) (UnB/CESPE) Na tabela abaixo, a proposição [AB] [(¬B) (¬A)] é uma tautologia.

A B ¬A ¬B AB (¬B) (¬A) [AB] [(¬B) (¬A)]V VV FF VF F

[AB] [(¬B) (¬A)]

(¬B) (¬A)

Page 59: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

22) (UnB/CESPE) Na tabela abaixo, a proposição [AB] [(¬B) (¬A)] é uma tautologia.

A B ¬A ¬B AB (¬B) (¬A) [AB] [(¬B) (¬A)]V VV FF VF F

[AB] [AB]

Page 60: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

23) (FCC) Seja a sentença aberta A: (~p p) e a sentença B: “Se o espaço for ocupado por uma (I), a sentença A será uma (II)”. A sentença B se tornará verdadeira se I e II forem substituídos, respectivamente, por:a)tautologia e contingênciab)contingência e contingênciac)contradição e tautologiad)contingência e contradiçãoe)tautologia e contradição

Page 61: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

A: (~p p) B: “Se o espaço for ocupado por uma (I), a sentença A será uma (II)”. a)tautologia e contingênciab)contingência e contingênciac)contradição e tautologiad)contingência e contradiçãoe)tautologia e contradição

A: (~p p) TAUTOLOGIA

Page 62: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

A: (~p p) B: “Se o espaço for ocupado por uma (I), a sentença A será uma (II)”. a)tautologia e contingênciab)contingência e contingênciac)contradição e tautologiad)contingência e contradiçãoe)tautologia e contradição

A: V

Page 63: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

A: (~p p) B: “Se o espaço for ocupado por uma (I), a sentença A será uma (II)”. a)tautologia e contingênciab)contingência e contingênciac)contradição e tautologiad)contingência e contradiçãoe)tautologia e contradição

A: V V

Page 64: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

A: (~p p) B: “Se o espaço for ocupado por uma (I), a sentença A será uma (II)”. a)tautologia e contingênciab)contingência e contingênciac)contradição e tautologiad)contingência e contradiçãoe)tautologia e contradição

A: F V

Page 65: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

A: (~p p) B: “Se o espaço for ocupado por uma (I), a sentença A será uma (II)”. a)tautologia e contingênciab)contingência e contingênciac)contradição e tautologiad)contingência e contradiçãoe)tautologia e contradição

A: V/F V

Page 66: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

São proposições que apresentam a mesma tabela-verdade.

Page 67: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

x y (x + y)2 (x2 + 2xy + y2)1 2 9 90 4 16 162 3 25 254 2 36 36

P Q P Q Q PV V V VV F F FF V V VF F V V

Page 68: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

P Q P Q Q P P Q

V V F F V V

V F F V F F

F V V F V V

F F V V V V

Page 69: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

P Q P Q (P Q) P Q P Q

V V V F F F F

V F F V F V V

F V F V V F V

F F F V V V V

Page 70: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

P Q P Q (P Q) P Q P Q

V V V F F F F

V F V F F V F

F V V F V F F

F F F V V V V

Page 71: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

P Q P Q P P Q Q Q P

V V V F V F V

V F V F V V V

F V V V V F V

F F F V F V F

Page 72: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P Q P Q (P Q) Q P Q

V V V F F F

V F F V V V

F V V F F F

F F V F V F

6) Proposições Equivalentes

Page 73: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.1. P Q Q P

P Q

Q P

TEOREMADO

CONTRA-RECÍPROCO

Page 74: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.1. P Q Q P

Exemplos:

Se beber, não dirija

B D

D B

Page 75: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.1. P Q Q P

Exemplos:

Se não como, durmo.

C D

D C

Page 76: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.1. P Q Q P

Exemplos:

Penso, logo existo.

P E

E P

Page 77: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.1. P Q Q P

Exemplos:

Penso, logo existo.

P E P E

Page 78: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P Q P P Q P Q

V V F V V

V F F F F

F V V V V

F F V V V

Page 79: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.2. (P Q) P Q

6.3. (P Q) P Q

LEISDE

MORGAN

Page 80: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.2. (P Q) P Q

6.3. (P Q) P Q

LEISDE

MORGAN

Exemplos:

“Não é verdade que durmo e não aprendo”.

(D A) D A

Page 81: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.2. (P Q) P Q

6.3. (P Q) P Q

LEISDE

MORGAN

Exemplos:

“Não é verdade que não sou alto ou sou rico”.

( A R) A R

Page 82: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.4. (P Q) P Q ou Q P

Exemplos:

“Brinco ou estudo”.

(B E) B E ou E B

Page 83: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.4. (P Q) P Q ou Q P

Exemplos:

“Leio ou não entendo”.

(L E) L E

ou E L

Page 84: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.5. (P Q) P Q

Exemplos:

“Não é verdade que se ando não corro”.

(A C) A C

Page 85: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

6.5. (P Q) P Q

Exemplos:

“Não é verdade que se não como, bebo”.

( C B) C B

Page 86: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

6) Proposições Equivalentes

P Q Q P

(P Q) P Q

(P Q) P Q

(P Q) P Q ou Q P

(P Q) P Q

ou ( P Q)

Page 87: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

24) (UnB/CESPE) As proposições [A ( ¬B)] (¬A) e [(¬A) B] (¬A) são equivalentes.

[A ( ¬B)] (¬A) [(¬A) B] (¬A)

P Q P Q

Page 88: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

25) (UnB/CESPE) Considere todas as possíveis valorações V ou F atribuídas às proposições simples P, Q e R. Nesse caso, a proposição composta ¬[(P R) (Q R)] tem exatamente os mesmos valores lógicos da proposiçãoA) R [¬(P Q)].B) [(¬P) R] [(¬Q) R].C) [¬(P R)] [¬(Q R)].D) [P (¬R)] [Q (¬R)].E) (P Q) R.

Page 89: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

¬[(P R) (Q R)] ¬(P R) ¬(Q R)

[P (¬R)] [Q (¬R)]

Page 90: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

26) (UnB/CESPE) A negação da proposição “O juiz determinou a libertação de um estelionatário e de um ladrão” é expressa na forma “O juiz não determinou a libertação de um estelionatário nem de um ladrão”.

¬(E L) ¬E ¬L

Page 91: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

27) (UnB/CESPE) A proposição “Carlos é juiz e é muito competente” tem como negação a proposição “Carlos não é juiz nem é muito competente”.

¬(J MC) ¬J ¬MC

Page 92: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

28) (UnB/CESPE) A proposição “A Constituição brasileira é moderna ou precisa ser refeita” será V quando a proposição “A Constituição brasileira não é moderna nem precisa ser refeita” for F, e vice-versa.

¬(M R) ¬M ¬R

Page 93: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

29) (UnB/CESPE) As proposições “Se o delegado não prender o chefe da quadrilha, então a operação agarra não será bem-sucedida” e “Se o delegado prender o chefe da quadrilha, então a operação agarra será bem-sucedida” são equivalentes.

¬P ¬S P S

S P

Page 94: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

30) (UnB/CESPE) As proposições (¬A) (¬B) e A B têm os mesmos valores lógicos para todas as possíveis valorações lógicas das proposições A e B.

(¬A) (¬B) A B P Q P Q

Page 95: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

31) (UnB/CESPE) As tabelas de valorações das proposições P Q e Q P são iguais.

P Q Q P

P Q Q P

Page 96: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

32) A tabela de interpretação de (P Q) P é igual à tabela de interpretação de P Q.

(P Q) P P Q.

P (P Q)

Page 97: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

32) A tabela de interpretação de (P Q) P é igual à tabela de interpretação de P Q.

(P Q) P P Q.

P

(P Q)

Page 98: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

33) As proposições (P Q) S e (P S) (Q S) possuem tabelas de valorações iguais.

P Q S (PQ) (PQ) S (PS) (QS) (PS) (QS)

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

V

V

V

V

V

V

F

F

V

F

V

F

V

F

V

V

V

F

V

F

V

V

V

V

V

F

V

V

V

F

V

V

V

F

V

V

V

V

V

V

Page 99: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

33) As proposições (P Q) S e (P S) (Q S) possuem tabelas de valorações iguais.

P Q S (PQ) (PQ) S (PS) (QS) (PS) (QS)

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

V

V

V

V

V

V

F

F

V

F

V

F

V

F

V

V

V

F

V

F

V

V

V

V

V

F

V

V

V

F

V

V

V

F

V

V

V

V

V

V

F

F

V

V

Page 100: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

7) Diagramas Lógicos

Todo A é B. Algum A é B. Nenhum A é B.

AB A B

.A B

Page 101: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

OBSERVAÇÃO:OBSERVAÇÃO: NEGAÇÕES

EXPRESSÃO NEGAÇÃO

Todo A é B Algum A não é B

Existe A que não é B.

Pelo menos um A não é B.

Nem todo A é B.

Algum A é B Nenhum A é B

Nenhum A é B Algum A é B.

Page 102: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

34) (UnB/CESPE) Considerando que P seja a proposição “Todo jogador de futebol será craque algum dia”, então a proposição ¬P é corretamente enunciada como “Nenhum jogador de futebol será craque sempre”.

“Algum jogador de futebol nunca será craque”

“Todo jogador de futebol será craque algum dia”

Page 103: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

35) (UnB/CESPE) Se A for a proposição “Todos os policiais são honestos”, então a proposição ¬A estará enunciada corretamente por “Nenhum policial é honesto”.

“Algum policial não é honesto”

“Todos os policiais são honestos”

Page 104: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Nos diagramas acima, estão representados dois conjuntos de pessoas que possuem o diploma do curso superior de direito, dois conjuntos de juízes e dois elementos desses conjuntos: Mara e Jonas. Julgue os itens subseqüentes tendo como referência esses diagramas e o texto.

direito

juízes

Maradireito

juízes

Jonas

Page 105: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

36) (UnB/CESPE) A proposição “Mara é formada em direito e é juíza” é verdadeira.

direito

juízes

Maradireito

juízes

Jonas

Page 106: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

37) (UnB/CESPE) A proposição “Se Jonas não é um juiz, então Mara e Jonas são formados em direito” é falsa.

direito

juízes

Maradireito

juízes

Jonas

Page 107: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

É uma afirmação de que uma certa seqüência de proposições p1,p2,…,pn (premissas) tem como conseqüência uma proposição q (conclusão).

1) Argumento

Page 108: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

2) Representação simbólica

p1, p2, … , pn ⊦ q

Exemplo:

“Se leio, entendo. Não li, logo, não entendi”.

P Q , ¬P ⊦ ¬Q

Page 109: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

3) Validade de um argumento

Exemplo: Se eu como muito, engordo. Como não tenho comido muito, não tenho engordado.

3.1. TABELA-VERDADE

Page 110: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P Q, P├ Q

P P C

Argumento Inválido (falácia ou sofisma)P Q P Q P Q

V V V F F

V F F F V

F V V V F

F F V V V

Page 111: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Exemplo:

Verifique a validade do argumento:Todo gato voa

Toda vaca é gato

Toda vaca voa

Page 112: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P: É gato

Q: Voa

R: É vaca

P Q , R P ⊦ R Q

Page 113: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

P P C

P Q R PQ RP R Q

V V V V V V

V V F V V V

V F V F V F

V F F F V V

F V V V F V

F V F V V V

F F V V F F

F F F V V V

PQ RP R Q

V V V

V V V

F V F

F V V

V F V

V V V

V F F

V V V

PQ RP R Q

V V V

V V V

F V F

F V V

V F V

V V V

V F F

V V V

Page 114: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

3) Validade de um argumento

3.2. DIAGRAMAS

Todo gato voa

Toda vaca é gato

Toda vaca voa

VOA

GATO

VACA

Page 115: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

3) Validade de um argumento

3.3. OPERADORES

P Q , P ├ Q

V VF

Pode ser V ou F Pode ser Fou V

Page 116: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

OBSERVAÇÃO:

Todo gato voaToda vaca é gatoToda vaca voa

Page 117: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Exemplos:

a b , b c ├ a c

Todo cachorro é um mamífero.Todo mamífero é um ser vivo.Todo cachorro é um ser vivo.

Page 118: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Exemplos:

a b , b c ├ a c

Todo metal é azul.Tudo que é azul é líquido.Todo metal é líquido.

Page 119: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Exemplos:

a b , b c ├ a c

Todo pássaro é uma ave.Toda ave fala.Todo pássaro fala.

Page 120: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Exemplos:

a b , c b ├ a c

Todo gato é verdeTudo que mia é verdeTodo gato mia

ba c

Page 121: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

38) (UnB/CESPE) A seqüência de proposições a seguir constitui uma dedução correta. Se Carlos não estudou, então ele fracassou na prova de Física.Se Carlos jogou futebol, então ele não estudou.Carlos não fracassou na prova de Física.Carlos não jogou futebol.

Page 122: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Se Carlos não estudou, então ele fracassou na prova de Física.Se Carlos jogou futebol, então ele não estudou.Carlos não fracassou na prova de Física.Carlos não jogou futebol.

¬E Fr = V

J ¬E = V

¬Fr = V ¬J

V

FF

FF

V

Page 123: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

39) (UnB/CESPE) Considere que as proposições da seqüência a seguir sejam verdadeiras.  Se Fred é policial, então ele tem porte de arma. Fred mora em São Paulo ou ele é engenheiro. Se Fred é engenheiro, então ele faz cálculos estruturais.Fred não tem porte de arma.Se Fred mora em São Paulo, então ele é policial. Nesse caso, é correto inferir que a proposição “Fred não mora em São Paulo” é uma conclusão verdadeira com base nessa seqüência.

Page 124: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

Po Pa = V

SP E = V

E C = V

¬Pa = V

SP Po = V

¬SP

V

FF

FF

V

Page 125: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

40) (UnB/CESPE) Se a proposição simbolizada por A B C for um argumento válido, então a proposição A B (¬C) será falsa.

A B C

ou

A , B C⊦

Page 126: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

41) (UnB/CESPE) Considere que sejam valoradas como V as duas seguintes proposições: “Todo candidato ao cargo de auditor tem diploma de engenheiro”; e “Josué é engenheiro”. Nesse caso, como conseqüência da valoração V dessas proposições, é correto afirmar que também será valorada como V a proposição “Josué é candidato ao cargo de auditor”. ENG.

AUD.

Page 127: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

42) (UnB/CESPE) Considere que a seqüência de proposições a seguir constituam três premissas e a conclusão, nessa ordem: “Todas as mulheres são pessoas vaidosas”; “Todas as pessoas vaidosas são caprichosas”; “Existem pessoas tímidas que são mulheres”; “Existem pessoas tímidas que são caprichosas”. Nesse caso, tem-se uma dedução que expressa um raciocínio correto.

Page 128: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

“Todas as mulheres são pessoas vaidosas”; “Todas as pessoas vaidosas são caprichosas”; “Existem pessoas tímidas que são mulheres”; “Existem pessoas tímidas que são caprichosas”.

VM

C

T. . .

Page 129: Prof.: Jairo Teixeira RACIOCÍNIO LÓGICO  Twitter@cejairoteixeira

43) (UnB/CESPE) Toda premissa de um argumento válido é verdadeira.

44) (UnB/CESPE) Se a conclusão é falsa, o argumento não é válido.

45) (UnB/CESPE) Se a conclusão é verdadeira, o argumento é válido.

46) (UnB/CESPE) É válido o seguinte argumento: Todo cachorro é verde, e tudo que é verde é vegetal, logo todo cachorro é vegetal.