PENSAMENTO CRÍTICO. Aula 3. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

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

Download "PENSAMENTO CRÍTICO. Aula 3. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC"

Transcrição

1 PENSAMENTO CRÍTICO Aula 3 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

2 Inferir é concluir, é extrair informação nova a partir de raciocínio, do encadeamento de informações disponíveis. Inferência é tanto o processo de extração de informação nova quanto a própria informação obtida (conclusão). INFERIR E INFERÊNCIA

3 Basicamente, raciocinar, ou fazer inferência, consiste em manipular a informação disponível aquilo que sabemos, ou supomos, ser verdadeiro; aquilo em que acreditamos e extrair consequências disso, obtendo informação nova. O resultado de um processo (bem-sucedido) de inferência é que você fica sabendo (ou, ao menos, acreditando em) algo que você não sabia antes. [...] Por outro lado, é importante notar que nem sempre o ponto de partida do processo são coisas sabidas, ou em que se acredita: muitas vezes raciocinamos a partir de hipóteses. [...] É provavelmente desnecessário mencionar mas vou fazê-lo assim mesmo que existem outras maneiras, além de inferências, de obter informação nova. Frequentemente, contudo, obtemos informação executando inferências, ou seja, raciocinando, e é aqui que o interesse da lógica se concentra. (MORTARI, Cezar A. Introdução à Lógica. São Paulo, UNESP/ Imprensa Oficial do Estado, 2001, p. 4, grifos nossos)

4 A Lógica estuda inferências e argumentos. Qual a relação entre as noções em questão? INFERÊNCIA E ARGUMENTO

5 Conclusão é a informação extraída do processo de inferência. Premissas são as informações que servem de fundamento para as inferências, são os pressupostos disponíveis que justificam, embasam, oferecem sustento adequado para a aceitação da conclusão. PREMISSAS E CONCLUSÃO

6 Um argumento é uma entidade linguística, [...] uma inferência não o é. [...] Para avaliar uma inferência, devemos considerar a relação entre uma conclusão e a evidência da qual a conclusão é extraída. Assim como a conclusão deve ser formulada, também a evidência deve sê-lo. Quando a evidência é explicitada, temos as premissas de um argumento; quando a conclusão é enunciada, converte-se na conclusão desse argumento. O enunciado da inferência é, portanto, um argumento, e este pode ser submetido à análise lógica. (SALMON, W. C. Lógica. Tradução de Álvaro Cabral. Rio de Janeiro: LTC, 2002, p. 5) A RELAÇÃO ENTRE INFERÊNCIA E ARGUMENTO

7 Um argumento é uma sequência de enunciados na qual um dos enunciados é a conclusão e os demais são premissas, as quais servem para provar ou, pelo menos, fornecer alguma evidência para a conclusão. (NOLT, John; ROHATYN, Dennis. Lógica. São Paulo: McGraw-Hill, 1991, p. 1) SOBRE ARGUMENTOS

8 Da demonstração de que a Lebre é inocente decorre por (iv) que a Lebre diz apenas verdades e, usando a hipótese (i), temos que o Chapeleiro também é inocente. Novamente usamos o pressuposto (iv) para inferirmos que o Chapeleiro diz verdades e, portanto, a hipótese (ii) é necessariamente verdadeira, i.e., o Leirão também é inocente. Neste caso, tem-se então que as três criaturas são inocentes. RESOLUÇAO DE PARTE DO SEGUNDO ENIGMA

9 P 1 A 1. P 2 A 1. A Lebre é inocente. [Premissa Não Básica ou Conclusão Intermediária] Os inocentes sempre dizem a verdade. [Premissa Básica (PB)] CA 1. = P 1 A 2. O chapeleiro é inocente. [Conclusão do Argumento 1 e Premissa do Argumento 2; logo, uma Conclusão Intermediária (CI) ou Premissa Não Básica (PNB)] CA 2. = P 1 A 3. O chapeleiro diz a verdade. [CI/PNB] P 2 A 3. CA 3. CA final. O chapeleiro disse que o Leirão é inocente. [PB] O Leirão é, de fato, inocente. As três criaturas são inocentes. ESQUEMA ARGUMENTATIVO

10 Costuma-se denominar argumentos complexos aqueles que são constituídos por etapas e, portanto, contêm um outro argumento como uma dessas etapas. Nomeiam-se premissas não-básicas ou conclusões intermediárias as sentenças que foram inferidas de premissas anteriores (são, portanto, conclusões) e, concomitantemente, servem de pressuposto para novas inferências (são, portanto, premissas). Os dois nomes refletem o papel dual das sentenças em questão. As premissas que não são conclusões de premissas prévias, por sua vez, são chamadas premissas básicas. ARGUMENTOS COMPLEXOS

11 Os argumentos contidos em outro(s) são denominados subargumentos. Assim, um argumento complexo necessariamente contém, ao menos, um subargumento. SUBARGUMENTOS

12 Na prática, os argumentos costumam ser macroestruturas formadas por argumentos menores, ou subargumentos. Muitas vezes, a melhor forma de começar a deslindar uma rede complexa de argumentação é identificar e formular com clareza um ou mais desses argumentos. (WALTON, 2006, p. 151)

13 MAQUIAVEL. O príncipe, capítulo III. Tradução de Lívio Xavier. São Paulo: Abril Cultural, 1983, p. 11. (Os Pensadores) EXERCÍCIO

14 EXERCÍCIO. É necessário fazer isso [organizar colônias], ou ter lá muita força armada. Com as colônias não se gasta muito, e sem grande despesa podem ser feitas e mantidas. [...] Mas conservando, em vez de colônias, força armada, gasta-se muito mais, e tem de ser despendida nela toda a receita da província. A conquista torna-se, pois, perda, e ofende muito mais, porque prejudica todo o Estado com as mudanças de alojamento das tropas. Estes incômodos todos os sentem, e todos por fim se tornam inimigos que podem fazer mal, ainda batidos na própria casa. Por todas as razões, pois, é inútil conservar força armada, ao contrário de manter colônias. MAQUIAVEL. O príncipe, capítulo III. Tradução de Lívio Xavier. São Paulo: Abril Cultural, 1983, p. 11. (Os Pensadores)

PENSAMENTO CRÍTICO. Aula 4. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

PENSAMENTO CRÍTICO. Aula 4. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC PENSAMENTO CRÍTICO Aula 4 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 Conceitos trabalhados até aqui: Inferência; Premissa; Conclusão; Argumento; Premissa Básica; Premissa

Leia mais

PENSAMENTO CRÍTICO. Aula 2. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

PENSAMENTO CRÍTICO. Aula 2. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC PENSAMENTO CRÍTICO Aula 2 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 A fim de trabalhar o conceito de inferência, são propostos alguns enigmas lógicos extraídos da obra abaixo

Leia mais

PENSAMENTO CRÍTICO. Aula 5. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC

PENSAMENTO CRÍTICO. Aula 5. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC PENSAMENTO CRÍTICO Aula 5 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 As conjunções coordenativas explicativas, cuja função é justamente a de unir duas sentenças, das quais

Leia mais

Aula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

Aula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Aula 02 Introdução à Lógica Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Conceitos Iniciais sobre Lógica; Argumento; Inferência; Princípios. Contextualização: Situação

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

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

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

n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V

n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V n. 5 Implicações Lógicas A implicação lógica trata de um conjunto de afirmações, proposições simples ou compostas, cujo encadeamento lógico resultará em uma conclusão, a ser descoberta. Tal conclusão deverá

Leia mais

Lógica Computacional. Métodos de Inferência. Passos de Inferência. Raciocínio por Casos. Raciocínio por Absurdo. 1 Outubro 2015 Lógica Computacional 1

Lógica Computacional. Métodos de Inferência. Passos de Inferência. Raciocínio por Casos. Raciocínio por Absurdo. 1 Outubro 2015 Lógica Computacional 1 Lógica Computacional Métodos de Inferência Passos de Inferência Raciocínio por Casos Raciocínio por Absurdo 1 Outubro 2015 Lógica Computacional 1 Inferência e Passos de Inferência - A partir de um conjunto

Leia mais

Introdução ao pensamento matemático

Introdução ao pensamento matemático Introdução ao pensamento matemático Lisandra Sauer Geometria Euclidiana UFPel Uma das principais características da Matemática é o uso de demonstrações (provas) para justificar a veracidade das afirmações.

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

Aula 7: Dedução Natural 2

Aula 7: Dedução Natural 2 Lógica para Computação Segundo Semestre, 2014 DAINF-UTFPR Aula 7: Dedução Natural 2 Prof. Ricardo Dutra da Silva -introdução Dada uma premissa A, nós podemos concluir A B para qualquer fórmula B. A justificativa

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, Informática e Comunicação

Lógica, Informática e Comunicação * Lógica Informal Exemplo: Todos os homens são mortais Sócrates é um homem.. Sócrates é mortal Lógica, Informática e Comunicação Elthon Allex da Silva Oliveira e-mail: el7hon@gmail.com Argumentos (revisando)

Leia mais

Lógica Computacional. Argumentos válidos e sólidos. Métodos de demonstração. Demonstrações formais. Regras de Inferência Igualdade

Lógica Computacional. Argumentos válidos e sólidos. Métodos de demonstração. Demonstrações formais. Regras de Inferência Igualdade Lógica Computacional Argumentos válidos e sólidos Métodos de demonstração Demonstrações formais Regras de Inferência Igualdade Não-consequências lógicas Argumentos Exemplo: 1. Todos as aves voam. 2. O

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 13: Dedução Natural em Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de

Leia mais

Matemática Computacional. Introdução

Matemática Computacional. Introdução Matemática Computacional Introdução 1 Definição A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. 2 Origem Aristóteles

Leia mais

Lógica Computacional Aulas 8 e 9

Lógica Computacional Aulas 8 e 9 Lógica Computacional Aulas 8 e 9 DCC/FCUP 2017/18 Conteúdo 1 Lógica proposicional 1 11 Integridade e completude dum sistema dedutivo D 1 111 Integridade do sistema de dedução natural DN 1 112 3 12 Decidibilidade

Leia mais

UNIVERSIDADE FEDERAL DE GOIÁS CENTRO DE SELEÇÃO DA UFG

UNIVERSIDADE FEDERAL DE GOIÁS CENTRO DE SELEÇÃO DA UFG UNIVERSIDADE FEDERAL DE GOIÁS CENTRO DE SELEÇÃO DA UFG Á FACULDADE DE ADMINISTRAÇÃO, CIÊNCIAS CONTÁBEIS E CIÊNCIAS ECONÔMICAS/FACE - PROGRAMA DE PÓS-GRADUAÇÃO EM ADMINISTRAÇÃO Encaminhamos os recursos

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

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade

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 para Computação Primeiro Semestre, Aula 10: Resolução. Prof. Ricardo Dutra da Silva

Lógica para Computação Primeiro Semestre, Aula 10: Resolução. Prof. Ricardo Dutra da Silva Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 10: Resolução Prof. Ricardo Dutra da Silva A resolução é um método de inferência em que: as fórmulas devem estar na Forma Clausal; deduções

Leia mais

Gabarito comentado do teste especial de Raciocínio Lógico para o concurso Terracap-DF. 26 funcionários no total, sendo 18 mulheres, logo 8 são homens.

Gabarito comentado do teste especial de Raciocínio Lógico para o concurso Terracap-DF. 26 funcionários no total, sendo 18 mulheres, logo 8 são homens. Gabarito comentado do teste especial de Raciocínio Lógico para o concurso Terracap-DF Questão 01 26 funcionários no total, sendo 18 mulheres, logo 8 são homens. Questão 02 Gabarito: D Deve-se escolher

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

Lógica Matemática 1. Semanas 4, 5 e 6. Material previsto para três semanas

Lógica Matemática 1. Semanas 4, 5 e 6. Material previsto para três semanas Lógica Matemática 1 Semanas 4, 5 e 6 Professor Departamento Acadêmico de Matemática Universidade Tecnológica Federal do Paraná Material previsto para três semanas Operações lógicas 1 Outras operações lógicas

Leia mais

ESCOLA ONLINE DE CIÊNCIAS FORMAIS CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (2) METALÓGICA DO CÁLCULO PROPOSICIONAL

ESCOLA ONLINE DE CIÊNCIAS FORMAIS CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (2) METALÓGICA DO CÁLCULO PROPOSICIONAL AULA 08 ARGUMENTAÇÃO E REDUÇÃO AO ABSURDO Argumentos DEINIÇÃO 1: Uma forma argumentativa da lógica proposicional (ou simplesmente argumento) é uma sequência finita de fórmulas da lógica proposicional.

Leia mais

Unidade: Proposições Logicamente Equivalentes. Unidade I:

Unidade: Proposições Logicamente Equivalentes. Unidade I: Unidade: Proposições Logicamente Equivalentes Unidade I: 0 Unidade: Proposições Logicamente Equivalentes Nesta unidade, veremos a partir de nossos estudos em tabelas-verdade as proposições logicamente

Leia mais

Curso de Engenharia - UNIVESP Disciplina Matemática - Bimestre 1. Exercícios da semana 1 - vídeo aulas 1 e 2

Curso de Engenharia - UNIVESP Disciplina Matemática - Bimestre 1. Exercícios da semana 1 - vídeo aulas 1 e 2 Curso de Engenharia - UNIVESP Disciplina Matemática - Bimestre 1 Exercícios da semana 1 - vídeo aulas 1 e 2 RECOMENDAÇÕES GERAIS SOBRE A AVALIAÇÃO (PORTFÓLIO) Caro aluno, Nesta semana, a sua avaliação

Leia mais

Indução e filosofia da ciência 1

Indução e filosofia da ciência 1 O equilíbrio dos indícios Indução e filosofia da ciência 1 Stephen Law Algumas das questões mais centrais e importantes colocadas por filósofos da ciência dizem respeito ao problema da confirmação. Os

Leia mais

Tecnologia para Sistemas Inteligentes Apontamentos para as aulas sobre. Incerteza: Regras com Factor de Confiança. Luís Miguel Botelho

Tecnologia para Sistemas Inteligentes Apontamentos para as aulas sobre. Incerteza: Regras com Factor de Confiança. Luís Miguel Botelho Tecnologia para Sistemas Inteligentes Apontamentos para as aulas sobre Incerteza: Regras com Factor de Confiança Luís Miguel Botelho Departamento de Ciências e Tecnologias da Informação Instituto Superior

Leia mais

Referências e materiais complementares desse tópico

Referências e materiais complementares desse tópico Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:

Leia mais

Trata-se de uma negação condicional padrão. Consideremos:

Trata-se de uma negação condicional padrão. Consideremos: Cargo: S01 - INVESTIGADOR DE POLÍCIA CIVIL IPC Disciplina: RACIOCÍNIO LÓGICO Questão Gabarito por extenso Justificativa Conclusão (Deferido ou Indeferido) Resposta Alterada para: Trata-se de uma negação

Leia mais

Lógica dos Conectivos: validade de argumentos

Lógica dos Conectivos: validade de argumentos Lógica dos Conectivos: validade de argumentos Renata de Freitas e Petrucio Viana IME, UFF 16 de setembro de 2014 Sumário Razões e opiniões. Argumentos. Argumentos bons e ruins. Validade. Opiniões A maior

Leia mais

INTERPRETAÇÃO DE TEXTOS FALÁCIAS ARGUMENTATIVAS (PARTE II)

INTERPRETAÇÃO DE TEXTOS FALÁCIAS ARGUMENTATIVAS (PARTE II) INTERPRETAÇÃO DE TEXTOS FALÁCIAS ARGUMENTATIVAS (PARTE II) 9. MÉTODO INDUTIVO (CASO PARTICULAR PARA REGRA GERAL) Consiste em utilizar, de maneira incorreta, a razão indutiva, enunciando uma regra geral

Leia mais

Lógica Computacional

Lógica Computacional Lógica Computacional Modus Ponens e Raciocínio Hipotético Introdução e eliminação da Implicação e da Equivalência Completude e Coerência do Sistema de Dedução Natural 24 Outubro 2016 Lógica Computacional

Leia mais

Aula 1: Introdução ao curso

Aula 1: Introdução ao curso Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos

Leia mais

Álgebra Linear I - Aula 10. Roteiro

Álgebra Linear I - Aula 10. Roteiro Álgebra Linear I - Aula 10 1. Combinação linear de vetores. 2. Subespaços e geradores. Roteiro 1 Combinação linear de vetores Definição 1 (Combinação linear de vetores). Dada um conjunto de vetores U =

Leia mais

Lógica para Computação Introdução. José Gustavo de Souza Paiva

Lógica para Computação Introdução. José Gustavo de Souza Paiva Lógica para Computação Introdução José Gustavo de Souza Paiva 1 Introdução Raciocínio: ato característico da inteligência humana Encadear premissas e extrair uma conclusão Premissa: afirmação ou negação

Leia mais

Lógica Computacional

Lógica Computacional Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 24 Outubro 2017 Lógica Computacional

Leia mais

Lógica Computacional

Lógica Computacional Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 3 Novembro 2016 Lógica Computacional

Leia mais

Sistemas Baseados em Conhecimento

Sistemas Baseados em Conhecimento Sistemas Baseados em Conhecimento Profa. Josiane M. P. Ferreira Baseado no capítulo 2 do livro Sistemas Inteligentes Fundamentos de Aplicações, organizadção: Solange Oliveira Rezende, ed. Manole, 2005.

Leia mais

Sistemas Especialistas (SE)

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

Leia mais

6 Demonstrações indiretas 29. Petrucio Viana

6 Demonstrações indiretas 29. Petrucio Viana GAN00166: Lógica para Ciência da Computação Texto da Aula 9 Demonstrações Indiretas Petrucio Viana Departamento de Análise IME UFF Sumário 1 Demonstrações diretas 2 1.1 Observações................................

Leia mais

Prof.ª Dr.ª Donizete Ritter. MÓDULO II_PARTE 1: Lógica de Argumentação

Prof.ª Dr.ª Donizete Ritter. MÓDULO II_PARTE 1: Lógica de Argumentação Bacharelado em Sistemas de Informação Disciplina: Lógica Prof.ª Dr.ª Donizete Ritter MÓDULO II_PARTE 1: Lógica de Argumentação 1 Origem Aristóteles - filósofo grego - 342 a.c, sistematizou os conhecimentos

Leia mais

Fundamentos de Lógica Matemática

Fundamentos de Lógica Matemática Webconferência 6-29/03/2012 Introdução à Lógica de Predicados Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução

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

Aula 7 Os teoremas de Weierstrass e do valor intermediário.

Aula 7 Os teoremas de Weierstrass e do valor intermediário. Os teoremas de Weierstrass e do valor intermediário. MÓDULO - AULA 7 Aula 7 Os teoremas de Weierstrass e do valor intermediário. Objetivo Compreender o significado de dois resultados centrais a respeito

Leia mais

O Problema dos 3 Potes d água

O Problema dos 3 Potes d água Proceeding Series of the Brazilian Society of Applied and Computational Mathematics, Vol. 3, N. 1, 015. Trabalho apresentado no XXXV CNMAC, Natal-RN, 014. O Problema dos 3 Potes d água César Guilherme

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

Lógica Matemática. Definição. Origem. Introdução

Lógica Matemática. Definição. Origem. Introdução Lógica Matemática Introdução 1 Definição A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. 2 Origem Aristóteles

Leia mais

Metodologia Científica

Metodologia Científica Metodologia Científica O PROCESSO DE LEITURA E DA PRODUÇÃO DE TEXTOS Profª Ma. Fabiana Rocha O PROCESSO DE LEITURA Importância da Leitura Aprendizagem do ser humano; Enriquecer o vocabulário; Obter conhecimento;

Leia mais

P(A i ) (n 1) i=1. Sorteia-se um homem desse grupo. Qual é a probabilidade de que seja paulista recém-formado, mas não pediatra?

P(A i ) (n 1) i=1. Sorteia-se um homem desse grupo. Qual é a probabilidade de que seja paulista recém-formado, mas não pediatra? GET0089 Probabilidade I Aula de exercícios - 4/08/08 Profa. Ana Maria Lima de Farias. Prove, por indução, a desigualdade de Bonferroni. Se A, A,..., A n são eventos de um espaço de probabilidade (Ω, F,

Leia mais

SERVIÇO PÚBLICO FEDERAL - MINISTÉRIO DA EDUCAÇÃO FUNDAÇÃO UNIVERSIDADE FEDERAL DE RONDÔNIA CAMPUS DE ROLIM DE MOURA DEPARTAMENTO DE EDUCAÇÃO DO CAMPO

SERVIÇO PÚBLICO FEDERAL - MINISTÉRIO DA EDUCAÇÃO FUNDAÇÃO UNIVERSIDADE FEDERAL DE RONDÔNIA CAMPUS DE ROLIM DE MOURA DEPARTAMENTO DE EDUCAÇÃO DO CAMPO SERVIÇO PÚBLICO FEDERAL - MINISTÉRIO DA EDUCAÇÃO FUNDAÇÃO UNIVERSIDADE FEDERAL DE RONDÔNIA CAMPUS DE ROLIM DE MOURA DEPARTAMENTO DE EDUCAÇÃO DO CAMPO PLANO DE ENSINO DA DISCIPLINA INTRODUÇÃO À FILOSOFIA

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

Lógica dos Conectivos: demonstrações indiretas

Lógica dos Conectivos: demonstrações indiretas Lógica dos Conectivos: demonstrações indiretas Renata de Freitas e Petrucio Viana IME, UFF 5 de novembro de 2014 Sumário Acrescentando premissas. Estratégias indiretas. Principais exemplos. Um problema

Leia mais

Lógica Matemática - Indução

Lógica Matemática - Indução Lógica Matemática - Indução Prof. Elias T. Galante - 017 Breve introdução losóca à indução Raciocinar é inferir, ou seja, passar do que já se conhece de algum modo ao que ainda não se conhece. Este processo

Leia mais

Dedução Natural para Lógica Proposicional

Dedução Natural para Lógica Proposicional Dedução Natural para Lógica Proposicional Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 11 de dezembro de 2012 Motivação (I) Considere

Leia mais

José Paulo Carneiro (0; 0) (0; 1) (0; 2) (0; 3) (1; 0) (1; 1) (1; 2) (1; 3) (2; 0) (2; 1) (2; 2) (2; 3) (3; 0) (3; 1) (3; 2) (3; 3)

José Paulo Carneiro (0; 0) (0; 1) (0; 2) (0; 3) (1; 0) (1; 1) (1; 2) (1; 3) (2; 0) (2; 1) (2; 2) (2; 3) (3; 0) (3; 1) (3; 2) (3; 3) A ENUMERABILIDADE DE E O CHÃO TRIANGULAR José Paulo Carneiro Nível Intermediário < < é < < e

Leia mais

4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência.

4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência. 1 LIVRO Regras de Inferência e Regras de Equivalência 4 AULA META: Introduzir algumas regras de inferência e algumas regras de equivalência. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de:

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

Apresentação do curso

Apresentação do curso Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica

Leia mais

Paper O que é e como fazer

Paper O que é e como fazer 1 Paper O que é e como fazer Prof. Sergio Enrique Faria 1- Conceito de paper O paper, position paper ou posicionamento pessoal é um pequeno artigo científico a respeito de um tema pré-determinado. Sua

Leia mais

UNIVERSIDADE FEDERAL DO CEARÁ COORDENADORIA DE CONCURSOS CCV

UNIVERSIDADE FEDERAL DO CEARÁ COORDENADORIA DE CONCURSOS CCV Questão: 02 O candidato alega que, na questão 02, tanto a alternativa E como a alternativa A apresentam-se corretas, visto que as linhas 12 e 13 mostram que os violinistas mais relaxados também tinham

Leia mais

Lógica dos Conectivos: demonstrações indiretas

Lógica dos Conectivos: demonstrações indiretas Lógica dos Conectivos: demonstrações indiretas Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário Olhe para as premissas Olhe para a conclusão Estratégias indiretas Principais exemplos

Leia mais

Inferência Estatística Básica. Teste de Hipóteses: decidindo na presença de incerteza

Inferência Estatística Básica. Teste de Hipóteses: decidindo na presença de incerteza Inferência Estatística Básica Teste de Hipóteses: decidindo na presença de incerteza Exemplo Inicial A ProCare Industries LTDA lançou, certa vez, um produto chamado Gender Choice. De acordo com a propaganda,

Leia mais

MA14 - Aritmética Unidade 3. Divisão nos Inteiros (Divisibilidade)

MA14 - Aritmética Unidade 3. Divisão nos Inteiros (Divisibilidade) MA14 - Aritmética Unidade 3 Divisão nos Inteiros (Divisibilidade) Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio

Leia mais

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente Inteligência Artificial Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente 1 Bem-vindos ao Mundo do Wumpus Wumpus Agente caçador de tesouros 2 Codificação do Mundo do Wumpus 4 3 fedor

Leia mais

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE ANA PAULA CHAVES AND THIAGO PORTO 1. Introdução Os temas centrais deste texto - bases numéricas e critérios de divisibilidade

Leia mais

RACIOCÍNIO LÓGICO. Quantas dessas proposições compostas são FALSAS? a) Nenhuma. b) Apenas uma. c) Apenas duas. d) Apenas três. e) Quatro.

RACIOCÍNIO LÓGICO. Quantas dessas proposições compostas são FALSAS? a) Nenhuma. b) Apenas uma. c) Apenas duas. d) Apenas três. e) Quatro. RACIOCÍNIO LÓGICO 01. Uma proposição é uma sentença fechada que possui sentido completo e à qual se pode atribuir um valor lógico verdadeiro ou falso. Qual das sentenças apresentadas abaixo se trata de

Leia mais

Algoritmos I Aula 2 Lógica de Programação

Algoritmos I Aula 2 Lógica de Programação Algoritmos I Aula 2 Lógica de Programação Professor: Max Pereira http://paginas.unisul.br/max.pereira Ciência da Computação O que é Lógica? O termo lógica está relacionado com o logos, razão, palavra ou

Leia mais

Definição tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade.

Definição tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. Lógica de Programação Introdução Sistema de Informação Ementa: Cálculo proposicional e dos predicados. Sistemas Algébricos. Noções de Álgebra de Boole. Circuitos Lógicos. L Lógica de primeira ordem. Álgebra.

Leia mais

Análise de Algoritmos

Análise de Algoritmos Análise de Algoritmos Técnicas de Prova Profa. Sheila Morais de Almeida DAINF-UTFPR-PG julho - 2015 Técnicas de Prova Definição Uma prova é um argumento válido que mostra a veracidade de um enunciado matemático.

Leia mais

FORMAÇÃO CONTINUADA EM MATEMÁTICA Matemática 9º Ano 3º Bimestre/2012 FUNÇÃO POLINOMIAL DO 1º GRAU

FORMAÇÃO CONTINUADA EM MATEMÁTICA Matemática 9º Ano 3º Bimestre/2012 FUNÇÃO POLINOMIAL DO 1º GRAU FORMAÇÃO CONTINUADA EM MATEMÁTICA Matemática 9º Ano 3º Bimestre/2012 Plano de Trabalho FUNÇÃO POLINOMIAL DO 1º GRAU Tarefa 1 Cursista: Germana Gualberto de Abreu Menezes Tutor: Bruno de Morais Lemos S

Leia mais

1 Conjuntos, Números e Demonstrações

1 Conjuntos, Números e Demonstrações 1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para

Leia mais

ANEXO 1. Metas para um Currículo de Pensamento Crítico. (Taxonomia de Ennis)

ANEXO 1. Metas para um Currículo de Pensamento Crítico. (Taxonomia de Ennis) ANEXO 1 Metas para um Currículo de Pensamento Crítico (Taxonomia de Ennis) 245 METAS PARA UM CURRÍCULO DE PENSAMENTO CRÍTICO I Definição operacional: O Pensamento Crítico é uma forma de pensar reflexiva

Leia mais

Demonstrações. Terminologia Métodos

Demonstrações. Terminologia Métodos Demonstrações Terminologia Métodos Técnicas de Demonstração Uma demonstração é um argumento válido que estabelece a verdade de uma sentença matemática. Técnicas de Demonstração Demonstrações servem para:

Leia mais

Processos Estocásticos

Processos Estocásticos Processos Estocásticos Quarta Lista de Exercícios 12 de fevereiro de 2014 1 Sejam X e Y duas VAs que só podem assumir os valores 1 ou -1 e seja p(x, y) = P (X = x, Y = y), x, y { 1, 1} a função de probabilidade

Leia mais

MAT Laboratório de Matemática I - Diurno Profa. Martha Salerno Monteiro

MAT Laboratório de Matemática I - Diurno Profa. Martha Salerno Monteiro MAT 1511 - Laboratório de Matemática I - Diurno - 2005 Profa. Martha Salerno Monteiro Representações decimais de números reais Um número real pode ser representado de várias maneiras, sendo a representação

Leia mais

IME, UFF 10 de dezembro de 2013

IME, UFF 10 de dezembro de 2013 Lógica IME, UFF 10 de dezembro de 2013 Sumário.... Considere o seguinte argumento Um problema de validade (1) p q q r r s s t p t (1) é válido ou não? A resposta é sim... Uma demonstração Uma demonstração

Leia mais

Administração Central Unidade de Ensino Médio e Técnico - Cetec. Ensino Técnico

Administração Central Unidade de Ensino Médio e Técnico - Cetec. Ensino Técnico Plano de Trabalho Docente 2013 Ensino Técnico Etec Prof. Massuyuki Kawano Código: 136 Município: Tupã Eixo Tecnológico: Gestão e Negócios Habilitação Profissional: Técnica de Nível Médio de Técnico em

Leia mais

IME, UFF 4 de novembro de 2013

IME, UFF 4 de novembro de 2013 Lógica IME, UFF 4 de novembro de 2013 Sumário e ferramentas Considere o seguinte texto, da aritmética dos números naturais. Teorema: Todo número inteiro positivo maior que 1 tem um fator primo. Prova:

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

Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano

Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano A Pirâmide de aprendizagem de William Glasser Unidade 1 - Elementos de Lógica e Linguagem Matemáticas Matemática Básica Departamento de Matemática Aplicada Universidade Federal Fluminense 2018.1 Segundo

Leia mais

Plano de Trabalho Docente Ensino Técnico

Plano de Trabalho Docente Ensino Técnico Plano de Trabalho Docente 2014 Ensino Técnico Etec: Professor Massuyuki Kawano Código: 136 Município: Tupã Área de conhecimento: Infraestrutura Componente Curricular: Técnica de Nível Médio de Técnico

Leia mais

CÂMARA MUNICIPAL DE PIMENTA-MG CONCURSO PÚBLICO 001/2018

CÂMARA MUNICIPAL DE PIMENTA-MG CONCURSO PÚBLICO 001/2018 RECORRENTE: AGUEDA APARECIDA RODRIGUES INSCRIÇÃO Nº. 0032 CANDIDATO AO CARGO: AUXILIAR DE SERVIÇOS GERAIS QUESTÃO: 18 MATÉRIA: RACIOCÍNIO LÓGICO REQUERIMENTO: A candidata requer a revisão da questão. Ao

Leia mais

Retomada aula. Introdução sobre Inteligência Artificial Abordagem sobre Agentes Resolução de problemas estratégias de busca - apresentação trabalhos

Retomada aula. Introdução sobre Inteligência Artificial Abordagem sobre Agentes Resolução de problemas estratégias de busca - apresentação trabalhos Retomada aula Introdução sobre Inteligência Artificial Abordagem sobre Agentes Resolução de problemas estratégias de busca - apresentação trabalhos 1 Estratégias de busca Algoritmos de busca local e otimização:

Leia mais

Generalidades sobre conjuntos

Generalidades sobre conjuntos Generalidades sobre conjuntos E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Conjuntos e a noção de pertinência Na teoria dos

Leia mais

Introdução à Lógica. Prof. João Borba

Introdução à Lógica. Prof. João Borba Introdução à Lógica Prof. João Borba A Lógica é a área da filosofia que estuda as inferências. Quando pensamos a respeito das coisas, fazemos sempre muitas inferências. Mas o que é fazer uma inferência?

Leia mais

3º ANO DO ENSINO MÉDIO 30 de abril de 2010

3º ANO DO ENSINO MÉDIO 30 de abril de 2010 3º ANO DO ENSINO MÉDIO 30 de abril de 2010 O ENEM (Exame Nacional do Ensino Médio) é uma avaliação aplicada anualmente pelo MEC (Ministério da Educação e Cultura) desde 1998. A partir de 2009 o MEC aplicou

Leia mais

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril Matemática Discreta Indução Matemática Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG Abril - 2017 Indução Matemática Se desejamos provar que A(n) B(n) é verdade para números inteiros k maiores

Leia mais

Lógica. História da Lógica

Lógica. História da Lógica 1 Lógica História da Lógica A história da lógica começa com os trabalhos do filósofo grego Aristóteles (384-322 a.c.) de Estagira (hoje Estavro), na Macedônia, não se conhecendo precursores de sua obra,

Leia mais

n. 15 ÁREA DE UM TRIÂNGULO Logo, a área do triângulo é obtida calculando-se a metade da área do S = 1 2

n. 15 ÁREA DE UM TRIÂNGULO Logo, a área do triângulo é obtida calculando-se a metade da área do S = 1 2 n. 15 ÁREA DE UM TRIÂNGULO Do cálculo da área do paralelogramo temos: S ABCD = u x v Logo, a área do triângulo é obtida calculando-se a metade da área do paralelogramo, portanto S ABC = 1 u x v Assim,

Leia mais

Generalidades sobre conjuntos

Generalidades sobre conjuntos Generalidades sobre conjuntos E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Conjuntos e a noção de pertinência Na teoria dos

Leia mais

Máximos e mínimos em intervalos fechados

Máximos e mínimos em intervalos fechados Universidade de Brasília Departamento de Matemática Cálculo 1 Máximos e mínimos em intervalos fechados No texto em que aprendemos a Regra da Cadeia, fomos confrontados com o seguinte problema: a partir

Leia mais

Conceitos e Controvérsias

Conceitos e Controvérsias Conceitos e Controvérsias QUAL É A SOMA DOS ÂNGULOS (internos ou externos) DE UM POLÍGONO (convexo ou não)? Elon Lages Lima IMPA Introdução Todos sabem que a soma dos ângulos internos de um triângulo vale

Leia mais

RACIOCÍNIO LÓGICO. Lógica de Argumentação. Operadores Lógicos Parte 3. Prof. Renato Oliveira

RACIOCÍNIO LÓGICO. Lógica de Argumentação. Operadores Lógicos Parte 3. Prof. Renato Oliveira RACIOCÍNIO LÓGICO Lógica de Argumentação. Parte 3. Prof. Renato Oliveira 1) Há três suspeitos de um crime: o cozinheiro, a governanta e o mordomo. Sabe-se que o crime foi efetivamente cometido por um ou

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