PENSAMENTO CRÍTICO. Aula 3. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC
|
|
- Lúcia Amarante Rico
- 6 Há anos
- Visualizações:
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 2016-2 Conceitos trabalhados até aqui: Inferência; Premissa; Conclusão; Argumento; Premissa Básica; Premissa
Leia maisPENSAMENTO 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 maisPENSAMENTO 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 maisAula 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 maisPENSAMENTO 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 maisn. 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 maisimpossí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 maisn. 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 maisLó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 maisIntroduçã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 maisFundamentos 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 maisAula 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 maisLó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 maisLó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 maisLó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 maisLó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 maisMatemá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 maisLó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 maisUNIVERSIDADE 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 maisLó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 maisMatemá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 maisAula 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 maisLó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 maisGabarito 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 maisLó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 maisLó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 maisESCOLA 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 maisUnidade: 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 maisCurso 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 maisInduçã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 maisTecnologia 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 maisReferê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 maisTrata-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 maisLó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 maisINTERPRETAÇÃ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 maisLó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 maisAula 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 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 maisLó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 maisLó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 maisLó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 maisSistemas 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 maisSistemas 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 mais6 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 maisProf.ª 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 maisFundamentos 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 maisUma 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 maisAula 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 maisO 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 maisAutor: 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 maisLó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 maisMetodologia 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 maisP(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 maisSERVIÇ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 maisRegras 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 maisLó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 maisLó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 maisDeduçã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 maisJosé 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 mais4 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 maisLó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 maisApresentaçã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 maisPaper 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 maisUNIVERSIDADE 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 maisLó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 maisInferê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 maisMA14 - 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 maisInteligê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 maisO 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 maisRACIOCÍ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 maisAlgoritmos 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 maisDefiniçã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 maisAná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 maisFORMAÇÃ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 mais1 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 maisANEXO 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 maisDemonstraçõ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 maisProcessos 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 maisMAT 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 maisIME, 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 maisAdministraçã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 maisIME, 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 maisFundamentos 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 maisUnidade 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 maisPlano 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 maisCÂ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 maisRetomada 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 maisGeneralidades 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 maisIntroduçã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 mais3º 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 maisInduçã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 maisLó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 maisn. 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 maisGeneralidades 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 maisMá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 maisConceitos 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 maisRACIOCÍ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 maisCOLÉ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