Argumentação e lógica formal O que é e para que serve a lógica
|
|
- Thomas Marques Gusmão
- 6 Há anos
- Visualizações:
Transcrição
1 Argumentação e lógica formal O que é e para que serve a lógica
2 Para resolver este exercício tivemos que: Pensar, raciocinar, isto é, a partir de certas evidências inferir (concluir) outras. Para mostrar aos colegas que tínhamos resolvido o exercício tivemos que usar o discurso argumentativo, isto é, a partir de certas proposições (as premissas), inferir outras (conclusões). Para resolver este exercício não tivemos de estudar nenhuma disciplina na escola etc. Usamos o pensamento natural e o conhecimento de experiência que temos. Contudo às vezes nós e os outros cometemos erros involuntários ou com o intuito de enganar. Exemplo: Quais os argumentos corretos e quais os incorretos? Os cereais são plantas O centeio é um cereal Logo, o centeio é uma planta Todos os artistas são criativos Picasso foi um artista Logo, Picasso foi criativo Os chineses são europeus Barack Obama é chinês Logo, Barack Obama é europeu Os cereais são plantas O centeio é uma planta Logo, o centeio é um cereal Todos os artistas são criativos Picasso foi criativo Logo, Picasso foi um artista Barack Obama é escritor Alguns escritores são democratas Logo, Barack Obama é democrata Se nos guiarmos apenas pela intuição lógica as coisas podem ficar um bocado confusas
3 Por isso há que estudar a lógica Importância e utilidade da lógica Conhecer as leis/regras do pensar Permite o conhecer as regras do raciocínio e do argumentar válidos Evitar erros Permite aprender a pensar e argumentar de forma válida Detetar erros Permite aprender a avaliar a validade de argumentos Relação entre argumentação e lógica ARGUMENTAÇÃO LÓGICA Capacidade de defender uma ideia através do raciocínio e usando o discurso. Ciência que estuda os princípios gerais que estão na base do nosso pensamento (raciocínio válido) Recurso a argumentos para defender/apresentar essa ideia Avalia a validade dos argumentos O que é um argumento? Argumento Definição Estrutura Característica essencial Conjunto de proposições articuladas entre si por uma relação de justificação Conjunto de proposições Articuladas entre si Relação de justificação Constituído por várias proposições que adotam designações diferentes consoante a função desempenhada Antecedente Consequente Exemplo Premissa Todos os portugueses são europeus Premissa Os alentejanos são portugueses Conclusão Logo, os alentejanos são europeus A sua validade
4 Exercício Enunciados Argumento Não A) Deves procurar manter-te ocupada pois é uma boa terapia para uma vida saudável B) Em Portugal os verões são amenos. No inverno não há muito frio C) Em Portugal os verões são amenos. No inverno não há muito frio. Portugal é um ótimo destino de férias D) As pessoas reformadas não têm ocupação profissional, algumas tomam conta dos netos, outras frequentam universidades para a 3ª idade, outras ainda assistem indolentemente ao passar dos dias E) Os rapazes são giros As cerejas fazem bem à saúde Logo, as férias devem continuar F) Os iogurtes são nutritivos. Há iogurtes naturais, mas também outros com frutas ou com sabores argumento Estrutura Definição Proposição Característica essencial Conteúdo expresso por um enunciado declarativo (condicional ou categórico afirmativo ou negativo-) O seu valor de verdade (verdadeiro ou falso)
5 Exercício Enunciados Proposição Não proposição Prometo fazer boa figura. 3.Balzac foi um romancista francês. 4.Ajuda-me a superar este obstáculo. 5.Será que esta pergunta expressa uma proposição? 6.Que parvo que sou! 7. x>2 8.A minha madrinha deu-me um computador =14 10.Se cá nevasse, fazia-se cá ski
6 Verdade Diz-se das proposições Validade Diz-se dos argumentos Refere-se ao acordo entre o que é declarado na proposição e a realidade acerca da qual algo é declarado Refere-se à articulação entre as o valor de verdade das premissas e o d a conclusão Dois tipos de validade e de argumentos Argumentos dedutivos Exemplo Argumentos indutivos Exemplo Se ganhar o Euromilhões, ganho muito dinheiro Ganhei o euromilhões Logo, ganhei muito dinheiro O ferro, o zinco, o cobre são bons condutores de eletricidade. Logo, os metais são bons condutores de eletricidade É impossível as premissas serem verdadeiras e a conclusão ser falsa Não é impossível as premissas serem verdadeiras e a conclusão falsa A conclusão não vai além da informação contida nas premissas São redundantes, isto é, não aumentam o nosso conhecimento A conclusão ultrapassa (há uma extrapolação) a informação das premissas São ampliativos, isto é, aumentam o nosso conhecimento Diz-se que são válidos ou inválidos A sua validade é formal já que depende unicamente da forma do argumento São válidos quando a sua forma não permite obter uma conclusão falsa de premissas verdadeiras. São inválidos quando ocorre o contrário Diz-se que são argumentativamente ou indutivamente fortes ou fracos A sua correção é material já que depende do conteúdo das premissas e da conclusão São fortes quando a verdade das premissas torna muito provável a verdade da conclusão. São fracos quando ocorre o contrário
7 ARGUMENTOS DEDUTIVOS A validade de argumentos dedutivos depende: Da forma lógica do argumento Da relação lógica entre as premissas e a conclusão Da conclusão ser a consequência necessária das premissas Não importa se as premissas são de facto verdadeiras ou não Para avaliar argumentos dedutivos a análise centra-se exclusivamente na forma do argumento. Forma de argumentos Argumentos Hoje é 3ªFª ou 4ªFª Hoje não é 3ªFª Hoje é 4ªFª Rembrant pintou a Monalisa ou Miguel Ângelo Não foi Rembrant que pintou a Monalisa Miguel Ângelo pintou a Monalisa Forma lógica P ou Q Não P Q Ele é menor de 18 anos ou é maior Ele não é menor de 18 anos Ele é maior de 18 anos Forma lógica ou estrutura de um argumento: consiste na ligação, através de operadores lógicos, entre os valores de verdade das proposições que compõem o argumento e destas com a conclusão Assim um argumento dedutivamente válido aquele que tem uma forma tal que: Sempre que as premissas forem verdadeiras a conclusão não pode ser falsa
8 Para testar a validade de um argumento dedutivo, não importa saber se as premissas e a conclusão são de facto verdadeiras, o que importa é saber se, supondo/imaginando que as premissas são verdadeiras, a conclusão pode ou não ser falsa Há várias combinações possíveis de valores de verdade das premissas e da conclusão que permitem que o argumento seja válido, e só uma o torna inválido Forma de argumento anterior P ou Q Não P Q Esta forma de argumento é das que nunca permite que se obtenha uma conclusão falsa a partir de premissas verdadeiras (caso da 2ª linha abaixo). Premissa(s) Conclusão V V Válido ou inválido V F Inválido F F Válido ou inválido F V Válido ou inválido Qual a importância da validade formal? Preserva a verdade das premissas na passagem para a conclusão Permite testar o valor de verdade das premissas em função do da conclusão Se um argumento é válido e Se as suas premissas são verdadeiras Se um argumento é válido e Se a sua conclusão é falsa Então a sua conclusão é verdadeira Então as suas premissas (parte/todas) são falsas
9 Se ARGUMENTOS INDUTIVOS A conclusão ultrapassa a informação das premissas e A sua correção é material já que depende do conteúdo das premissas e da conclusão Para avaliar argumentos indutivos a análise centramo-nos no conteúdo e não na forma Grau de força argumentativa dos argumentos Argumentos indutivos fortes Argumentos indutivos fracos As premissas dão fortes razões para aceitar na verdade da conclusão As premissas dão-nos razões fracas para aceitar a verdade da conclusão Sabe-se que o sangue de tipo AB é raro. Logo o próximo doente que aparecer não terá sangue do tipo AB Sabe-se que até agora nenhuma mulher foi presidente dos EUA Logo, Nenhuma mulher será presidente dos EUA DEDUTIVO FORTE INDUTIVO FRACO Nenhum mortal pode parar o tempo João é mortal Logo, o João não pode parar o tempo Frequentemente, quando chove fica nublado Está chovendo Logo, está nublado Não há registo de seres humanos com mais de 3 metros de altura Logo, nunca tivemos seres humanos com mais de 3 metros de altura Os turistas que visitam a China quase nunca contraem malária Eduardo está de visita à China Logo, Eduardo não contrairá malária na China Eu sonho com monstros O meu irmão sonha com monstros Logo, todas as pessoas sonham com monstros Todos temos um pai biológico Os irmãos paternos têm o mesmo pai biológico Ninguém é pai biológico de si mesmo Logo, não há pai biológico que seja irmão dele mesmo
10 Lógica proposicional Ramo da lógica formal (só estuda argumentos dedutivos) que estuda operações sobre proposições efetuadas com operadores verofuncionais Tipos de proposições Há 5 operadores ou conectivas proposicionais Conectiva ou operador proposicional Leitura Exemplo Não Negação Deus não existe E Conjunção Deus existe e a vida tem sentido Ou Disjunção inclusiva Deus existe ou a vida tem sentido Ou Disjunção exclusiva Deus existe ou não existe Se,então Condicional Se Deus existe, então a vida tem sentido Se e somente se Bicondicional Deus existe se e somente se a vida tem sentido
11 Exercício Enunciado Proposição Simples Complexa 1- És pintor ou és mecânico 2-Se vens comigo, então sabes onde estou 3-A vida não é uma realidade misteriosa 4-Descartes é filósofo 5-Tudo o que percecionamos é ilusório 6-João passa a filosofia se e somente se estuda muito 7- O Luís é um pintor poeta 8-João estuda muita filosofia O valor de verdade de uma proposição complexa depende de dois fatores: Do valor de verdade das proposições simples que a compõem Do operador lógico que as liga
12 A lógica proposicional é uma lógica simbólica, pois utiliza um vocabulário próprio para evitar as ambiguidades da linguagem natural. Vocabulário Símbolo Leitura Leitura Forma lógica Variáveis proposicionais P,Q,R,S P= Hoje chove Q=Hoje neva Conectivas proposicionais (Constantes proposicionais. Operadores lógicos) Sinais de pontuação (parênteses) Não Hoje não chove P ^ E Hoje chove e neva (P^Q) v Ou Hoje chove ou neva (PvQ) V Ou exclusivo Hoje ou chove ou neva (PѷQ) (PwQ) Se então Se hoje chove,então (P Q) neva Se e Hoje chove se e (P Q) somente se somente se neva ( ) [ ] { }
13 Operadores Leitura Variações linguísticas Negação de P Não P Não é verdade que P É falso que P É errado afirmar que P Não se dá que P Não se tem P P não é o caso Conjunção P e Q P mas Q Quer P quer Q P e também Q P embora Q P assim como Q Não só P, mas também Q P e, além disso, Q P sem levar em conta que Q Disjunção P ou Q P ou Q P ou Q ou ambos Disjunção exclusiva PwQ P ou Q, mas não ambos Ou P ou Q, mas não simultaneamente Ou P ou Q Condicional Se P, então Q Q se P Se P, isto significa que Q Sempre que P, Q Q é resultante de P A condição suficiente de Q, é P A condição necessária de P, é Q Não Q, a menos que P P somente se Q P só se Q P apenas se Q Bicondicional P se e somente se Q P se e só se Q Se P, então Q e reciprocamente P é equivalente a Q P é condição necessária e suficiente para Q Formalização (metodologia) 1- Define-se o dicionário. 2- Simboliza-se as proposições pelas letras correspondentes de acordo com o dicionário 3-3- Simboliza-se as conectivas e coloca-se os parenteses
14 1.1 Está calor e vou à praia Dicionário: P: está calor Q: vou à praia Simbolização: (P ^ Q) 1.2 Não está calor e vou à praia Dicionário: P: está calor Q: vou à praia Simbolização: ( P ^ Q) 1.3 Não é verdade que esteja calor e vou à praia Dicionário: P: está calor Q: vou à praia Simbolização: (P^Q) 1.4 Ou está calor ou vou à praia Dicionário: P: está calor Q: vou à praia Simbolização: (PvQ) 1.5 Se está calor, então vou à praia Dicionário: P: está calor Q: vou à praia Simbolização: (P Q) 1.6 Se está calor, então vou à praia se e somente se não está frio Dicionário: P: está calor Q: vou à praia R: está frio Simbolização: [P (Q R)]
15 1.7 Os amigos vão e vêm, mas os inimigos são para sempre Dicionário: P: os amigos vão Q: os amigos vêm R: os inimigos são para sempre Simbolização: P^(Q^R) 1.8 A Felicidade é impossível Di cionár io : P: a fel icid ade Si m b o l iza ção: P
Argumentação e lógica formal. O que é e para que serve a lógica
Argumentação e lógica formal O que é e para que serve a lógica Para resolver este exercício tivemos que: Pensar, raciocinar, isto é, a partir de certas evidências concluir outras. Para mostrar aos colegas
Leia maisFundamentos da Computação 1. Aula 03
Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise
Leia maisMatemática Régis Cortes. Lógica matemática
Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação
Leia maisResumo 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 maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,
Leia 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 maisIntrodução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional -Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisIntrodução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional - Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisResumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos;
Aula 02 - Lógica Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: allbert.almeida@fatec.sp.gov.br Site: http://www.allbert.com.br /allbert.almeida Resumo aula Conceituação; Origem;
Leia maisFilosofia (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 maisLógica Proposicional (cont.)
Lógica Proposicional (cont.) Conectivos lógicos Conjunção (e: ^) Disjunção (ou: v) Negação (não : ~) Condicional (se...então: ) Bicondicional (se somente se: ) 1 Negação de um proposição composta Negar
Leia maisCá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 maisLógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.
Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório
Leia maisLó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ÍNDICE. Bibliografia CRES-FIL11 Ideias de Ler
ÍNDICE 1. Introdução... 5 2. Competências essenciais do aluno... 6 3. Como ler um texto... 7 4. Como ler uma pergunta... 8 5. Como fazer um trabalho... 9 6. Conteúdos/Temas 11.º Ano... 11 III Racionalidade
Leia maisProf. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Leia maisAprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Raciocínio Lógico Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos
Leia maisLógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
Leia maisProposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
Leia maisRacionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico
Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico Aplicar tabelas de verdade na validação de formas argumentativas Ficha técnica Autores: Professores de Filosofia do
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 maisAprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Sentenças Abertas Raciocínio Lógico Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos:
Leia maisMatemática discreta e Lógica Matemática
AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1
Leia maisLó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 maisRaciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01
Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01 PROPOSIÇÕES Denomina-se proposição a toda frase declarativa, expressa em palavras ou
Leia maisLó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 maisExpandindo 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 maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
Leia 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 maisProposições e argumentos. Proposições tem de ter as seguintes características:
Ser uma frase declarativa (afirmativa ou negativa) Ter sentido Proposições e argumentos Proposições tem de ter as seguintes características: Ter um valor de verdade( ser verdadeira ou falsa) possível determinável
Leia maisLógica em Computação. .: Calculo Proposicional :. Prof. Luís Rodrigo
.: Calculo Proposicional :. Prof. Luís Rodrigo {} [/] Proposição e Conectivos Proposição Simples Uma proposição simples (ou enunciado, ou sentença), é uma declaração que exprime um pensamento com sentido
Leia maisIntrodução à Lógica Proposicional Sintaxe e Semântica
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe e Semântica SINTAXE E SEMÂNTICA Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 LINGUAGEM SIMBÓLICA: COMPONENTES
Leia maisFilosofia (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 maisInteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação)
Universidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação http://www.inf.unioeste.br/~claudia/ia2018.html Inteligência Artificial Sistemas Baseados em Conhecimento Representação
Leia maisLó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 maisRaciocínio Lógico. Matemático. Lógica Proposicional
Raciocínio Lógico Matemático Lógica Proposicional Proposições Lógicas Denomina-se proposição toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro
Leia maisIntrodução a computação
Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...
Leia maisLógica: Quadrado lógico:
Lógica: 1. Silogismo aristotélico: Podemos encara um conceito de dois pontos de vista: Extensão a extensão é um conjunto de objectos que o conceito considerado pode designar ou aos quais ele se pode aplicar
Leia maisRLM 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 maisNão sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES
Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira
Leia maisSumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14
Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...
Leia maisAula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições
Leia maisLógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Leia maisLógica Computacional
Aula Teórica 2: Sintaxe da 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 Informática,
Leia maisUnidade II LÓGICA. Profa. Adriane Paulieli Colossetti
Unidade II LÓGICA Profa. Adriane Paulieli Colossetti Relações de implicação e equivalência Implicação lógica Dadas as proposições compostas p e q, diz-se que ocorre uma implicação lógica entre p e q quando
Leia maisMÓDULO IV O CONHECIMENTO E A RACIONALIDADE CIENTÍFICA E TECNOLÓGICA
Projeto Testes Intermédios 2012/2013 Secundário FILOSOFIA Informação n.º 2 Ano de escolaridade 11.º ano Data 17 de abril de 2013 OBJETO DE AVALIAÇÃO O teste intermédio tem por referência o Programa de
Leia mais01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional
Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.
Leia mais70 Tons de. Raciocínio. Lógico
70 Tons de Raciocínio Lógico BRDE 2015 Qual operação lógica descreve a tabela verdade da função Z abaixo cujo operandos são A e B? Considere que V significa Verdadeiro, e F, Falso. A B Z F F V F V V V
Leia maisRECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
Leia maisCálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 18 de maio de 2013
Leia maisMATEMÁTICA Questões comentadas Daniela Arboite
MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível
Leia 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 maisINE5403 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 maisLÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:
Leia maisFundamentos da Computação 1. Carmen Cecilia Centeno
Fundamentos da Computação 1 Carmen Cecilia Centeno Aula 05 Sobre o curso de Ciência da Computação - lembretes. Plano de Ensino. Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças Definição
Leia maisLogica para computação
Logica para computação Lógica Informal: Argumentos l Um argumento é uma sequência de proposições na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão. Exemplo
Leia maisQuestões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Considere as afirmações: I. A camisa é azul ou a gravata é branca. II. Ou o sapato é marrom ou a camisa
Leia mais22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo
Conteúdo 1. Conceitos Iniciais... 6 2. Proposições [1]... 7 3. Proposições [2] Tautologia - Contradição - Contigência... 8 4. Não são Proposições... 9 5. Lógica argumentativa Negação... 10 6. Lógica argumentativa
Leia 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 maisProf. 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 maisResolução da Prova de Raciocínio Lógico da DPU (Nível Médio) de 2016, aplicada em 24/01/2016.
Resolução da Prova de Raciocínio Lógico da DPU (Nível Médio) de 2016, aplicada em 24/01/2016. Em uma festa com 15 convidados, foram servidos 30 bombons: 10 de morango, 10 de cereja e 10 de pistache. Ao
Leia maisVERDADE 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 maisLó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 maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia: Banco de dados e Sistemas para Internet Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL EXERCÍCIOS
Leia maisCurso 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 maisLó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 maisRACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração
Leia maisINTRODUÇÃO À LÓGICA. Julian Dutra Professor de Filosofia Colégio João Paulo I Unidade Sul Março de 2018
INTRODUÇÃO À LÓGICA Julian Dutra Professor de Filosofia Colégio João Paulo I Unidade Sul Março de 2018 Um argumento é um conjunto de sentenças onde algumas dessas sentenças são as premissas e uma dessas
Leia maisIntrodução. História. História 18/03/2012. Lógica para Ciência da Computação. O que é Lógica?
IFMG-Formiga Introdução Lógica para Ciência da Computação O que é Lógica? É a formalização de linguagem e raciocínio, além de meios para expressar (dar significado) a essas formalizações. Profª. Danielle
Leia maisLISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014
LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 1) Determinar o valor verdade da proposição (p q) r, sabendo-se que AL (p) =, AL (q) = e AL (r) =. Proposições são afirmações que podem ser julgadas como verdadeira
Leia maisLógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
Leia maisAo utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.
CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais
Leia maisLógica. Professor Mauro Cesar Scheer
Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de
Leia maisLógica Proposicional e Dedução Natural 1/48. Douglas O. Cardoso docardoso.github.io
Lógica Proposicional e Dedução Natural douglas.cardoso@cefet-rj.br docardoso.github.io Lógica Proposicional e Dedução Natural 1/48 Roteiro 1 Uma Introdução Intuitiva 2 Proposições 3 DN: regras básicas
Leia maisLógica Computacional
Aula Teórica 2: da 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 Informática, Faculdade
Leia maisMD 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 maisCAPÍTULO I. Lógica Proposicional
Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação
Leia maisCASA TRIBUNAIS RACIOCÍNIO LÓGICO
CASA TRIBUNAIS RACIOCÍNIO LÓGICO Lógica de Argumentação Prof. Bruno Villar www.acasadoconcurseiro.com.br Raciocínio Lógico ARGUMENTO LÓGICO Existem duas formas de verificar, no método tradicional, a validade
Leia maisFundamentos da Lógica I
Fundamentos da Lógica I O conceito mais elementar no estudo da lógica primeiro a ser visto é o de Proposição. Trata-se, tão somente, de uma sentença algo que será declarado por meio de palavras ou de símbolos
Leia maisComo primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.
NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo
Leia maisMatemática Discreta - Exercícios de Lógica. 1. Diga que relações lógicas existem entre as seguintes proposições:
1. Diga que relações lógicas existem entre as seguintes proposições: (a) Todos os marcianos falam inglês. (b) Todos os marcianos não falam inglês. (c) Nenhum marciano fala inglês. (d) Alguns marcianos
Leia maisLógica Proposicional Sintaxe
Lógica Proposicional Sintaxe José Gustavo de Souza Paiva Lógica Proposicional Forma mais simples da lógica Fatos do mundo real representados por sentenças sem argumento proposições Proposição Sentença
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 mais3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
Leia maisCampos Sales (CE),
UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:
Leia mais* Lógica Proposicional Formas de Argumento
* Lógica Proposicional Formas de Argumento Hoje é segunda-feira ou sexta-feira. Hoje não é segunda-feira. Hoje é sexta-feira. Lógica, Informática e Comunicação Elthon Allex da Silva Oliveira e-mail: el7hon@gmail.com
Leia maisEXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO. Duração da Prova: 120 minutos. Tolerância: 30 minutos.
EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Prova Escrita de Filosofia 11.º Ano de Escolaridade Decreto-Lei n.º 139/2012, de 5 de julho Prova 714/2.ª Fase 8 Páginas Duração da Prova: 120 minutos. Tolerância:
Leia maisEXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO. Duração da Prova: 120 minutos. Tolerância: 30 minutos.
EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Prova Escrita de Filosofia 11.º Ano de Escolaridade Decreto-Lei n.º 139/2012, de 5 de julho Prova 714/2.ª Fase 8 Páginas Duração da Prova: 120 minutos. Tolerância:
Leia maisFICHA 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 maisMATEMÁTICA E RACIOCÍNIO LÓGICO
SENTENÇAS OU PROPOSIÇÕES MODIICADORES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (),
Leia maisVersão 1. Utilize apenas caneta ou esferográfica de tinta indelével, azul ou preta.
Teste Intermédio de Filosofia Versão 1 Teste Intermédio Filosofia Versão 1 Duração do Teste: 90 minutos 17.04.2013 11.º Ano de Escolaridade Decreto-Lei n.º 74/2004, de 26 de março Na folha de respostas,
Leia maisRaciocínio Lógico. Matemático. Raciocínio Lógico
Raciocínio Lógico Matemático Raciocínio Lógico Teoria dos Conjuntos 1) (FEPESE, 2014) Considere como conjunto universo o conjunto dos números inteiros positivos menores ou iguais a vinte e quatro. Neste
Leia maisMatemática. Lógica Proposicional. Professor Dudan
Matemática Lógica Proposicional Professor Dudan Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos
Leia maisEntrelinha 1,5. Utilize apenas caneta ou esferográfica de tinta indelével, azul ou preta.
Teste Intermédio de Filosofia Entrelinha 1,5 Teste Intermédio Filosofia Entrelinha 1,5 (Versão única igual à Versão 1) Duração do Teste: 90 minutos 17.04.2013 11.º Ano de Escolaridade Decreto-Lei n.º 74/2004,
Leia maisC o n h e c i m e n t o n o l o c a l e x a t o!
C o n h e c i m e n t o n o l o c a l e x a t o! Passo a passo para você montar qualquer tabela verdade Oi, meu nome é SAMUEL VALENTIM, sou mestre em Física, na área de Cosmologia e gravitação e meus estudos
Leia maisAnotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO
RACIOCÍNIO LÓGICO AULA 01 LÓGICA PROPOSICIONAL DEFINIÇÃO A Lógica estuda o pensamento como ele deveria ser, sem a influência de erros ou falácias. As falácias em torno do raciocínio humano se devem a atalhos
Leia maisLógica Matemática Para Concursos
A matemática geralmente é vista como complicada para a maioria dos concursandos, mas isso já é passado, atualmente o que assusta os candidatos é a lógica matemática ou também conhecida como lógica proposicional
Leia mais