Exemplos de frases e expressões que não são proposições:
|
|
- Bárbara Castilho Lameira
- 7 Há anos
- Visualizações:
Transcrição
1 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 1 Lógica: ramo da Filosofia que nos permite distinguir bons de maus argumentos, com o objectivo de produzirmos conclusões verdadeiras a partir de crenças verdadeiras. 1. O que é um argumento? A componente elementar de um argumento designa-se por proposição. Uma proposição é uma afirmação cujo valor lógico é definido (ou é verdadeira ou é falsa). Exemplos de proposições verdadeiras: - O Sol é uma estrela =4. Exemplos de proposições falsas: -Lisboa é a capital de França. - 3 é um número par. Exemplos de frases e expressões que não são proposições: -Corre! -Onde ficam os correios? amarelo é uma cor bonita. Um argumento é uma sequência de proposições supostamente verdadeiras, tal que a verdade da última delas, dita conclusão, pretende ser suportada pela verdade das anteriores, ditas premissas. Seguem-se alguns exemplos de argumentos intermeados com comentários. Legenda: Premissas Conclusões
2 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 2 1 Se quem não tem deveres também não tem direitos, nem os recémnascidos nem os deficientes mentais têm direitos. Mas é absurdo defender que nem os recém-nascidos nem os deficientes mentais têm direitos. Portanto é falso que quem não tem deveres também não tem direitos. 2 Todos os corvos observados até hoje viveram antes do ano Logo todos os corvos vivem antes do ano A formulação seguinte não é considerada um argumento, uma vez que o valor lógico da conclusão não se relaciona com os valores lógicos das premissas. Em alternativa podemos dizer que a formulação representa um argumento inútil, uma vez que os valores lógicos (ou verdadeira ou falsa) de cada uma das premissas, quaisquer que sejam, não nos ajudam a estabelecer o valor lógico da conclusão. A Joana é rápida a fazer contas. A Joana está em Bragança. Portanto o Papa não é português. Não é um argumento
3 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 3 2. Argumentos indutivos e dedutivos. 3 Todos os corvos observados até hoje são pretos. Por isso todos os corvos são pretos. ARGUMENTO INDUTIVO Um argumento diz-se indutivo se há uma certa probabilidade de a conclusão ser verdadeira quando as premissas o são. Do valor desta probabilidade depende a qualidade do argumento. Uma boa parte dos argumentos que utilizamos no nosso discurso do dia-a-dia são de natureza indutiva. 4 Todos os humanos são mortais. Einstein é humano. ARGUMENTO DEDUTIVO Logo Einstein é mortal. Um argumento diz-se dedutivo se a conclusão é verdadeira sempre que as premissas são verdadeiras. Dito de outra forma, um argumento é dedutivo se não pode acontecer que as premissas sejam verdadeiras e a conclusão falsa. A lógica que vamos estudar (lógica matemática) lida com argumentos dedutivos. Um argumento que seja apresentado como dedutivo e que de facto verifiquemos que o é, diz-se argumento dedutivamente válido. Um argumento que é apresentado como dedutivo, mas que verifiquemos não o ser (porque as premissas
4 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 4 são verdadeiras mas a conclusão é falsa) diz-se argumento dedutivamente inválido. Existe também uma noção de validade para argumentos indutivos, mas não vamos estudá-la neste curso. Como só vamos estudar argumentos dedutivos, chamaremos a partir de agora inválido (em vez de dedutivamente inválido) a todo o argumento que tem a conclusão falsa sendo as premissas verdadeiras, e chamaremos válido (em vez de dedutivamente válido) a todo o argumento que tem a conclusão verdadeira se as premissas forem verdadeiras. 5 Se n é um inteiro par, então existe um inteiro k tal que n=2k. Considerando n=2k podemos escrever n+2=2k+2=2(k+1). Então n+2 é também um número par. O argumento 5 é válido. 6 Todos os humanos são mortais. Einstein é mortal. ARGUMENTO INVÁLIDO Logo Einstein é humano. O argumento 6 é inválido. A verdade da segunda premissa não implica que Einstein seja humano.
5 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 5 7 A Lua é cúbica. Se a Lua é cúbica, então os humanos voam. Se os humanos voam, então o Papa é português. Por isso o Papa é português. O argumento 7 é válido. Exercícios Escrever na forma standard [premissas seguidas de conclusão, tal como apresentado nos exemplos acima] cada um dos seguintes grupos de frases que seja um argumento. 1. Os cães gostam de ossos. Por isso o teu cão vai gostar do osso que eu lhe comprei. 2. O carro parou porque ficou sem gasolina. 3. Se queres fazer uma omelete começa por partir os ovos. 4. Aquela mulher estava sempre a queixar-se, por isso eu fiz as malas e deixei-a. 5. Não importam os obstáculos que encontremos, vamos continuar a lutar no limite das nossas forças. No fim sairemos vencedores. Por vezes, no discurso do dia-a-dia, as premissas ou as conclusões podem estar implícitas no discurso [i.e., podem não aparecer nas frases ditas ou escritas, mas estarem presentes no nosso pensamento quando interpretamos essas frases]. Por exemplo:
6 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 6 Se fosses minha amiga não falavas nas minhas costas. Esta afirmação representa o seguinte argumento: Se alguém é nosso amigo então essa pessoa não fala nas nossas costas. Tu falas nas minhas costas Tu não és minha amiga. Subentende-se aqui que falar nas costas de alguém significa dizer a terceiros coisas desagradáveis sobre essa pessoa, quando ela não está presente. 3. Argumentos complexos São argumentos contendo conclusões intermédias, que são usadas como premissas de outros argumentos. Todos os números racionais se podem escrever como quocientes de inteiros. O número Pi não se pode escrever como quociente de inteiros. Então Pi não é um número real. No entanto Pi é um número. Então existe pelo menos um número que não é racional.
7 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 7 Exercícios Escrever na forma standard cada um dos seguintes argumentos complexos. 6. O João disse que ia à festa, o que quer dizer que a Rosa também vai. Por isso ela não vai poder ir ao cinema connosco. 7. Hoje ou é Quarta-feira ou é Quinta-feira. Mas não pode ser Quinta-feira porque o consultório está aberto e nunca abre à Quinta-feira. Então hoje é Quarta-feira. 4. Lógica formal Estudo da validade dos argumentos pela análise da sua forma. A lógica formal permite-nos analisar argumentos por meio de um cálculo [=estrutura com operadores e operandos, que permite efectuar operações de certo tipo]. A lógica informal, por seu lado, presta-se à análise de argumentos expressos numa linguagem natural, como por exemplo o português. A lógica matemática é uma lógica formal, sendo a validade dos argumentos relacionada com a forma dos mesmos, independentemente dos assuntos específicos envolvidos
8 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 8 Exemplo A Lua é cúbica. Se a Lua é cúbica, então os humanos voam. Por isso os humanos voam. C UM ARGUMENTO COM Se C então H. H ESTA FORMA É SEMPRE VÁLIDO 3 é um número primo maior que 2. Se um número primo é maior que 2, então esse número é ímpar. Por isso 3 é um número ímpar. Exercícios 8. Escrever um argumento concreto para cada esquema de argumentos [um esquema de argumentos representa os infinitos argumentos que podem ser formalizados conforme o esquema].
9 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 9 C Se C então H Modus Ponens H Se C então H Não se verifica H Modus Tollens Não se verifica C Se C então H Argumento em Cadeia Se H então P. Se C então P Exercícios Escrever o esquema correspondente a cada argumento. Dizer se o argumento é válido. 9. A Rita está a jogar ténis. Se a Rita está a jogar ténis então não está a ler. Se a Rita está em casa então está a ler. A Rita está em casa ou hoje é sábado. Hoje é sábado.
10 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg Eu passei no teste se tu tiveres passado. Tu passaste no teste. Eu passei no teste. 11. Se estás a passear na Lua então estás vivo. Estás vivo. Estás a passear na Lua. Resumo da terminologia utilizada Raciocínio: processo mental que origina opiniões. Argumento: expressão, escrita ou oral, de um certo tipo de raciocínio. Argumento Simples (na Lógica Formal): sequência de proposições [=expressões com valor lógico definido, i.e., das quais podemos dizer que são ou verdadeiras ou falsas, sem ambiguidade], que pretende justificar a verdade da última delas (conclusão) com a verdade das anteriores (premissas). Argumento Complexo (na Lógica Formal): encadeamento de argumentos simples, em que as conclusões intermédias são usadas como premissas de argumentos seguintes.
11 Matemática Discreta ESTiG\IPB Lógica: Argumentos pg 11 Argumento dedutivo: se as premissas são verdadeiras, então a conclusão também é verdadeira. Argumento indutivo: se as premissas são verdadeiras, então a conclusão é verdadeira sob uma certa probabilidade [se a probabilidade for igual a 1 temos um argumento dedutivo]. Objectivo da Lógica: analisar argumentos no sentido de verificar se as conclusões derivam das premissas. Inferência: acto mental de deduzir uma proposição de outra. Lógica informal: estudo dos argumentos nas linguagens naturais (português, castelhano, crioulo, inglês, francês, etc) e dos contextos nos quais esses argumentos ocorrem. Enquanto a lógica formal se apresenta com uma estrutura matemática (cálculo) e dá ênfase às generalizações e às teorias (com importantes aplicações práticas tais como electrónica digital, teoria da computação, linguagens de programação, inteligência artificial), a lógica informal detém-se na análise prática de argumentos, tendo profundo impacto em todos os ramos da Filosofia. A lógica formal e informal não são antagónicas, são complementares sem lógica informal não havia lógica formal. Um argumento é válido se o esquema de argumentos que lhe corresponde é válido para todos os casos.
Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido.
Matemática Discreta ESTiG\IPB 2011.12 Cap1 Lógica pg 1 I- Lógica Informal Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido. Afirmação
Leia maisAfirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 1 I- Lógica Informal Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido. Afirmação
Leia maisVimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Leia maisÍ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 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 maisOutros Argumentos Informais. Professor Mário Hozano
Outros Argumentos Informais Professor Mário Hozano Na aula anterior... Argumento é um raciocínio lógico composto por proposições (premissas e conclusões) a conclusão é consequência lógica das premissas
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 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 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 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 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 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 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 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 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
Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado
Leia 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 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 maisAula 01 Linguagens de Programação e Lógica
Aula 01 Linguagens de Programação e 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
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 maisRaciocínio lógico matemático
Raciocínio lógico matemático Unidade 3: Dedução Seção 3.3 - Contrapositiva 1 Lembrando Modus pones p q, p q Se Pedro guarda dinheiro, então ele não fica negativado. Pedro guardou dinheiro. Dessa forma
Leia maisO que é o conhecimento?
Disciplina: Filosofia Ano: 11º Ano letivo: 2012/2013 O que é o conhecimento? Texto de Apoio 1. Tipos de Conhecimento No quotidiano falamos de conhecimento, de crenças que estão fortemente apoiadas por
Leia maisDedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
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 maisLógica Computacional DCC/FCUP 2017/18
2017/18 Raciocínios 1 Se o André adormecer e alguém o acordar, ele diz palavrões 2 O André adormeceu 3 Não disse palavrões 4 Ninguém o acordou Será um raciocínio válido? Raciocínios Forma geral do raciocínio
Leia maisLógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios...
Lógica para Ciência da Computação I Lógica Matemática Texto 11 Tautologias Sumário 1 Comportamento de um enunciado 2 1.1 Observações................................ 4 2 Classificação dos enunciados 4 2.1
Leia maisLógica predicados. Lógica predicados (continuação)
Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo
Leia maisIII. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA
III. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA 1. Argumentação e Lóg gica Formal 1.1. Distinção validade - verdade 1.2. Formas de Inferên ncia Válida. 1.3. Principais Falácias A Lógica: objecto de estudo
Leia maisExercitando o raciocínio lógico-dedutivo!
Exercitando o raciocínio lógico-dedutivo! Exercícios de raciocínio lógico-dedutivo a favor de Deus. Primeiramente devemos entender o conceito da dedução lógica, para então, realizarmos o seu exercício.
Leia 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 maisModus ponens, modus tollens, e respectivas falácias formais
Modus ponens, modus tollens, e respectivas falácias formais Jerzy A. Brzozowski 28 de abril de 2011 O objetivo deste texto é apresentar duas formas válidas de argumentos o modus ponens e o modus tollens
Leia maisArgumentos e Validade Petrucio Viana
GAN00166: Lógica para Ciência da Computação Texto da Aula 7 Argumentos e Validade Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Argumentos 1 1.1 Observações................................
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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisLógica informal. Desidério Murcho King's College London
Lógica informal Desidério Murcho King's College London A lógica informal é o estudo dos aspectos lógicos da argumentação que não dependem exclusivamente da forma lógica, contrastando assim com a lógica
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 maisLÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q :
LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q : ~ p 3) Proposição contra positiva de p q : ~ p ex. Determinar:
Leia 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 maisApresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos
Apresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos e Construção de algoritmos: estruturas de controle Introdução
Leia maisNHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
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 maisLógica Computacional
Aula Teórica 1: Apresentação Departamento de Informática 14 de Fevereiro de 2011 O que é a lógica? Lógica: de que se trata? A lógica está na base do raciocínio É um processo inerentemente humano, tão básico
Leia maisAcção de formação. Lógica e Filosofia nos Programas de 10.º e 11.º Anos. Formador. Desidério Murcho ALGUMAS NOÇÕES DE LÓGICA
CENTRO DE FORMAÇÃO DA ASSOCIAÇÃO DE ESCOLAS BRAGA/SUL Acção de formação Lógica e Filosofia nos Programas de 10.º e 11.º Anos Formador Desidério Murcho ALGUMAS NOÇÕES DE LÓGICA António Aníbal Padrão Braga,
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 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 maisRACIONALIDADE ARGUMENTATIVA DA FILOSOFIA E A DIMENSÃO DISCURSIVA DO TRABALHO FILOSÓFICO
RACIONALIDADE ARGUMENTATIVA DA FILOSOFIA E A DIMENSÃO DISCURSIVA DO TRABALHO FILOSÓFICO Exercícios I. Documento elaborado no âmbito da definição das Aprendizagens Essenciais Aires Almeida, Luizete Dias
Leia 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 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 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 Dedutiva e Falácias
Lógica Dedutiva e Falácias Aula 3 Prof. André Martins Lógica A Lógica é o ramo do conhecimento humano que estuda as formas pelas quais se pode construir um argumento correto. O que seria um raciocínio
Leia 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 maisAfirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
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 mais18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA A lógica está
Leia maisDepartamento de Engenharia Informática da Universidade de Coimbra
Departamento de Engenharia Informática da Universidade de Coimbra Estruturas Discretas 2013/14 Folha 1 - TP Lógica proposicional 1. Quais das seguintes frases são proposições? (a) Isto é verdade? (b) João
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 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 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 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 maisMATEMÁTICA PARA A VIDA
MATEMÁTICA PARA A VIDA B2 6 Interpretar, organizar, analisar e comunicar informação usando processos e procedimentos matemáticos. Utilizar a moeda única europeia e outra familiar em actividades do dia
Leia maisArgumentos Dedutivos e Indutivos. Professor Mário Hozano
Argumentos Dedutivos e Indutivos Professor Mário Hozano Na aula anterior... Hieróglifos Egípcios linguagem todo e qualquer sistema de sinais que serve como instrumento de comunicação Troca de Informações
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 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 maisFundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução 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 É possível
Leia maisCom relação a lógica sentencial, contagem e combinação, julgue os itens a seguir.
Considerando-se como V a proposição "Sem linguagem, não há acesso à realidade", conclui-se que a proposição "Se não há linguagem, então não há acesso à realidade" é também V. Certo Errado Com relação a
Leia maisMATEMÁTICA PARA A VIDA
MATEMÁTICA PARA A VIDA B3 6 Interpretar, organizar, analisar e comunicar informação processos e procedimentos matemáticos Sequencializar as tarefas elementares de um projecto; Usar relações de conversão
Leia maisAGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015
AGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015 PLANIFICAÇÃO de Filosofia 11º ANO Gestão Temporal do Programa UNIDADE CONTEÚDO TEMPOS unidade CONTEÚDO LETIVOS TEMPOS LETIVOS Racionalidade
Leia maisLÓGICA I. André Pontes
LÓGICA I André Pontes 1. Conceitos fundamentais O que é a Lógica? A LÓGICA ENQUANTO DISCIPLINA Estudo das leis de preservação da verdade. [Frege; O Pensamento] Estudo das formas válidas de argumentos.
Leia maisArgumento, persuasão e explicação
criticanarede.com ISSN 1749 8457 26 de Agosto de 2003 Lógica e argumentação Argumento, persuasão e explicação Desidério Murcho Este artigo procura esclarecer dois aspectos relacionados e subtis da noção
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 maisIntrodução à Lógica Proposicional Sintaxe
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe PASSOS PARA O ESTUDO DE LÓGICA Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 ESTUDO DE LÓGICA O estudo
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 maisRaciocínio Lógico. Argumento com Quantificadores Válidos (Silogismo) Professor Edgar Abreu.
Raciocínio Lógico Argumento com Quantificadores Válidos (Silogismo) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico ARGUMENTO COM QUANTIFICADORES VÁLIDO SILOGISMO QUESTÃO COMENTADA
Leia maisCURSO: MEDICINA VETERINÁRIA DISCIPLINA: METODOLOGIA DA PESQUISA CIENTÍFICA
CURSO: MEDICINA VETERINÁRIA DISCIPLINA: METODOLOGIA DA PESQUISA CIENTÍFICA Prof. Dra. Renata Cristina da Penha França E-mail: renataagropec@yahoo.com.br -Recife- 2015 MÉTODO Método, palavra que vem do
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 Argumento Sequência de sentenças......uma das quais se afirma verdadeira
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 maisIntrodução à Lógica de Predicados
Introdução à Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 10 de dezembro de 2012 Motivação (I) Considere
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 maisArgumentos dedutivos
Argumentos dedutivos Se não há factores aleatórios (sorte/azar) no Go, então o Go é um jogo de inteligência pura. Não há factores aleatórios no Go. Portanto, o Go é um jogo de inteligência pura. [Se não
Leia maisEscola Secundária de Amora Ano Lectivo de 2014/2015 Disciplina: Filosofia 11º Ano Ensino Regular (Diurno) Planificação de Médio e Longo Prazo
Escola Secundária de Amora Ano Lectivo de 2014/2015 Disciplina: Filosofia 11º Ano Ensino Regular (Diurno) Planificação de Médio e Longo Prazo Problemas filosóficos Conteúdos Conceitos fundamentais Objectivos
Leia maisA Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA A Linguagem dos Teoremas - Parte II Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de maio
Leia maisMINISTÉRIO DA EDUCAÇÃO
MINISTÉRIO DA EDUCAÇÃO E.S.A.B. ESCOLA SECUNDÁRIA DE AVELAR BROTERO Filosofia 11º Ano Duração: 135m Ano letivo: 2015/2016 Matriz da Prova de Avaliação Sumativa Interna na Modalidade de Frequência não Presencial
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 maisCEA427 - METODOLOGIA DE PESQUISA APLICADA À COMPUTAÇÃO
Métodos Científicos CEA427 - METODOLOGIA DE PESQUISA APLICADA À COMPUTAÇÃO Universidade Federal de Ouro Preto Profa. Msc. Helen de DECEA Cássia / S. João da Monlevade Costa Lima Universidade
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 maisFRENTE : B PÁGINA : 6 EXERCÍCIO : SALA 2
FRENTE : B PÁGINA : 6 EXERCÍCIO : SALA 1 a) (V) b) ( ) Não é proposição. c) (F) d) ( ) Não é proposição. e) (V) f) ( ) Não é proposição. g) ( ) Não é uma proposição e sim uma sentença aberta, pois depende
Leia maisArgumentaçã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 de Lógica Lógica Proposicional
Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos
Leia maisConceitos Básicos. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur
Capítulo 1 Conceitos Básicos Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Bibliografia Martins J.P., Lógica para Programação (as folhas serão
Leia maisCiências da Linguagem e da Cognição
Ciências da Linguagem e da Cognição Raciocínio. Silogismos condicionais e regras de inferência. Desempenho dos humanos. Interpretações. Modelo BDI. As apresentações power-point resultam de contribuições
Leia maisMétodo das Tabelas para Validade Petrucio Viana
GAN00166: Lógica para Ciência da Computação Texto da Aula 8 Método das Tabelas para Validade Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Simbolização de argumentos 1 1.1 Observação................................
Leia maisINFORMAÇÃO-PROVA PROVA DE AVALIAÇÃO DE CONHECIMENTOS E CAPACIDADES Componente Específica Filosofia. Código da Prova /2015
INFORMAÇÃO-PROVA PROVA DE AVALIAÇÃO DE CONHECIMENTOS E CAPACIDADES Componente Específica Filosofia Código da Prova 6100 2014/2015 O presente documento divulga informação relativa à Prova de Avaliação de
Leia maisLógica Clássica Proposicional
Lógica Clássica Proposicional proposicões atômicas; proposições mais complexas podem ser construídas (decompostas) de (em) proposições atômicas; proposições atômicas são verdadeiras ou falsas (2 valores);
Leia maisNível 1 (equivalência ao 1º ciclo do Ensino Básico)
MATEMÁTICA PARA VIDA Nível 1 (equivalência ao 1º ciclo do Ensino Básico) Interpretar, organizar, analisar e comunicar informação utilizando processos e procedimentos matemáticos. MV 1 A Usar a matemática
Leia maisCoordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva
@ LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q: ~ p 3) Proposição contra positiva de p q: ~ p ex. Determinar:
Leia maisBases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.
1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um
Leia maisCOLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia. Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No.
COLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia 65 Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No. ROTEIRO DE RECUERAÇÃO ANUAL 2016 Data: / / FILOSOFIA 1º Ano do Ensino Médio 1º. O recuperando deverá
Leia maisRaciocínio Lógico. Quantificadores Lógicos: Todo, Nenhum e Existente. Professor Edgar Abreu.
Raciocínio Lógico Quantificadores Lógicos: Todo, Nenhum e Existente Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico QUANTIFICADORES LÓGICOS Chama-se argumento a afirmação de que
Leia maisMCTB Matemática Discreta
Matemática Discreta Jair Donadelli CMCC UFABC jair.donadelli@ufabc.edu.br 2019-1 Semana 1 1 2 Lógica informal Matemática Discreta Estudo de estruturas matemáticas que são discretas (em oposição às que
Leia maisPROINTER Projeto Integrado IV
PROINTER Projeto Integrado IV Prof. Me. Érico Pagotto O que é Ciência? Organização de conhecimentos Conjunto de afirmações lógicas e relacionadas Tem um objeto ou campo definido Ex: Biologia, Sociologia,
Leia maisLógica Proposicional
Lógica Proposicional Lógica Computacional Carlos Bacelar Almeida Departmento de Informática Universidade do Minho 2007/2008 Carlos Bacelar Almeida, DIUM LÓGICA PROPOSICIONAL- LÓGICA COMPUTACIONAL 1/28
Leia mais