Raciocínio Lógico e Matemático - Unidade 2: Introdução à Lógica

Tamanho: px
Começar a partir da página:

Download "Raciocínio Lógico e Matemático - Unidade 2: Introdução à Lógica"

Transcrição

1 Raciocínio lógico e matemático Unidade 2: Introdução à lógica Prof. Me. Diego Fernandes Emiliano Silva diego.fernandes@pitagoras.com.br Seção 2.1 O QUE É LÓGICA?

2 Lógica Parte da filosofia que trata das formas do pensamento em geral e das operações intelectuais que visam determinar o que é verdadeiro ou não Em outras palavras, é o estudo do raciocínio correto, especialmente no que envolve a elaboração de inferências Inferências: Operação intelectual ao qual se afirma a verdade de uma preposição em decorrência de sua ligação com outras preposições já reconhecidas como verdadeiras, ou seja, conclusões derivadas de premissas conhecidas Com lógica, entre outros... Quando bem aplicada Pensamento melhor ordenado e organizado Melhor poder de argumentação Muito usado em direito, matemática, pesquisas e demonstrações científicas, etc. Etc

3 Construção Premissas Raciocínio Construção Resultado Erros Formal Raciocínio com fatos corretos Porém, com arranjo errado Relacionado à validade do raciocínio CONCLUSÃO ERRADA Quando mal construído Resultado equivocado ERROS (I) Formal e (II) Material Material Raciocínio correto Mas será que proposição também é? Relacionado à validade sobre a preposição CONCLUSÃO ERRADA

4 Exemplos ERRO FORMAL Meu avô passou em medicina, meu passei passou em medicina, isso significa que eu passarei em medicina. Observação: fatos corretos, raciocínio errado dado que isso não significa que eu passarei em medicina. ERRO MATERIAL Pedro usa óculos e é inteligente, Marcos também usa e é inteligente. Portanto vou usar óculos que também serei. Observação: desenvolvimento do raciocínio está correto, problema está em acreditar que usando óculos serei inteligente Lógica - Princípios Identidade: Proposição é igual a si mesma ( = ) Exemplo: Um hipopótamo é um hipopótamo, ou seja, um hipopótamo é igual a si mesmo Da não contradição: Proposição não pode ser verdadeira e falsa ao mesmo tempo, ou proposições contraditórias não podem ser verdadeiras ao mesmo tempo ( é, ~ é ) Exemplo: Um hipopótamo não é um não hipopótamo e uma não girafa não é uma girafa Do terceiro excluído: Proposição ou é verdadeira ou é falsa (não existe alternativa três, ou seja, não pode ser simultaneamente falso) Exemplo: Existe um animal que é um hipopótamo e um animal que não é um hipopótamo

5 Sentenças declarativas fechadas Frases com sentido completo Diego é professor. Pedro é aluno. Camila foi ao curso. Isac está na escola. Conceitos Proposição: sentenças declarativas fechadas que podem ser associadas a somente um valor lógico Valor lógico: valor associado a uma proposição. Podem ser Verdadeiro (V) Falso (F)

6 Sentença declarativa aberta Não podem ser consideradas proposições, dado que não é possível indicar seu valor lógico Exemplos: Hoje é sexta-feira? Estude mais amanhã. Exercício 1 Quais das frases a seguir podem ser consideradas proposições lógicas? Que belo dia! Qual é o seu nome? X + 2 = 5. Pelé é brasileiro. Pitágoras e Anhanguera são marcas da Kroton. A química não é uma ciência

7 Exercício 1 - comentários Que belo dia! (não é proposição, e sim uma exclamativa) Qual é o seu nome? (não é proposição, e sim uma interrogativa) X + 2 = 5 (não é proposição, não dá para imaginar se isso é V ou F) Pelé é brasileiro (sim, proposição simples, no caso com valor lógico V) Pitágoras e Anhanguera são marcas da Kroton (sim, proposição composta, no caso com valor lógico V) A química não é uma ciência (sim, proposição simples, com valor lógico F) PARA SER PROPOSIÇÃO, A FRASE DEVE SER AFIRMATIVA OU NEGATIVA... NÃO PODE SER INTERROGATIVA, EXCLAMATIVA, IMPERATIVA... DEVE SER VERDADEIRA OU FALSA, E NUNCA AS DUAS... Frase imperativa - quando se quer agir sobre comportamento do interlocutor. Exemplo: Manifeste de modo claro o seu pensamento Para facilitar aplicação da lógica Escrita simplificada com uma representação simbólica e suas interações Diego está estudando. (p) Marcos foi à festa. (q) Marcius é professor. (r) Formando frases: Ex 1: Diego está estudando ou Marcius é professor. (Pode ser escrita como p e r) Ex2: Marcos foi à festa ou Marcius é professor. (Pode ser escrita como q ou r) Como visto, frases precisam ser declarativas fechadas e posteriormente escrevemos isso na forma simbólica

8 Exercício 1 Leia a sentença Adriano é grande e pequeno. A sentença anterior está contradizendo qual princípio da lógica? EXERCÍCIOS DO LIVRO a) Princípio do terceiro excluído. b) Princípio da identidade. c) Princípio da boa vizinhança. d) Princípio da não contradição. e) Princípio das leis da física

9 Exercício 2 Leia a sentença Esse relatório está meio certo. A sentença anterior está contradizendo qual princípio da lógica? a) Princípio das leis da física. b) Princípio do terceiro excluído. c) Princípio da identidade. d) Princípio da não contradição. e) Princípio da comparação. Exercício 3 Leia a sentença Aquele carro que vem pela rua do centro da cidade é novo. Aquele outro carro que vem pela rua do centro da cidade também é novo. Logo, o próximo carro que vier por aquela rua do centro da cidade será novo também. A conclusão acima cometeu qual erro? a) Erro material. b) Erro de análise. c) Erro na proposição. d) Erro não identificado. e) Erro formal

10 Exercício 1 Leia a sentença Adriano é grande e pequeno. A sentença anterior está contradizendo qual princípio da lógica? GABARITO COMENTADO DOS EXERCÍCIOS a) Princípio do terceiro excluído. b) Princípio da identidade. c) Princípio da boa vizinhança. d) Princípio da não contradição. e) Princípio das leis da física. Observação: Já que ele é grande, ele não pode ser pequeno ao mesmo tempo

11 Exercício 2 Leia a sentença Esse relatório está meio certo. A sentença anterior está contradizendo qual princípio da lógica? a) Princípio das leis da física. b) Princípio do terceiro excluído. c) Princípio da identidade. d) Princípio da não contradição. e) Princípio da comparação. Observação: Não se pode ter uma terceira interpretação, ou está certo ou está errado. Exercício 3 Leia a sentença Aquele carro que vem pela rua do centro da cidade é novo. Aquele outro carro que vem pela rua do centro da cidade também é novo. Logo, o próximo carro que vier por aquela rua do centro da cidade será novo também. A conclusão acima cometeu qual erro? a) Erro material. b) Erro de análise. c) Erro na proposição. d) Erro não identificado. e) Erro formal. Observação: Apesar das proposições serem corretas, isso não implica em dizer que sempre os carros serão novos

12 Proposições simples Caracterizadas por possuírem uma única proposição, ou seja, não há combinação com outra. Seção 2.2 PROPOSIÇÕES LÓGICAS Exemplos: Diego é magro. (p) Camila é inteligente. (q) Marcos foi à escola. (r) OBS: Representação com letras minúsculas

13 Proposições compostas Formadas por combinações de duas ou mais proposições simples. Exemplos: Diego é magro e Camila é inteligente. (P) Camila é inteligente e Marcos foi à escola. (Q) Marcos foi à escola e Pedro é médico. (R) OBS: Representação com letras maiúsculas. Exercício Classificar as frases em proposições ou não e a seguir mencionar se proposições simples ou compostas. Seu aniversário foi na sexta-feira passada? Ricardo é coordenador de administração. Fiquem quietos! O aluno foi bem na prova e o carpinteiro foi a oficina

14 Conectivos Na lógica, quando trabalhamos com proposições compostas, o fazemos através de conectivos. Conjunção e, símbolo ^ Diego é professor e Pedro foi à escola. p ^ q Conectivos Disjunção inclusiva ou, símbolo Diego é professor ou criador de cães. p q nessa situação, Diego é somente professor ou exerce as duas profissões) Disjunção exclusiva ou, símbolo Diego é natural de MG ou SP. p q Nessa segunda situação, Diego não pode ser natural de ambos estados

15 Conectivos Condicional se..., então, cujo símbolo é Se Pedro correu muito, então ele vai se cansar. p q Interessante, se ele correr muito, ele vai se cansar, mas estar cansado não garante que ele tenha corrido muito, já que pode ter feito outra atividade física intensa. Conectivos Bicondicional se, e somente se, cujo símbolo é Um retângulo tem quatro lados se, e somente o retângulo possuir quatro ângulos retos. p q

16 Conectivos Negação não, cujo símbolo é ~ p: 9 5 p: 9 = 5 Exercício 2 Qual o conectivo usado nas frases: a) O pano está seco e molhado. (conjunção e; p^q) b) Se estiver chovendo, então uso um guarda-chuvas. (condicional se..., então; p q) c) 2+2 = 4 ou 3.4 = 12 (disjunção inclusiva ou; p q) d) Ingrid joga vôlei se, e somente se, vai à quadra. (bicondicional se, e somente se; p q) e) Aline estuda e trabalha. (conjunção e; p^q) f) Não está chovendo. (negação; p)

17 1. Leia as seguintes frases: I Em março faz sol. II A bola pula e o peão gira. III Se a chuva cai, então está ventando. IV Mônica é viúva. A(s) proposição(ões) composta(s) é(são): Seção 2.2 EXERCÍCIOS DO LIVRO a) I. b) I e II. c) II e III. d) III e IV. e) I, II, III e IV

18 2) Considere as seguintes proposições: p: Luan é bagunceiro. q: Cristina joga bola. r: Está calor. Considere a frase Luan é bagunceiro e Cristina joga bola se, e somente se, está calor. A representação simbólica respectiva é: a) (p q) r b) (p q) rc) c) (p q) r d) (p q) r e) (p q) r 3. Observe as proposições a seguir. I Daniel é professor e Isis é psicóloga. II O tigre corre se, e somente se, está caçando. III Diego gosta de matemática ou Michael anda de carro. IV Se Celina é avó, então Aline é sua neta. A(s) frase(s) que utiliza(m) o conectivo condicional é(são): a) I e II. b) III. c) III e IV. d) I. e) IV

19 1. Leia as seguintes frases: I Em março faz sol. II A bola pula e o peão gira. III Se a chuva cai, então está ventando. IV Mônica é viúva. A(s) proposição(ões) composta(s) é(são): Seção 2.2 EXERCÍCIOS DO LIVRO - COMENTÁRIOS a) I. b) I e II. c) II e III. CORRETA d) III e IV. e) I, II, III e IV

20 2) Considere as seguintes proposições: p: Luan é bagunceiro. q: Cristina joga bola. r: Está calor. Considere a frase Luan é bagunceiro e Cristina joga bola se, e somente se, está calor. A representação simbólica respectiva é: a) (p q) r CORRETA b) (p q) rc) c) (p q) r d) (p q) r e) (p q) r Comentário: Luan é bagunceiro (p) ^ Cristina joga bola (q) está calor (r). 3. Observe as proposições a seguir. I Daniel é professor e Isis é psicóloga. (conjunção ; ^) II O tigre corre se, e somente se, está caçando. (bicondicional ; ) III Diego gosta de matemática ou Michael anda de carro. (disjunção ; ) IV Se Celina é avó, então Aline é sua neta. (condicional ; ) A(s) frase(s) que utiliza(m) o conectivo condicional é(são): a) I e II. b) III. c) III e IV. d) I. e) IV. CORRETA

21 Proposições compostas Composta de duas ou mais proposições simples Tanto a primeira como a segunda podem assumir valores lógicos (V ou F) diferentes Seção 2.3 EQUIVALÊNCIAS, CONTRADIÇÕES E TAUTOLOGIAS Exemplos: Diego é magro. (p) Camila é inteligente. (q) Dessa forma temos: p q TABELA VERDADE p q V V V F F V 41 F F

22 Proposições compostas Para saber quantas linhas serão necessárias na tabela verdade, basta calcular 2, onde representa o número de proposições Conjunção A tabela verdade para disjunção fica p q p q V V V V F F F V F F F F

23 Conjunção - exemplos Exemplo 1: p: 2 > 0 (V) q: 2 1 (V) p q: 2 > 0 e 2 1 (V) Exemplo 2: p: Marcos é terapeuta (V) q: Marcelo é médico (F) p q: Marcos é terapeuta e Marcelo é médico (F) Disjunção A tabela verdade para disjunção fica p q p q V V V V F V F V V F F F

24 Disjunção - exemplos Exemplo 1: p: 2 > 0 (V) q: 2 1 (V) p q: 2 > 0 ou 2 1 (V) Exemplo 2: p: Marcos é terapeuta (V) q: Marcelo é médico (F) p q: Marcos é terapeuta ou Marcelo é médico (V) Condicional A tabela verdade para disjunção fica p q p q V V V V F F F V V F F V

25 Condicional - exemplos Bicondicional Exemplo 1: p é V e q é V, então p q é V Se meu PC está quebrado, então a assistência técnica o concerta. Exemplo 2: p é V e q é F, então p q é F Se nasci em São Paulo, então sou carioca. Exemplo 3: p é F e q é V, então p q é V Se nasci em Jundiaí, então sou paulista. A tabela verdade para disjunção fica p q p q V V V V F F F V F F F V

26 Bicondicional - exemplos Exemplo 1: p é V e q é V, então p q é V Exemplo 2: p é F e q é F, então p q é F Tautologia Seja v uma proposição formada a partir de outras (p, q, r,...), mediante emprego de conectivos ( ou ), ou de modificador ( ), ou de condicionais ( ou ) dizemos que v é uma tautologia ou proposição logicamente verdadeira quando v tem o valor lógico V (verdadeiro) independentemente dos valores lógicos de p, q, etc

27 Exemplo - tautologia p q p q p q (p q) (p q) V V V V V V F F V V F V F V V F F F F V p: Marcelo é alto. (V) q: Marcelo joga vôlei. (V) p q: Marcelo é alto e joga vôlei. (V) p q: Marcelo é alto ou joga vôlei. (V) (p q) (p q): Se Marcelo é alto e joga vôlei, então Marcelo é alto ou joga vôlei. (V) Exemplo - tautologia p q p q (p q) p q p q (p q) ( p q) V V V F F F F V V F F V F V V V F V F V V F V V F F F V V V V V p: 2 < 3 (V) q: 2 2 < 3 2 (V) p q: 2 < 3 e 2 2 < 3 2 (V) (p q): 2 3 e (F) p: 2 3 (F) q: (F) p q: 2 3 ou (F) (p q) ( p q): e se, e somente se, 2 3 ou (V)

28 Proposição equivalente Dada as proposições p e q, dizemos que p é equivalente a q quando p e q têm tabelasverdades iguais, isto é, quando p e q têm sempre o mesmo valor lógico. p q Exemplo proposição equivalente p: João vai a praia (verdade) p: João não vai à praia. (falso) p: Não é verdade que João não vai a praia. (verdade) Mesma coisa que João vai a praia

29 Exemplo proposição equivalente Exemplo p q p q q p q p V V V F F V V F F V F F F V V F V V F F V V V V p: Maria anda de bicicleta. (V) q: Faz atividade física. (V) p q: Se Maria anda de bicicleta, então faz atividade física. (V) p: Maria não anda de bicicleta. (F) p q: Maria não anda de bicicleta ou faz atividade física. (V)

30 Contradição ou proposições logicamente falsas Seja v uma proposição formada a partir de outras (p, q, r,...), mediante emprego de conectivos ( ou ), ou de modificador ( ), ou de condicionais ( ou ) dizemos que v é uma contradição quando v tem o valor lógico F (falso) independentemente dos valores lógicos de p, q, etc. Tabela-verdade (contradição) p p p p V F F F V F p: F p: = 4 V p p: se, e somente se, =4 F

31 Paradoxo Imagine a seguinte frase dita por Pinquio: Meu nariz vai crescer. Seção 2.3 EXERCÍCIOS DO LIVRO

32 1. Considere a seguinte proposição: Osmar concerta carros e não concerta motos. O conectivo lógico usado é: a) Bicondicional. b) Conjunção. c) Disjunção exclusiva. d) Disjunção inclusiva. e) Condicional. 2. Na construção da tabela-verdade, podemos determinar o número de linhas a partir da utilização da seguinte expressão 2n, em que n é o número de proposições simples. Com base no texto, determine o número de linhas da tabelaverdade construída para validar a seguinte proposição (p q) r. a) 4 b) 8 c) 16 d) 32 e)

33 3. A tabela-verdade permite verificar a validação das proposições compostas. Verificando os resultados dos valores lógicos da proposição p q, através da construção de sua tabela-verdade, podemos afirmar que o resultado é: a) F, F, F e F. b) F, V, V e V. c) V, V, F e F. d) V, V, V e V. e) V, F, F e F. Seção 2.3 EXERCÍCIOS DO LIVRO - COMENTÁRIOS

34 1. Considere a seguinte proposição: Osmar concerta carros e não concerta motos. O conectivo lógico usado é: a) Bicondicional. b) Conjunção. c) Disjunção exclusiva. d) Disjunção inclusiva. e) Condicional. Comentário: concerta carros e não concerta 2. Na construção da tabela-verdade, podemos determinar o número de linhas a partir da utilização da seguinte expressão 2, em que n é o número de proposições simples. Com base no texto, determine o número de linhas da tabela-verdade construída para validar a seguinte proposição (p q) r. a) 4 b) 8 c) 16 d) 32 e) 64 Comentário: Temos p, q e r, ou seja, três proposições. Sendo assim verifica que 2 =

35 3. A tabela-verdade permite verificar a validação das proposições compostas. Verificando os resultados dos valores lógicos da proposição p q, através da construção de sua tabela-verdade, podemos afirmar que o resultado é: a) F, F, F e F. b) F, V, V e V. c) V, V, F e F. d) V, V, V e V. e) V, F, F e F. Comentário: p q p q V V V V F F F V F F F F Seção 2.4 ARGUMENTAÇÃO

36 Raciocínio indutivo Casos particulares para se chegar a uma conclusão geral Exemplo Diego tem febre, tosse, espirros e nariz escorrendo, dor de garganta, dores musculares, perda de apetite e cansaço e foi diagnosticado com gripe. (PREMISSA) Camila tem febre, tosse, espirros e nariz escorrendo, dor de garganta, dores musculares, perda de apetite e cansaço e foi diagnosticado com gripe. (PREMISSA) Logo, todas as pessoas com quadros cujo os sintomas são febre, tosse, espirros e nariz escorrendo, dor de garganta, dores musculares, perda de apetite e cansaço podem ser diagnosticadas com gripe. (CONCLUSÃO) Raciocínio dedutivo A partir de afirmações gerais chega a uma conclusão particular. Exemplo Todos os seres humanos possuem coração. (PREMISSA) Diego é um ser humano. (PREMISSA) Logo, Diego tem um coração. (CONCLUSÃO

37 Resultados Consistentes (válidos): quando se utiliza proposição verdadeira e lógica é corretamente aplicada Inconsistentes (inválidos): uso de proposições falsas ou logicamente incorretas. Neste caso podemos ter: Falácia: argumentação com falha involuntária Sofisma: argumentação com falha propositada da lógica Seção 2.4 EXERCÍCIOS DO LIVRO

38 Exercício 1 Realizar uma argumentação exige a utilização de afirmações verdadeiras em conjunto com a lógica formal; só assim a conclusão obtida pode ser considerada verdadeira. As formas de raciocínio são: a. Dedutiva e analógica. b. Indutiva e dedutiva. c. Indutiva e referencial. d. Analógica e digital. e. Dedutiva e referencial. Exercício 2 Observe as premissas a seguir: Todos os alunos praticam futebol. Marcos é um aluno. Aplicando o raciocínio dedutivo, podemos concluir que: a. Marcos pratica futebol. b. Marcos estuda com os alunos. c. Todos os alunos jogam bola com Marcos. d. Todos os alunos conhecem Marcos. e. Quem joga futebol é aluno

39 Exercício 3 Analise cada um dos raciocínios a seguir: I. Todas as frutas são doces; manga é uma fruta; logo, manga é doce. II. Todos os que nascem na Argentina são latino-americanos; Messi nasceu na Argentina. Logo, Messi é latino-americano. III. Todos os homens têm dois olhos; Igor tem dois olhos; logo, Igor é homem. Podemos dizer que são deduções falaciosas os itens: a. I b. II c. II e III d. I e II e. I e III Seção 2.4 EXERCÍCIOS DO LIVRO - COMENTÁRIOS

40 Exercício 1 Realizar uma argumentação exige a utilização de afirmações verdadeiras em conjunto com a lógica formal; só assim a conclusão obtida pode ser considerada verdadeira. As formas de raciocínio são: a. Dedutiva e analógica. b. Indutiva e dedutiva. c. Indutiva e referencial. d. Analógica e digital. e. Dedutiva e referencial. Comentário: Indutiva (particular para geral); dedutiva (geral para particular) Exercício 2 Observe as premissas a seguir: Todos os alunos praticam futebol. Marcos é um aluno. Aplicando o raciocínio dedutivo, podemos concluir que: a. Marcos pratica futebol. b. Marcos estuda com os alunos. c. Todos os alunos jogam bola com Marcos. d. Todos os alunos conhecem Marcos. e. Quem joga futebol é aluno. Comentário: Como Marcos e aluno e todos os alunos praticam futrbol, logo, Marcos pratica futebol

41 Exercício 3 Analise cada um dos raciocínios a seguir: I. Todas as frutas são doces; manga é uma fruta; logo, manga é doce. II. Todos os que nascem na Argentina são latino-americanos; Messi nasceu na Argentina. Logo, Messi é latino-americano. III. Todos os homens têm dois olhos; Igor tem dois olhos; logo, Igor é homem. Podemos dizer que são deduções falaciosas os itens: a. I b. II c. II e III d. I e II e. I e III Comentário: Por exemplo, no caso da afirmação I, sabemos que limão é uma fruta e não é doce (falácia); III Igor não poderia ser o nome do meu pássaro de estimação... E o meu pássaro também não tem dois olhos... (falácia)

Raciocínio lógico matemático

Raciocínio lógico matemático Raciocínio lógico matemático Unidade 2: Introdução à lógica Seção 2.1: O que é a lógica? 1 Lógica Parte da filosofia que trata das formas do pensamento em geral e das operações intelectuais que visam determinar

Leia mais

Raciocínio lógico matemático

Raciocínio lógico matemático Raciocínio lógico matemático Unidade 2: Introdução à lógica Seção 2.3 Equivalências, contradições e tautologias 1 Proposições compostas Composta de duas ou mais proposições simples Tanto a primeira como

Leia mais

Matemática Régis Cortes. Lógica matemática

Matemática Régis Cortes. Lógica matemática Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos

Leia mais

RECEITA FEDERAL ANALISTA

RECEITA FEDERAL ANALISTA SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como

Leia mais

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula / 1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 02 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br

Leia mais

AULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8

AULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8 Índice AULA 1 Frases, proposições e sentenças 3 AULA 2 Conectivos lógicos e tabelas-verdade 5 AULA 3 Negação de proposições 8 AULA 4 Tautologia, contradição, contingência e equivalência 11 AULA 5 Argumentação

Leia mais

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico. CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais

Leia mais

Lógica. Cálculo Proposicional. Introdução

Lógica. Cálculo Proposicional. Introdução Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras

Leia mais

Lógica Matemática. Prof. Gerson Pastre de Oliveira

Lógica Matemática. Prof. Gerson Pastre de Oliveira Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;

Leia mais

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja

Leia mais

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam. CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases

Leia mais

CAPÍTULO I. Lógica Proposicional

CAPÍTULO I. Lógica Proposicional Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação

Leia mais

Aprendendo. Raciocínio. Lógico

Aprendendo. Raciocínio. Lógico Aprendendo Raciocínio Lógico Raciocínio Lógico Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos

Leia mais

RLM Material de Apoio Professor Jhoni Zini

RLM Material de Apoio Professor Jhoni Zini PRINCÍPIOS LÓGICOS 1. Segundo a lógica aristotélica, as proposições têm como uma de suas propriedades básicas poderem ser verdadeiras ou falsas, isto é, terem um valor de verdade. Assim sendo, a oração

Leia mais

LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:

LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em: LÓGICA COMPUTACIONAL Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica 1 CODIFICAÇÃO DA CONJECURA DE COLLATZ QUE FALEI NA AULA PASSADA. 2 3 4 A lógica é usada para guiar

Leia mais

MATEMÁTICA Questões comentadas Daniela Arboite

MATEMÁTICA Questões comentadas Daniela Arboite MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível

Leia mais

MATEMÁTICA E RACIOCÍNIO LÓGICO

MATEMÁTICA E RACIOCÍNIO LÓGICO SENTENÇAS OU PROPOSIÇÕES MODIICADORES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (),

Leia mais

Matemática Computacional

Matemática Computacional Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Lógica. Professor Mauro Cesar Scheer

Lógica. Professor Mauro Cesar Scheer Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de

Leia mais

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais

22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo

22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo Conteúdo 1. Conceitos Iniciais... 6 2. Proposições [1]... 7 3. Proposições [2] Tautologia - Contradição - Contigência... 8 4. Não são Proposições... 9 5. Lógica argumentativa Negação... 10 6. Lógica argumentativa

Leia mais

BIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES

BIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES Olá, pessoal! Meu nome é Guilherme Neves e estou ministrando o curso de Raciocínio Lógico para o concurso da Polícia Federal que será realizado pelo CESPE-UnB. Vamos, de uma maneira sucinta, fazer uma

Leia mais

A Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto

A Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA A Linguagem dos Teoremas - Parte II Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de maio

Leia mais

Aula 1 Teoria com resolução de questões FGV

Aula 1 Teoria com resolução de questões FGV Aula 1 Teoria com resolução de questões FGV AULA 01 Olá futuro servidor do TRT 12, Meu nome é Fabio Paredes, sou professor de Raciocínio Lógico Matemático e terei o prazer de ajudá-los nesta árdua missão

Leia mais

Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.

Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2. Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório

Leia mais

Fundamentos da Lógica I

Fundamentos da Lógica I Fundamentos da Lógica I O conceito mais elementar no estudo da lógica primeiro a ser visto é o de Proposição. Trata-se, tão somente, de uma sentença algo que será declarado por meio de palavras ou de símbolos

Leia mais

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG

Leia mais

Prof. João Giardulli. Unidade III LÓGICA

Prof. João Giardulli. Unidade III LÓGICA Prof. João Giardulli Unidade III LÓGICA Objetivo Apresentar os seguintes conceitos: argumento; verificação da validade. Argumento: Algumas definições (dicionário): 1. Raciocínio através do qual se tira

Leia mais

Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01

Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01 Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01 PROPOSIÇÕES Denomina-se proposição a toda frase declarativa, expressa em palavras ou

Leia mais

Lógica Proposicional (cont.)

Lógica Proposicional (cont.) Lógica Proposicional (cont.) Conectivos lógicos Conjunção (e: ^) Disjunção (ou: v) Negação (não : ~) Condicional (se...então: ) Bicondicional (se somente se: ) 1 Negação de um proposição composta Negar

Leia mais

Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti

Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti Unidade I LÓGICA Profa. Adriane Paulieli Colossetti O que é lógica A lógica ensina a colocar ordem no pensamento. Sistemas Dicotônicos Proposições: São sentenças declarativas, que satisfazem três princípios

Leia mais

Raciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.

Raciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu. Raciocínio Lógico Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA Agora vamos aprender

Leia mais

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo   11 de outubro de 2016 Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.

Leia mais

PROPOSIÇÕES - VERDADEIRO

PROPOSIÇÕES - VERDADEIRO PROPOSIÇÕES Definição: Chama-se de proposição todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, declarativa (afirmativa) que admite um e somente um dos dois valores

Leia mais

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;

Leia mais

LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016

LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016 LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:

Leia mais

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração

Leia mais

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14 Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...

Leia mais

TABELA VERDADE. por: André Aparecido da Silva. Disponível em:

TABELA VERDADE. por: André Aparecido da Silva. Disponível em: TABELA VERDADE por: André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica Normalmente, as proposições são representadas por letras minúsculas (p, q, r, s, etc). São outros exemplos

Leia mais

ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo

ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo Assembleia Legislativa do Estado de Sergipe ALESE Técnico Legislativo / Área Apoio Técnico Administrativo Volume I Edital Nº 01/2018 de Abertura de Inscrições JN071-A-2018 DADOS DA OBRA Título da obra:

Leia mais

Lógica em Computação. .: Calculo Proposicional :. Prof. Luís Rodrigo

Lógica em Computação. .: Calculo Proposicional :. Prof. Luís Rodrigo .: Calculo Proposicional :. Prof. Luís Rodrigo {} [/] Proposição e Conectivos Proposição Simples Uma proposição simples (ou enunciado, ou sentença), é uma declaração que exprime um pensamento com sentido

Leia mais

Fundamentos da Computação 1. Aula 03

Fundamentos da Computação 1. Aula 03 Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise

Leia mais

Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade

Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,

Leia mais

Lógica Matemática e Computacional. 3.1 Relações lógicas de Euler

Lógica Matemática e Computacional. 3.1 Relações lógicas de Euler Lógica Matemática e Computacional 3.1 Relações lógicas de Euler Lógica Ciência dos argumentos; tem por objeto de estudo os argumentos, procurando elaborar procedimentos que permitam distinguir os argumentos

Leia mais

Lógica Matemática Para Concursos

Lógica Matemática Para Concursos A matemática geralmente é vista como complicada para a maioria dos concursandos, mas isso já é passado, atualmente o que assusta os candidatos é a lógica matemática ou também conhecida como lógica proposicional

Leia mais

Campos Sales (CE),

Campos Sales (CE), UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:

Leia mais

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO RACIOCÍNIO LÓGICO AULA 01 LÓGICA PROPOSICIONAL DEFINIÇÃO A Lógica estuda o pensamento como ele deveria ser, sem a influência de erros ou falácias. As falácias em torno do raciocínio humano se devem a atalhos

Leia mais

Introdução à Lógica Matemática

Introdução à Lógica Matemática Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira

Leia mais

Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES

Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira

Leia mais

OBS.1: As palavras Se e então podem estar ocultas na. Proposição

OBS.1: As palavras Se e então podem estar ocultas na. Proposição RACIOCÍNIO LÓGICO PRO. IGOR BRASIL 1) Proposição: Observação!!! Não são proposições 1. 2. 3. 4. 5. 6. 7. 2) Conectivos São utilizados em proposições.» O conectivo e é conhecido por, representado pelo símbolo

Leia mais

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças. NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo

Leia mais

A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360

A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360 1 DEMAIS SIMULADOS NO LINK ABAIXO CLIQUE AQUI REDE SOCIAL SIMULADO 17/360 RLM INSTRUÇÕES TEMPO: 30 MINUTOS MODALIDADE: CERTO OU ERRADO 30 QUESTÕES CURTA NOSSA PÁGINA MATERIAL LIVRE Este material é GRATUITO

Leia mais

Rodada #01 Raciocínio Lógico

Rodada #01 Raciocínio Lógico Rodada #01 Raciocínio Lógico Professor Guilherme Neves Assuntos da Rodada RACIOCÍNIO LÓGICO: Conjuntos e suas operações. Números naturais, inteiros, racionais e reais e suas operações. Representação na

Leia mais

Prof. João Giardulli. Unidade I LÓGICA

Prof. João Giardulli. Unidade I LÓGICA Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução

Leia mais

01/02/2016 LÓGICA MATEMÁTICA. Conectivos lógicos e tabela verdade. Os conectivos lógicos são utilizados para formar novas preposições.

01/02/2016 LÓGICA MATEMÁTICA. Conectivos lógicos e tabela verdade. Os conectivos lógicos são utilizados para formar novas preposições. LÓGICA MATEMÁTICA Prof Esp Fabiano Taguchi fabianotaguchi@gmailcom http://fabianotaguchiwordpresscom Conectivos lógicos e tabela verdade CONECTIVOS LÓGICOS Os conectivos lógicos são utilizados para formar

Leia mais

Iniciação a Lógica Matemática

Iniciação a Lógica Matemática Iniciação a Lógica Matemática Faculdade Pitágoras Prof. Edwar Saliba Júnior Julho de 2012 1 O Nascimento da Lógica É lógico que eu vou!, Lógico que ela disse isso! são expressões que indicam alguma coisa

Leia mais

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE Filosofia (aula 10) Prof. de Filosofia SAE leodcc@hotmail.com Lógica Tipos de Argumentação Dedução parte-se do Universal para o Particular Tipos de Argumentação Dedução parte-se do Universal para o Particular;

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação

Leia mais

RACIOCÍNIO LÓGICO TEORIA 86 EXERCÍCIOS POR ASSUNTOS RESOLVIDOS E QUESTÕES DE PROVAS DE CONCURSOS. Edição junho 2017

RACIOCÍNIO LÓGICO TEORIA 86 EXERCÍCIOS POR ASSUNTOS RESOLVIDOS E QUESTÕES DE PROVAS DE CONCURSOS. Edição junho 2017 RACIOCÍNIO LÓGICO TEORIA 86 EXERCÍCIOS POR ASSUNTOS RESOLVIDOS E QUESTÕES DE PROVAS DE CONCURSOS Edição junho 2017 TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por

Leia mais

RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS

RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 1 RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 2 TIPOS DE PROPOSIÇÃO Simples ou Atômicas Oscar é prudente; Mário é engenheiro; Maria é morena. 3 TIPOS DE PROPOSIÇÃO Composta ou Molecular Walter é engenheiro E

Leia mais

Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013

Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013 Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago

Leia mais

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE 1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.

Leia mais

n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.

n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas. n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição

Leia mais

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3 Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando

Leia mais

Lóg L ica M ca at M em e ática PROF.. J EAN 1

Lóg L ica M ca at M em e ática PROF.. J EAN 1 Lógica Matemática PRO. JEAN 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição alor Lógico Proposição Simples e Proposição Composta Conectivos Tabela-erdade 2 LÓGICA MATEMÁTICA INTRODUÇÃO ao

Leia mais

impossível conclusão falso premissas verdadeiro

impossível conclusão falso premissas verdadeiro Argumento Definição: Um argumento é uma sequência de enunciados(proposições) na qual um dos enunciados é a conclusão e os demais são premissas, as quais servem para provar ou, pelo menos, fornecer alguma

Leia mais

Raciocínio Lógico. Matemático. Lógica Proposicional

Raciocínio Lógico. Matemático. Lógica Proposicional Raciocínio Lógico Matemático Lógica Proposicional Proposições Lógicas Denomina-se proposição toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro

Leia mais

Raciocínio Lógico. Sentenças Abertas

Raciocínio Lógico. Sentenças Abertas Raciocínio Lógico Sentenças Abertas Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos: Ø x + 4 = 12. Essa expressão

Leia mais

Noções de Lógica. Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12.

Noções de Lógica. Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12. Noções de Lógica Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12. 2) Florianópolis é capital de SC. 3) O Brasil faz fronteira com a

Leia mais

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1 Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados

Leia mais

Aprendendo. Raciocínio. Lógico

Aprendendo. Raciocínio. Lógico Aprendendo Raciocínio Lógico Sentenças Abertas Raciocínio Lógico Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos:

Leia mais

Fundamentos de Lógica Lógica Proposicional

Fundamentos de Lógica Lógica Proposicional Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos

Leia mais

DOUGLAS LÉO RACIOCÍNIO LÓGICO

DOUGLAS LÉO RACIOCÍNIO LÓGICO DOUGLAS LÉO RACIOCÍNIO LÓGICO 1 - (IBFC - AGERBA - ESPECIALISTA EM REGULAÇÃO - 2017) A negação da frase O Sol é uma estrela e a Lua é um satélite de acordo com a equivalência lógica proposicional, é dada

Leia mais

SMA Elementos de Matemática Notas de Aulas

SMA Elementos de Matemática Notas de Aulas Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções

Leia mais

Matemática. Lógica Proposicional. Professor Dudan

Matemática. Lógica Proposicional. Professor Dudan Matemática Lógica Proposicional Professor Dudan Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos

Leia mais

Matéria: Raciocínio Lógico Concurso: Auditor Tributário ISS Gramado 2019 Professor: Alex Lira

Matéria: Raciocínio Lógico Concurso: Auditor Tributário ISS Gramado 2019 Professor: Alex Lira Concurso: Professor: Alex Lira Prova comentada: Auditor Tributário ISS GRAMADO 2019 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES...

Leia mais

Professor conteudista: Ricardo Holderegger

Professor conteudista: Ricardo Holderegger Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4

Leia mais

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por: LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,

Leia mais

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais

MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP

MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 1 MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 2009 02 2 CÁLCULO PROPOSICIONAL 1. Proposições Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas

Leia mais

Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional

Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional Bacharelado em Sistemas de Informação Lógica Matemática Prof.ª Dr.ª Donizete Ritter Introdução ao Cálculo Proposicional 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição Valor Lógico Proposição

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,

Leia mais

Lógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo

Lógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento

Leia mais

Introdução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação

Introdução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação Introdução à Logica Computacional Aula: Lógica Proposicional - Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício

Leia mais

Matemática Discreta - 01

Matemática Discreta - 01 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

CONCEITOS INICIAIS DE LÓGICA PROPOSIÇÕES

CONCEITOS INICIAIS DE LÓGICA PROPOSIÇÕES CONCEITOS INICIAIS DE LÓGICA PROPOSIÇÕES Nesta aula, mostraremos os principais conceitos que a maioria das bancas utilizam em suas provas. Conceitos como proposição, conectivos, tabela- -verdade, dentre

Leia mais

Inteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação)

Inteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação) Universidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação http://www.inf.unioeste.br/~claudia/ia2018.html Inteligência Artificial Sistemas Baseados em Conhecimento Representação

Leia mais

Prof. Jorge Cavalcanti

Prof. Jorge Cavalcanti Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Introdução a computação

Introdução a computação Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...

Leia mais

CASA TRIBUNAIS RACIOCÍNIO LÓGICO

CASA TRIBUNAIS RACIOCÍNIO LÓGICO CASA TRIBUNAIS RACIOCÍNIO LÓGICO Negação da conjunção e disjunção inclusiva (Lei de Morgan) / Negação da condicional / Negação da bicondicional e Disjunção Exclusiva Prof. Bruno Villar www.acasadoconcurseiro.com.br

Leia mais

Lógica Proposicional

Lógica Proposicional Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado

Leia mais

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.

Leia mais

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:

Leia mais

RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha

RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha I SENTENÇAS Expressão de um pensamento completo. São compostas por um sujeito (algo que se declara) e por

Leia mais

ESTRUTURAS LÓGICAS PROFESSOR: FELIPPE LOUREIRO

ESTRUTURAS LÓGICAS PROFESSOR: FELIPPE LOUREIRO ESTRUTURAS LÓGICAS PROFESSOR: FELIPPE LOUREIRO PROPOSIÇÕES LÓGICAS DEFINIÇÃO: Declaração ou sentença, composta por palavras ou símbolos, e que possui o valor lógico verdadeiro ou falso. EXEMPLOS: - 3 +

Leia mais

Matéria: Raciocínio Lógico Concurso: Auditor Fiscal da SEFAZ-SC Professor: Alex Lira

Matéria: Raciocínio Lógico Concurso: Auditor Fiscal da SEFAZ-SC Professor: Alex Lira Concurso: Auditor Fiscal da SEFAZ-SC Professor: Alex Lira Prova comentada: Auditor Fiscal SEFAZ-SC 2018 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3

Leia mais