1ª AVALIAÇÃO DE LÓGICA BACHARELADO E LICENCIATURA EM FILOSOFIA (Prof. Rodolfo Petrônio) SOLUÇÃO DAS QUESTÕES DA PROVA

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

Download "1ª AVALIAÇÃO DE LÓGICA BACHARELADO E LICENCIATURA EM FILOSOFIA (Prof. Rodolfo Petrônio) SOLUÇÃO DAS QUESTÕES DA PROVA"

Transcrição

1 1ª AVALIAÇÃO DE LÓGICA BACHARELADO E LICENCIATURA EM FILOSOFIA (Prof. Rodolfo Petrônio) SOLUÇÃO DAS QUESTÕES DA PROVA 1. (1.0) Responda à seguinte pergunta, recorrendo às regras do silogismo. Você tanto pode usar as oito regras relativas a termos e premissas, como usar distribuição, ou mesmo alguma combinação de ambas as abordagens: a) Poderia ser válido um silogismo categórico típico da quarta figura cujos únicos termos distribuídos fossem as duas ocorrências de seu termo médio? A 4ª figura é dada por P --- M M --- S S --- P Sendo as duas ocorrências do temo médio distribuídas e as dos demais não distribuídas, temos o seguinte esquema formal P n --- M D é uma proposição do tipo O S n --- P n é uma proposição do tipo I Ora, o modo OAI não poderia ser válido em qualquer figura visto que não há equilíbrio entre conclusão e premissas quanto à qualidade (afirmativas e negativas). b) Adicionalmente, se apenas um dos termos extremos fosse escolhido para estar distribuído na conclusão, o silogismo acima se tornaria válido em razão disso? Qual seria esse termo? Em adição, façamos o sujeito (S) distribuído na conclusão, ou seja, P n --- M D é uma proposição do tipo O S D --- P n é uma proposição do tipo A Ora, o modo OAA não poderia ser válido em qualquer figura visto que novamente não há equilíbrio entre conclusão e premissas quanto à qualidade (afirmativas e negativas), bem como a conclusão (A) não segue a premissa mais fraca (O). Façamos agora o predicado (P) distribuído na conclusão, ou seja, P n --- M D é uma proposição do tipo O S n --- P D é uma proposição do tipo O

2 Ora, o modo OAO somente poderia ser válido na 3ª figura (BOCARDO), mas o aluno não está obrigado a ter percebido isto. O importante é que o silogismo também não seria válido, pois, não obstante neste caso ser restabelecido o equilíbrio na qualidade (1 conclusão negativa = 1 premissa negativa), o predicado (P) na conclusão encontra-se distribuído (extensão universal) enquanto que, na premissa, ele não está distribuído (extensão particular), violando a regra dois (R2) de distribuição para P. Logo, este modo não poderia ser válido na 4ª figura. Desse modo, em nenhum dos casos examinados, os modos obtidos são válidos na 4ª figura. 2. (4.0) Apresente sob a forma silogística tradicional os seguintes argumentos, e indique para cada um deles qual a figura, o modo, os tipos de premissas, e se o argumento é válido (use e apresente a distribuição dos termos): a) Alguns metais são substâncias raras e caras (Maior), mas nenhum material de soldagem é um não-metal (Menor); portanto, alguns materiais de soldagem são substâncias raras e caras (Conclusão). Alguns metais (M) são substâncias raras e caras (P) Nenhum material de soldagem (S) é um não-metal (M * ) Alguns materiais de soldagem (S) são substâncias raras e caras (P) Observe-se que na premissa maior temos como termo médio metais (M), enquanto que na premissa menor o termo que seria o médio é não-metais (chamamos de M * ), e o termo não-metal não possui o mesmo significado que metal, claro. Ocorre que a premissa menor pode ser reescrita para sua equivalente lógica, visto que se trata de uma dupla negação. Vimos que, neste caso, uma dupla negação equivale a uma afirmação. Assim, o silogismo poderia ser rescrito como Alguns metais (M) são substâncias raras e caras (P) Todo material de soldagem (S) é um metal (M) Alguns materiais de soldagem (S) são substâncias raras e caras (P) M n --- P n é uma proposição do tipo I S D --- M n é uma proposição do tipo A S n --- P n é uma proposição do tipo I Trata-se de um silogismo na 1ª figura, modo IAI. Regra 1 (M): NÃO-OK, pois o termo médio não está distribuído em alguma de suas ocorrências. Regra 2 (S): OK, pois não está distribuído na conclusão, podendo ter qualquer distribuição na premissa menor. Regra 2 (P): OK, pois não está distribuído na conclusão, podendo ter qualquer distribuição na premissa maior. Regra 3 (equilíbrio de qualidade): OK, pois 0 conclusões negativas = 0 premissas negativas, isto é, 0=0, o que é verdadeiro. Logo, este silogismo é INVÁLIDO.

3 b) Nem todos os que bebem excessivamente são pessoas que não têm emprego (Menor). Somente os devedores bebem em excesso (Maior). Logo, nem todos os desempregados têm dívida (Conclusão). Este é um caso em que as sentenças precisam ser reescritas para a forma típica ou padrão (canônica). A sentença Somente A é B é equivalente a Todo B é A. Também se pode substituir pessoas que não têm emprego por pessoas desempregadas. Realizando-se essas substituições, temse o seguinte Todas as pessoas que bebem em excesso (M) são pessoas devedoras (P) Algumas pessoas que bebem em excesso (M) não são pessoas desempregadas (S) Algumas pessoas desempregadas (S) não são pessoas devedoras (P) M D --- P n é uma proposição do tipo A M n --- S D é uma proposição do tipo O S n --- P D é uma proposição do tipo O Trata-se de um silogismo na 3ª figura, modo AOO. Regra 1 (M): OK, pois o termo médio está distribuído em uma de suas ocorrências (na Maior). Regra 2 (S): OK, pois S não está distribuído na conclusão, logo tanto faz como esteja nas premissas. Regra 2 (P): NÃO-OK, pois P está distribuído na conclusão, mas não está distribuído na premissa (na Maior). Regra 3 (equilíbrio de qualidade): OK, pois 1 conclusão negativa = 1 premissa negativa, isto é, 1=1, o que é verdadeiro. Logo, este silogismo é INVÁLIDO c) Alguns revolucionários são fanáticos (Maior); assim, alguns idealistas são fanáticos (Conclusão), visto que todos os revolucionários são idealistas (Menor). Alguns revolucionários (M) são fanáticos (P) Todos os revolucionários (M) são idealistas (S) Alguns idealistas (S) são fanáticos (P) M n --- P n é uma proposição do tipo I S n --- P n é uma proposição do tipo I Trata-se de um silogismo na 3ª figura, modo IAI.

4 Regra 1 (M): OK, pois o termo médio está distribuído em uma de suas ocorrências (na Menor). Regra 2 (S): OK, pois S não está distribuído na conclusão, logo tanto faz como esteja nas premissas. Regra 2 (P): OK, pois P não está distribuído na conclusão, logo tanto faz como esteja nas premissas. Regra 3 (equilíbrio de qualidade): OK, pois 0 conclusões negativas = 0 premissas negativas, isto é, 0=0, o que é verdadeiro. Logo, este silogismo é VÁLIDO. d) Onde há fumaça há fogo (Premissa). Assim, quando não há fogo no porão (Conclusão) é porque aí não há fumaça (Premissa). (Dica: veja que este silogismo também pode ser resolvido como um silogismo hipotético. No entanto, ele é equivalente a um silogismo categórico, e é este último que deve ser resolvido. A montagem do hipotético pode servir para orientar a solução do categórico). Seguindo a dica que foi dada acima, montemos o silogismo hipotético: Se há fumaça, então há fogo (em lugar de Onde há fumaça, há fogo ) Ora, não há fumaça [no porão] (observe que a sentença aí não há fumaça explica o porquê de se concluir não haver fogo no porão) Logo, não há fogo [no porão] Logo, o silogismo é INVÀLIDO, pois se trata da falácia do modus tollens (remoção do antecedente, que é algo ilegítimo de se fazer, em vez da remoção do consequente, que é algo legítimo de se fazer). Sendo a forma hipotética inválida, então é claro que também será inválida a forma categórica do silogismo. A forma categórica é obtida reescrevendo-se as sentenças através do uso do parâmetro vez (ou ocasião, como se queira): Toda vez que há fumaça (M) é uma vez em que há fogo (P) Esta vez (S) não é uma vez em que há fumaça (M) Esta vez (S) não é uma vez em que há fogo (P) M D --- P n é uma proposição do tipo A S D --- M D é uma proposição do tipo E S D --- P D é uma proposição do tipo E Trata-se de um silogismo na 1ª figura, modo AEE. Regra 1 (M): OK, pois o termo médio está distribuído em alguma de suas ocorrências. Regra 2 (S): OK, pois está distribuído na conclusão, porém está distribuído na premissa menor. Regra 2 (P): NÃO-OK, pois está distribuído na conclusão, porém não está distribuído na premissa maior.

5 Regra 3 (equilíbrio de qualidade): OK, pois 1 conclusão negativa = 1 premissa negativa, isto é, 1=1, o que é verdadeiro. Logo, este silogismo é INVÁLIDO 3. (4.5) Nos textos a seguir, identifique cada argumento com suas premissas e conclusão, indicando se se trata de indução ou de dedução e justificando sua escolha. a) Não existe um maior número primo entre os primos existentes (Premissa). Mas, entre todos os números primos sobre os quais já pensamos, existe com certeza um maior (Premissa). Por conseguinte, existem certos números primos maiores do que aqueles sobre os quais já pensamos (Conclusão). O argumento se apresenta do seguinte modo: Premissa: Não existe um maior número primo entre os primos existentes. Premissa: Entre todos os números primos sobre os quais já pensamos, existe com certeza um maior. Conclusão: Existem certos números primos maiores do que aqueles sobre os quais já pensamos. Pode-se mostrar (o aluno não precisava ter feito isso para resolver corretamente este item da questão) que o argumento acima é escrito sob a forma de um silogismo da terceira figura, em modo EIO (FERISON): Nenhum número primo (M) é o maior primo existente (P) Algum número primo (M) é o maior primo pensado (S) Algum maior primo pensado (S) não é o maior primo existente (P) Assim, o argumento é uma DEDUÇÂO. A razão é que a conclusão decorre necessariamente das premissas e em nada expande seu conteúdo, apenas o explicitando. Ademais, como se pode ver acima, o argumento pode ser colocado sob a forma de um silogismo, que é uma das formas básicas dos argumentos dedutivos. Pode-se acrescentar também que se trata de um argumento envolvendo raciocínio matemático e este tipo de raciocínio, como mencionamos, é caracteristicamente dedutivo por ser a matemática uma ciência eminentemente dedutiva. b) Alfredo disse-me que as abelhas não picariam idiotas (Premissa); mas eu não acreditei nisso (Conclusão), porque já experimentara uma porção de vezes (Premissa) e elas nunca me haviam picado (Premissa). Premissa: [Alfredo disse que] Abelhas jamais picam idiotas. Premissa: Eu já experimentei várias vezes. Premissa: As abelhas jamais me picaram [nestas vezes]. Conclusão: Eu não acredito que as abelhas jamais piquem idiotas [elas nunca me picaram]. O argumento é uma INDUÇÂO. A razão é que, com base em poucos casos experimentados (cada caso é um caso concreto ou singular), o autor conclui, generalizando, que as abelhas jamais o picariam (o que mostra que, de fato, ele é um idiota, sobre o que Alfredo tinha ironizado). Ou seja, trata-se do esquema Casos singulares (experiência de não ser picado em ocasiões específicas) Conclusão geral (seria uma lei da natureza neste caso?)

6 c) Até onde a história da civilização nos diz, nunca houve um dia em que o sol não tenha nascido (Premissa). Até onde a nossa lembrança nos diz, o sol tem nascido todos os dias (Premissa). Portanto, concluímos que amanhã o sol nascerá (Conclusão). Premissa: Nunca houve um dia em que o sol não tenha nascido, segundo a história da civilização. Premissa: O sol tem nascido todos os dias, segundo nossa lembrança. Conclusão: O sol nascerá amanhã. O argumento é uma INDUÇÃO. A razão é que, com base no que se tem observado sobre o fenômeno do nascer do sol ao longo da história da humanidade e da história pessoal, conclui o autor que o sol nascerá no dia seguinte. Ora, não há um vínculo de necessidade lógica entre o sol ter nascido até hoje e o sol também nascer amanhã. Trata-se de um vínculo físico, não lógico, e os vínculos físicos não são necessários, ainda que obedeçam a leis específicas. Pode-se mostrar isso pelo esquema a seguir: Casos singulares (experiência de se observar o sol nascer diariamente) Conclusão geral (lei da natureza, pois há uma lei da natureza mediante a qual o sol gira em torno da terra, ou esta última em torno do sol, conforme o esquema cinemático escolhido). Além do mais, pode-se dizer que a conclusão é apenas provável a partir das premissas, ainda que seja bastante plausível que o fenômeno (o sol nascer todo dia) venha a ocorrer. No entanto, não é necessário, pois um cometa gigantesco e em altíssima velocidade poderia entrar no sistema solar e colidir com o sol. Este evento, ainda que improvável por ora, não é impossível. Logo, o sol nascer amanhã não é uma necessidade lógica. 4. (0.5) Classifique o tipo da proposição abaixo de acordo com o quadrado lógico das oposições e escreva a sentença que lhe contraditória, indicando também seu tipo. a) Algum professor de filosofia é não avoado. Trata-se de uma sentença (ou proposição) particular afirmativa (I). Sua contraditória é a universal negativa (E) Nenhum professor de filosofia é não avoado.

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

Silogismos Categóricos e Hipotéticos

Silogismos Categóricos e Hipotéticos Silogismos Categóricos e Hipotéticos Resumo elaborado por Francisco Cubal Apenas para publicação em Resumos.tk Primeiros objectivos a alcançar: Reconhecer os quatro tipos de proposições categóricas. Enunciar

Leia mais

VERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO

VERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO ENADE 2005 e 2008 1 O que B. Russell afirma da matemática, em Misticismo e Lógica: "uma disciplina na qual não sabemos do que falamos, nem se o que dizemos é verdade", seria particularmente aplicável à

Leia mais

Modus ponens, modus tollens, e respectivas falácias formais

Modus ponens, modus tollens, e respectivas falácias formais Modus ponens, modus tollens, e respectivas falácias formais Jerzy A. Brzozowski 28 de abril de 2011 O objetivo deste texto é apresentar duas formas válidas de argumentos o modus ponens e o modus tollens

Leia mais

2016 / Nome do aluno: N.º: Turma:

2016 / Nome do aluno: N.º: Turma: Teste de Matemática A 2016 / 2017 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em

Leia mais

Lógica Matemática e Computacional. 3 Silogismo Categórico

Lógica Matemática e Computacional. 3 Silogismo Categórico Lógica Matemática e Computacional 3 Silogismo Categórico O silogismo categórico É uma forma particular de raciocínio dedutivo, constituída por três proposições categóricas (que afirmam ou negam algo de

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

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados

Leia mais

Lógica Proposicional Parte 2

Lógica Proposicional Parte 2 Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas

Leia mais

AGRUPAMENTO DE ESCOLAS DE RIO DE MOURO EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS

AGRUPAMENTO DE ESCOLAS DE RIO DE MOURO EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS Caro aluno, Vai encontrar aqui um conjunto de exercícios de lógica cujo objetivo é facilitar-lhe o estudo autónomo. Estes exercícios irão estar disponíveis num

Leia mais

Breve Resumo das Regras do Silogismo Aristotélico. Paulo Margutti FAJE

Breve Resumo das Regras do Silogismo Aristotélico. Paulo Margutti FAJE Breve Resumo das Regras do Silogismo Aristotélico Paulo Margutti FAJE Para que um argumento em forma silogística seja válido, ele deve obedecer a um conjunto de regras mais ou menos intuitivas, que são

Leia mais

Proposta de teste de avaliação

Proposta de teste de avaliação Proposta de teste de avaliação Matemática A 10. O ANO DE ESCOLARIDADE Duração: 90 minutos Data: Grupo I Na resposta aos itens deste grupo, selecione a opção correta. Escreva, na folha de respostas, o número

Leia mais

MÓDULO II - PARTE II LÓGICA DOS PREDICADOS

MÓDULO II - PARTE II LÓGICA DOS PREDICADOS MÓDULO II - PARTE II LÓGICA DOS PREDICADOS Quantificadores Professora Dr. a Donizete Ritter 26 de julho de 2017 Ritter, D. (UNEMAT/DEAD/SI) LÓGICA 26 de julho de 2017 1 / 18 Sumário 1 INTRODUÇÃO 2 TIPOS

Leia mais

Lógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César

Lógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições

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

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

Leia mais

Prova Escrita de Filosofia

Prova Escrita de Filosofia Exame Final Nacional do Ensino Secundário Prova Escrita de Filosofia.º Ano de Escolaridade Decreto-Lei n.º 9/0, de 5 de julho Prova 74/Época Especial Critérios de Classificação Páginas 04 Prova 74/E. Especial

Leia mais

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

Filosofia (aula 9) Dimmy Chaar Prof. de Filosofia. SAE Filosofia (aula 9) Prof. de Filosofia SAE leodcc@hotmail.com Lógica O problema lógico, embora para alguns possa parecer artificial, impõe-se por si. Ele surge logo que se nota que alguns conhecimentos

Leia mais

Sumário. Capítulo 1 - Conhecendo os Vários Tipos de Problema... 1

Sumário. Capítulo 1 - Conhecendo os Vários Tipos de Problema... 1 Sumário Capítulo 1 - Conhecendo os Vários Tipos de Problema... 1 Capítulo 2 - Problemas sobre Correlacionamento... 7 2.1. Problemas Envolvendo Correlação entre Elementos...7 2.2. Considerações Finais sobre

Leia mais

19/05/2017 DOUGLAS LÉO RACIOCÍNIO LÓGICO

19/05/2017 DOUGLAS LÉO RACIOCÍNIO LÓGICO DOUGLAS LÉO RACIOCÍNIO LÓGICO 1. (VUNESP PERITO CRIMINAL PC-SP 2014) Das alternativas apresentadas, assinale a única que contém uma proposição lógica. a) Ser um perito criminal ou não ser? Que dúvida!

Leia mais

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

Leia mais

Filosofia. Lógica. Lógica. Prof. José Fernando da Silva. Lógica:Proposições categoriais e silogismo aristotélico

Filosofia. Lógica. Lógica. Prof. José Fernando da Silva. Lógica:Proposições categoriais e silogismo aristotélico Filosofia Prof. José Fernando da Silva :Proposições categoriais e silogismo aristotélico A demonstração de um argumento coincide com a realização de uma operação de dedução. De acordo com Aristóteles,

Leia mais

Fundamentos de Lógica Matemática

Fundamentos de Lógica Matemática Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise

Leia mais

LÓGICA I. André Pontes

LÓGICA I. André Pontes LÓGICA I André Pontes 1. Conceitos fundamentais O que é a Lógica? A LÓGICA ENQUANTO DISCIPLINA Estudo das leis de preservação da verdade. [Frege; O Pensamento] Estudo das formas válidas de argumentos.

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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Teste de Matemática A 2015 / 2016

Teste de Matemática A 2015 / 2016 Teste de Matemática A 2015 / 2016 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em cada

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

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno Fundamentos de Lógica e Algoritmos Aula 1.2 Introdução a Lógica Booleana Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Você está viajando e o pneu do seu carro fura! 2 Quais são os passos para se trocar

Leia mais

POLÍCIA FEDERAL. Agente e Escrivão. Questões - Revisão Raciocínio Lógico Prof. Dudan

POLÍCIA FEDERAL. Agente e Escrivão. Questões - Revisão Raciocínio Lógico Prof. Dudan POLÍCIA FEDERAL Agente e Escrivão Questões - Revisão Raciocínio Lógico Prof. Dudan Revisão 1. Julgue o item a seguir, a respeito de lógica proposicional. A proposição A vigilância dos cidadãos exercida

Leia mais

Raciocínio lógico matemático

Raciocínio lógico matemático Raciocínio lógico matemático Unidade 3: Dedução Seção 3.3 - Contrapositiva 1 Lembrando Modus pones p q, p q Se Pedro guarda dinheiro, então ele não fica negativado. Pedro guardou dinheiro. Dessa forma

Leia mais

Onde surge a verdade logica? Surge da correspondência entre pensamento e fato, a qual nasce de um juízo sobre a realidade. Quando surge o erro?

Onde surge a verdade logica? Surge da correspondência entre pensamento e fato, a qual nasce de um juízo sobre a realidade. Quando surge o erro? Questionamentos 20/03 Onde surge a verdade logica? Surge da correspondência entre pensamento e fato, a qual nasce de um juízo sobre a realidade. Quando surge o erro? Quando possuímos um juízo que não resulta

Leia mais

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

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

PENSAMENTO CRÍTICO. Aulas 7 e 8. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

PENSAMENTO CRÍTICO. Aulas 7 e 8. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC PENSAMENTO CRÍTICO Aulas 7 e 8 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 Avaliação lógica de argumentos: há, entre as premissas e a conclusão, uma conexão apropriada? As

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

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 6

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 6 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 6 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

Leia mais

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

Leia mais

Uma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem.

Uma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem. Tautologia Uma proposição composta é uma tautologia, se for sempre verdadeira, independentemente do valor lógico das proposições simples que a compõem. Exemplos: Contradição Uma proposição composta é uma

Leia mais

Raciocínio Lógico. Quantificadores Lógicos: Todo, Nenhum e Existente. Professor Edgar Abreu.

Raciocínio Lógico. Quantificadores Lógicos: Todo, Nenhum e Existente. Professor Edgar Abreu. Raciocínio Lógico Quantificadores Lógicos: Todo, Nenhum e Existente Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico QUANTIFICADORES LÓGICOS Chama-se argumento a afirmação de que

Leia mais

Lógica predicados. Lógica predicados (continuação)

Lógica predicados. Lógica predicados (continuação) Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo

Leia mais

Sumário. Capítulo 1 Conhecendo os Vários Tipos de Problema... 1

Sumário. Capítulo 1 Conhecendo os Vários Tipos de Problema... 1 Sumário Capítulo 1 Conhecendo os Vários Tipos de Problema... 1 Capítulo 2 Problemas sobre Correlacionamento... 5 2.1. Problemas Envolvendo Correlação entre Elementos...5 2.2. Considerações Finais Sobre

Leia mais

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam. Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos

Leia mais

Lógica Dedutiva e Falácias

Lógica Dedutiva e Falácias Lógica Dedutiva e Falácias Aula 3 Prof. André Martins Lógica A Lógica é o ramo do conhecimento humano que estuda as formas pelas quais se pode construir um argumento correto. O que seria um raciocínio

Leia mais

Regras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

Regras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março Matemática Discreta Regras de Inferência Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Argumentos Válidos em Lógica Proposicional Considere o argumento: Se João pensa, então João existe.

Leia mais

Competências argumentativas indicadas nas AE de Filosofia (em articulação com o Perfil do Aluno)

Competências argumentativas indicadas nas AE de Filosofia (em articulação com o Perfil do Aluno) Competências argumentativas indicadas nas AE de Filosofia (em articulação com o Perfil do Aluno) Identificar, formular e avaliar argumentos filosóficos, aplicando instrumentos operatórios da lógica formal

Leia mais

Proposta de teste de avaliação

Proposta de teste de avaliação Proposta de teste de avaliação Matemática A 10º ANO DE ESCOLARIDADE Duração: 90 minutos Data: O teste é constituído por dois grupos, I e II O Grupo I inclui quatro questões de escolha múltipla O Grupo

Leia mais

Analista TRT 10 Região / CESPE 2013 /

Analista TRT 10 Região / CESPE 2013 / Ao comentar sobre as razões da dor na região lombar que seu paciente sentia, o médico fez as seguintes afirmativas. P1: Além de ser suportado pela estrutura óssea da coluna, seu peso é suportado também

Leia mais

LÓGICA EM COMPUTAÇÃO

LÓGICA EM COMPUTAÇÃO CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br

Leia mais

Indiscernibilidade de Idênticos. Atitudes Proposicionais e indiscernibilidade de idênticos

Indiscernibilidade de Idênticos. Atitudes Proposicionais e indiscernibilidade de idênticos Indiscernibilidade de Idênticos Atitudes Proposicionais e indiscernibilidade de Consideremos agora o caso das atitudes proposicionais, das construções epistémicas e psicológicas, e perguntemo-nos se é

Leia mais

Coordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva

Coordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva @ LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q: ~ p 3) Proposição contra positiva de p q: ~ p ex. Determinar:

Leia mais

Prova Escrita de Filosofia

Prova Escrita de Filosofia EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Prova Escrita de Filosofia.º Ano de Escolaridade Decreto-Lei n.º 9/202, de de julho Prova 74/2.ª Fase Critérios de Classificação Páginas 20 Prova 74/2.ª F. CC

Leia mais

Curso Científico-Humanístico de Ciências e Tecnologias Filosofia - 11º A

Curso Científico-Humanístico de Ciências e Tecnologias Filosofia - 11º A Curso Científico-Humanístico de Ciências e Tecnologias 2011-2012 Filosofia - 11º A Silogismo 12/10/11 Silogismo categórico Premissa maior Todo o gato é mamífero Premissa menor Os siameses são gatos Conclusão

Leia mais

Exercitando o raciocínio lógico-dedutivo!

Exercitando o raciocínio lógico-dedutivo! Exercitando o raciocínio lógico-dedutivo! Exercícios de raciocínio lógico-dedutivo a favor de Deus. Primeiramente devemos entender o conceito da dedução lógica, para então, realizarmos o seu exercício.

Leia mais

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

Leia mais

Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019

Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019 Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019

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 e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.

Leia mais

COLÉGIO NOSSA SENHORA DA PIEDADE. Programa de Recuperação Paralela. 2ª Etapa 2014

COLÉGIO NOSSA SENHORA DA PIEDADE. Programa de Recuperação Paralela. 2ª Etapa 2014 COLÉGIO NOSSA SENHORA DA PIEDADE Programa de Recuperação Paralela 2ª Etapa 2014 Disciplina: FILOSOFIA Professora: ALESSANDRA PRADA Série: 2ª Turma: FG Caro aluno, você está recebendo o conteúdo de recuperação.

Leia mais

Aula 6: Dedução Natural

Aula 6: Dedução Natural Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado

Leia mais

Lógica Proposicional. 1- O que é o Modus Ponens?

Lógica Proposicional. 1- O que é o Modus Ponens? 1- O que é o Modus Ponens? Lógica Proposicional R: é uma forma de inferência válida a partir de duas premissas, na qual se se afirma o antecedente do condicional da 1ª premissa, pode-se concluir o seu

Leia mais

COLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia. Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No.

COLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia. Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No. COLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia 65 Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No. ROTEIRO DE RECUERAÇÃO ANUAL 2016 Data: / / FILOSOFIA 1º Ano do Ensino Médio 1º. O recuperando deverá

Leia mais

Lógica e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar

Leia mais

Material Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu

Material Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu Auditor Fiscal Material Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu Raciocínio Lógico SILOGISMO Silogismo Categórico é uma forma de raciocínio lógico na qual há duas premissas e uma conclusão distinta

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

Lógica Proposicional (Consequência lógica / Dedução formal)

Lógica Proposicional (Consequência lógica / Dedução formal) Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /

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/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

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

Escola Secundária de Amora Ano Lectivo de 2014/2015 Disciplina: Filosofia 11º Ano Ensino Regular (Diurno) Planificação de Médio e Longo Prazo

Escola Secundária de Amora Ano Lectivo de 2014/2015 Disciplina: Filosofia 11º Ano Ensino Regular (Diurno) Planificação de Médio e Longo Prazo Escola Secundária de Amora Ano Lectivo de 2014/2015 Disciplina: Filosofia 11º Ano Ensino Regular (Diurno) Planificação de Médio e Longo Prazo Problemas filosóficos Conteúdos Conceitos fundamentais Objectivos

Leia mais

LÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q :

LÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q : LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q : ~ p 3) Proposição contra positiva de p q : ~ p ex. Determinar:

Leia mais

Lógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016

Lógica Proposicional Parte II. Raquel de Souza Francisco Bravo   25 de outubro de 2016 Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições

Leia mais

AGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015

AGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015 AGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015 PLANIFICAÇÃO de Filosofia 11º ANO Gestão Temporal do Programa UNIDADE CONTEÚDO TEMPOS unidade CONTEÚDO LETIVOS TEMPOS LETIVOS Racionalidade

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

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

Exercícios de lógica -sensibilização

Exercícios de lógica -sensibilização Exercícios de lógica -sensibilização 1. Lógica matemática: Qual a lógica da seqüência dos números e quem é x? 2,4,4,6,5,4,4,4,4,x? 2. Charadas: lógica filosófica. Um homem olhava uma foto, e alguém lhe

Leia mais

RACIONALIDADE ARGUMENTATIVA DA FILOSOFIA E A DIMENSÃO DISCURSIVA DO TRABALHO FILOSÓFICO

RACIONALIDADE ARGUMENTATIVA DA FILOSOFIA E A DIMENSÃO DISCURSIVA DO TRABALHO FILOSÓFICO RACIONALIDADE ARGUMENTATIVA DA FILOSOFIA E A DIMENSÃO DISCURSIVA DO TRABALHO FILOSÓFICO Exercícios I. Documento elaborado no âmbito da definição das Aprendizagens Essenciais Aires Almeida, Luizete Dias

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

Versão B. GRUPO I (10 X 3 = 30 pontos) Assinala a única alternativa correta

Versão B. GRUPO I (10 X 3 = 30 pontos) Assinala a única alternativa correta Versão B GRUPO I (10 X 3 = 30 pontos) Assinala a única alternativa correta 1.O discurso filosófico é sobretudo um discurso: a) Demonstrativo b) Argumentativo c) Científico d) Racional 2. Dizer que a filosofia

Leia mais

Lógica. Abílio Rodrigues. FILOSOFIAS: O PRAZER DO PENSAR Coleção dirigida por Marilena Chaui e Juvenal Savian Filho.

Lógica. Abílio Rodrigues. FILOSOFIAS: O PRAZER DO PENSAR Coleção dirigida por Marilena Chaui e Juvenal Savian Filho. Lógica Abílio Rodrigues FILOSOFIAS: O PRAZER DO PENSAR Coleção dirigida por Marilena Chaui e Juvenal Savian Filho São Paulo 2011 09 Lógica 01-08.indd 3 4/29/11 2:15 PM 1. Verdade, validade e forma lógica

Leia mais

A partir das proposições Se não tem informações precisas ao tomar decisões, então o policial toma decisões ruins e Se o policial teve treinamento

A partir das proposições Se não tem informações precisas ao tomar decisões, então o policial toma decisões ruins e Se o policial teve treinamento Se as premissas P1 e P2 de um argumento forem dadas, respectivamente, por Todos os leões são pardos e Existem gatos que são pardos, e a sua conclusão P3 for dada por Existem gatos que são leões, então

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

n. 18 ALGUNS TERMOS...

n. 18 ALGUNS TERMOS... n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.

Leia mais

Nome do aluno: N.º: Turma:

Nome do aluno: N.º: Turma: Teste de Matemática A 2017 / 2018 Teste N.º 1 Matemática A Duração do Teste: 90 minutos NÃO É PERMITIDO O USO DE CALCULADORA 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Na resposta aos itens de

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

Por que o teste estrela funciona?

Por que o teste estrela funciona? Por que o teste estrela funciona? Observações preliminares A lógica silogística estuda argumentos cuja validade dependem de "todo", "nenhum", "algum" e noções similares. Ao simbolizar esses argumentos,

Leia mais

Teste de Matemática A 2015 / 2016

Teste de Matemática A 2015 / 2016 Teste de Matemática A 2015 / 2016 Teste N.º 2 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em cada

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/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

Leia mais

Lógica Proposicional Parte 3

Lógica Proposicional Parte 3 Lógica Proposicional Parte 3 Nesta aula, vamos mostrar como usar os conhecimentos sobre regras de inferência para descobrir (ou inferir) novas proposições a partir de proposições dadas. Ilustraremos esse

Leia mais

Lógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios...

Lógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios... Lógica para Ciência da Computação I Lógica Matemática Texto 11 Tautologias Sumário 1 Comportamento de um enunciado 2 1.1 Observações................................ 4 2 Classificação dos enunciados 4 2.1

Leia mais

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi Argumentos e Exercícios de Revisão

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi   Argumentos e Exercícios de Revisão GMA DEPARTAMENTO DE MATEMÁTICA APLICADA Fundamentos de Matemática Lista de Exercícios Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 04 Argumentos e Exercícios de Revisão [01] (Exercício

Leia mais

DOUGLAS LÉO RACIOCÍNIO LÓGICO

DOUGLAS LÉO RACIOCÍNIO LÓGICO DOUGLAS LÉO RACIOCÍNIO LÓGICO VALORAÇÃO: DESENCADEAMENTO LÓGICO LÓGICA DE ARGUMENTAÇÃO VALIDADE DE ARGUMENTO SILOGISMOS DESENCADEAMENTO LÓGICO LÓGICA DE ARGUMENTAÇÃO Def: Uma argumentação Lógica correta

Leia mais

Raciocínio Lógico Matemático

Raciocínio Lógico Matemático Raciocínio Lógico Matemático Noções de Lógica Noções de Lógica 1. Lógica? É lógico! Qual é o significado da palavra lógica? É lógico estudar lógica? A quem interessa a lógica? Lógica Matemática? Caro aluno,

Leia mais

OBJETIVOS CONTEÚDOS ESTRATÉGIAS Nº AULAS / AVAL. 1. Argumentação e Lógica Formal Motivar para o estudo da lógica Definir lógica.

OBJETIVOS CONTEÚDOS ESTRATÉGIAS Nº AULAS / AVAL. 1. Argumentação e Lógica Formal Motivar para o estudo da lógica Definir lógica. Filosofia - 11.ºAno UNID- RACIONALIDADE ARGUMENTATIVA E FILOSOFIA Nº Aulas:48 aulas de 45 minutos OBJETIVOS CONTEÚDOS ESTRATÉGIAS Nº AULAS / AVAL. 1. Argumentação e Lógica Formal Motivar para o estudo

Leia mais

FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS

FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS QUESTÃO - 36 Esperava-se que o estudante estabelecesse a distinção entre verdade e validade e descrevesse suas respectivas aplicações. Item

Leia mais

Filosofia - 11.ºAno. UNID- RACIONALIDADE ARGUMENTATIVA E FILOSOFIA Nº Aulas:14 aulas de 90 minutos

Filosofia - 11.ºAno. UNID- RACIONALIDADE ARGUMENTATIVA E FILOSOFIA Nº Aulas:14 aulas de 90 minutos Agrupamento de Escolas de Mira Filosofia - 11.ºAno UNID- RACIONALIDADE ARGUMENTATIVA E FILOSOFIA Nº Aulas:14 aulas de 90 minutos 1. Argumentação e Lógica Formal Desafios lógicos Aplicação alguns desafios

Leia mais

OBJETIVOS CONTEÚDOS ESTRATÉGIAS Nº AULAS / AVAL. 1. Argumentação e Lógica Formal Motivar para o estudo da lógica Definir lógica.

OBJETIVOS CONTEÚDOS ESTRATÉGIAS Nº AULAS / AVAL. 1. Argumentação e Lógica Formal Motivar para o estudo da lógica Definir lógica. Filosofia - 11.ºAno UNID- RACIONALIDADE ARGUMENTATIVA E FILOSOFIA Nº Aulas:50 aulas de 45 minutos 1. Argumentação e Lógica Formal Motivar para o estudo da lógica Definir lógica. Desafios lógicos 1.1 Distinção

Leia mais

Representação de Conhecimento

Representação de Conhecimento Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Representação de Conhecimento Inteligência Artificial Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com

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 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

Aula 6: Dedução Natural

Aula 6: Dedução Natural Lógica para Computação Segundo Semestre, 2014 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado

Leia mais

Autor: Francisco Cubal Disponibilizado apenas para Resumos.tk

Autor: Francisco Cubal Disponibilizado apenas para Resumos.tk Conceito e Finalidade da Lógica Existem variados conceitos do que é a Lógica. Conceitos: A lógica é o estudo das inferências ou argumentos válidos. A lógica é o estudo do que conta como uma boa razão para

Leia mais