Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico
|
|
- Melissa Vilanova Amaro
- 5 Há anos
- Visualizações:
Transcrição
1 Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico Aplicar tabelas de verdade na validação de formas argumentativas
2 Ficha técnica Autores: Professores de Filosofia do Agrupamento de Escolas de Cascais Título: Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico. Aplicar tabelas de verdade na validação de formas argumentativas Validação: Paulo Ruas Edição: Agrupamento de Escolas de Cascais, 2018 Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico. Aplicar tabelas de verdade na validação de formas argumentativas by Professores de Filosofia do Agrupamento de Escolas de Cascais is licensed under a Creative Commons Atribuição-NãoComercial-SemDerivações 4.0 Internacional License.
3 O presente recurso didático foi elaborado para apoiar a lecionação do tema «Aplicar tabelas de verdade na validação de formas argumentativas», incluído na unidade «Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico» (Cf. Aprendizagens Essenciais em Filosofia, in ae_sec_filosofia.pdf). Na elaboração deste recurso didático, foram usados recortes do documento seguinte: A. Almeida, Racionalidade argumentativa da Filosofia e a dimensão discursiva do trabalho filosófico Noções elementares de lógica para a disciplina de Filosofia, Documento elaborado no âmbito da definição das Aprendizagens essenciais, APF e SPF, 2017 (in
4 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas As tabelas de verdade indicam o valor de verdade de uma proposição complexa na qual ocorre uma conectiva. Recordemos as tabelas de verdade das cinco conectivas proposicionais: negação, conjunção, disjunção, condicional e bicondicional.
5 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas NEGAÇÃO A negação P é falsa quando P é verdadeira, e é verdadeira quando P é falsa.
6 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas CONJUNÇÃO A conjunção P Q só é verdadeira quando P e Q são verdadeiras.
7 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas DISJUNÇÃO A disjunção inclusiva P Q só é falsa quando P e Q são falsas.
8 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas DISJUNÇÃO A disjunção. exclusiva P Q é falsa quando P e Q têm o mesmo valor de verdade.
9 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas CONDICIONAL A condicional P Q só é falsa quando a antecedente P é verdadeira e a consequente Q é falsa.
10 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas BICONDICIONAL A bicondicional P Q é verdadeira quando P e Q têm o mesmo valor de verdade.
11 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas As tabelas de verdade indicam o valor de verdade de uma proposição complexa na qual ocorre uma conectiva. Caso, numa proposição complexa, ocorra mais do que uma conectiva, para sabermos o seu valor de verdade, temos de fazer cálculos, aplicando sucessivamente as tabelas de verdade.
12 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas Consideremos o seguinte exemplo: Se Portugal joga contra Espanha no campeonato do mundo de futebol, então os adeptos espanhóis não apoiam os jogadores portugueses. Tradução da frase: P Portugal joga contra Espanha no campeonato do mundo de futebol. Q Os adeptos espanhóis apoiam os jogadores portugueses. P Q
13 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas P Q O cálculo é feito da conectiva de menor abrangência para a conectiva de maior abrangência (ou dominante). Neste caso, a conectiva de maior abrangência é a condicional (liga P a Q) e a conectiva de menor abrangência é a negação (incide apenas em Q). Por isso, começamos por calcular Q. P Q P Q V V V F F V F F
14 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas Cálculo de Q Tabela da Negação P Q P Q V V F V F V F V F Depois de Q, calculamos P Q. Nesse cálculo, vamos considerar os valores de verdade de P e de Q. F F V
15 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas Cálculo de P Q Tabela da Condicional P Q P Q V V F F V F V V F V V F F F V V
16 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas Cálculo de P Q Terminado o cálculo do valor de verdade de P Q, os resultados do cálculo intermédio de Q deixam de ser relevantes. P Q P Q V V F F V F V V F V V F F F V V
17 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas Cálculo de P Q Sabemos agora em que condições P Q é verdadeira e em que condições P Q é falsa. P Q P Q V V F V F V F V V F F V
18 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas P Q P Q é verdadeira quando P é verdadeira e Q é falsa, quando P é falsa e Q é verdadeira e quando P e Q são falsas. P Q é falsa apenas quando P e Q são verdadeiras. P Q P Q V V F V F V F V V F F V
19 Aplicar tabelas de verdade na determinação do valor de verdade de proposições complexas Recordemos a proposição complexa cujo valor de verdade calculámos: «Se Portugal joga contra Espanha no campeonato do mundo de futebol, então os adeptos espanhóis não apoiam os jogadores portugueses.» A proposição complexa é falsa apenas quando «Portugal joga contra Espanha no campeonato do mundo de futebol» e «Os adeptos espanhóis apoiam os jogadores portugueses» são verdadeiras. P Q P Q V V F V F V F V V F F V
20 Como vimos, as tabelas de verdade indicam o valor de verdade de uma proposição complexa na qual ocorre uma conectiva e, mediante cálculos, permitem determinar o valor de verdade de uma proposição complexa na qual ocorre mais do que uma conectiva. Outra aplicação importante das tabelas de verdade é determinar a validade das formas argumentativas. Vamos agora aprender a testar a validade das formas argumentativas aplicando as tabelas de verdade.
21 Recordemos a noção de argumento: Recordemos também a noção de argumento válido:
22 Como se testa a validade de um dado argumento ou de uma forma argumentativa recorrendo às tabelas de verdade? O teste da validade é feito em quatro etapas: (I) TRADUÇÃO DO ARGUMENTO (II) CONSTRUÇÃO DA TABELA DE VERDADE (III) CÁLCULO DOS VALORES DE VERDADE (IV) INTERPRETAÇÃO DA TABELA DE VERDADE
23 Como se testa a validade de um dado argumento ou de uma forma argumentativa recorrendo às tabelas de verdade? (I) TRADUÇÃO DO ARGUMENTO Para testar a validade de um argumento recorrendo às tabelas de verdade, começa-se por traduzir o argumento da linguagem natural para a linguagem da Lógica proposicional (obtendo a forma argumentativa correspondente).
24 Como se testa a validade de um dado argumento ou de uma forma argumentativa recorrendo às tabelas de verdade? (II) CONSTRUÇÃO DA TABELA DE VERDADE Seguidamente, constrói-se uma tabela de verdade da qual constam: (1) as proposições simples que ocorrem no argumento e todos os valores de verdade que tais proposições podem tomar (as circunstâncias possíveis); (2) as premissas do argumento (ou a premissa, caso seja um argumento com uma única premissa); (3) a conclusão do argumento.
25 Como se testa a validade de um dado argumento ou de uma forma argumentativa recorrendo às tabelas de verdade? (III) CÁLCULO DOS VALORES DE VERDADE Faz-se o cálculo dos valores de verdade das premissas e da conclusão (as proposições que formam o argumento), tendo presentes os valores de verdade atribuídos às proposições simples e as tabelas de verdade.
26 Como se testa a validade de um dado argumento ou de uma forma argumentativa recorrendo às tabelas de verdade? (IV) INTERPRETAÇÃO DA TABELA DE VERDADE Por fim, verifica-se a tabela, considerando a seguinte questão: «Há alguma circunstância em que as premissas sejam todas verdadeiras e a conclusão seja falsa?» Se não houver, o argumento é válido. Se houver, o argumento é inválido.
27 Consideremos o seguinte exemplo: Se Portugal jogar contra Espanha no campeonato do mundo de futebol, então os adeptos espanhóis não apoiam os jogadores portugueses. Portugal joga contra Espanha no campeonato do mundo de futebol. Logo, os adeptos espanhóis não apoiam os jogadores portugueses. Tradução do argumento: P Portugal joga contra Espanha no campeonato do mundo de futebol. Q Os adeptos espanhóis apoiam os jogadores portugueses. P Q P Q
28 Construção da tabela de verdade: P Q P Q P Q P Q P Q V V F F V F V F
29 P Q P Q Proposições simples que ocorrem no argumento Premissas do argumento Conclusão do argumento P Q P Q P Q Valores de verdade das proposições simples que ocorrem no argumento V V F F V F V F
30 Cálculo dos valores de verdade: P Q P Q P Q Em primeiro lugar vamos calcular P Q, mas também poderíamos calcular P ou Q. No caso de P, não são necessários cálculos, bastando copiar os valores de verdade da proposição simples. V V F F V F V F
31 Cálculo dos valores de verdade: PASSO 1 Premissa 1 Cálculo de Q P Q P Q P Q V V F V F V F V F F F V
32 Cálculo dos valores de verdade: PASSO 2 Premissa 1 Cálculo de P Q P Q P Q P Q V V F F V F V V F V V F F F V V
33 Cálculo dos valores de verdade: PASSO 3 Premissa 2 Cálculo de P No caso de P, não são necessários cálculos, bastando copiar os valores de verdade da proposição simples. P Q P Q P Q V V F F V V F V V V F V V F F F F V V F
34 Cálculo dos valores de verdade: PASSO 4 Conclusão Cálculo de Q P Q P Q P Q V V F F V F V F V V V V F V V F F F F F V V F V
35 Interpretação da tabela de verdade: No único caso em que as premissas são todas verdadeiras, a conclusão também é verdadeira, ou seja, sempre que as premissas são todas verdadeiras, a conclusão também é verdadeira. P Q P Q P Q V V F V F V F V V V F V V F F F F V F V
36 Interpretação da tabela de verdade: O argumento é válido, pois não existe nenhum caso de premissas todas verdadeiras e conclusão falsa, ou seja, sempre que as premissas são todas verdadeiras, a conclusão também é verdadeira. P Q P Q P Q V V F V F V F V V V F V V F F F F V F V
37 Consideremos agora o seguinte exemplo: Se a Itália não é apurada para o campeonato do mundo de futebol, então o público presente na Rússia não pode contemplar belas defesas de Gianluigi Buffon. O público presente na Rússia não pode contemplar belas defesas de Gianluigi Buffon. Logo, a Itália não é apurada para o campeonato do mundo de futebol. Tradução do argumento: P A Itália é apurada para o campeonato do mundo de futebol. Q O público presente na Rússia pode contemplar belas defesas de Gianluigi Buffon. P Q Q P
38 Construção da tabela de verdade: P Q P Q Q P P Q Q P V V F F V F V F
39 Cálculo dos valores de verdade: Em primeiro lugar vamos calcular P Q, mas também poderíamos calcular Q ou P. P Q P Q Q P V V V F F V F F
40 Cálculo dos valores de verdade: PASSO 1 Premissa 1 Cálculo de P P Q P Q Q P V V F V F F F V V F F V
41 Cálculo dos valores de verdade: PASSO 2 Premissa 1 Cálculo de Q P Q P Q Q P V V F F V F F V F V V F F F V V
42 Cálculo dos valores de verdade: PASSO 3 Premissa 1 Cálculo de P Q P Q P Q Q P V V F V F V F F V V F V V F F F F V V V
43 Cálculo dos valores de verdade: PASSO 4 Premissa 2 Cálculo de Q P Q P Q Q P V V F V F F V F F V V V F V V F F F F F V V V V
44 Cálculo dos valores de verdade: PASSO 5 Conclusão Cálculo de P P Q P Q Q P V V F V F F F V F F V V V F F V V F F F V F F V V V V V
45 Interpretação da tabela de verdade: Existe um caso em que as premissas são todas verdadeiras e a conclusão é falsa. P Q P Q Q P V V V F F V F V V F F V F F V F F V V V
46 Interpretação da tabela de verdade: P Q P Q Q P V V V F F V F V V F F V F F V F F V V V
47 Interpretação da tabela de verdade: P Q P Q Q P V V V F F V F V V F F V F F V F F V V V
48 Interpretação tabela de verdade: da P Q P Q Q P O argumento é inválido, pois existe (pelo menos) um caso em que as premissas são todas verdadeiras e a conclusão é falsa (quando P é verdadeira e Q é falsa). V V V F F V F V V F F V F F V F F V V V
49 Recurso didático elaborado por docentes do Agrupamento de Escolas de Cascais Julho de 2018
Identificação das aprendizagens essenciais em filosofia by Apf e SPFis licensed under a Creative Commons Atribuição-NãoComercial-SemDerivações 4.
Identificação das aprendizagens essenciais em filosofia by Apf e SPFis licensed under a Creative Commons Atribuição-NãoComercial-SemDerivações 4.0 Internacional License. APRENDIZAGEM ESSENCIAL (Despacho
Leia maisRaciocínio lógico matemático
Raciocínio lógico matemático Unidade 2: Introdução à lógica Seção 2.3 Equivalências, contradições e tautologias 1 Proposições compostas Composta de duas ou mais proposições simples Tanto a primeira como
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 maisESCOLA SECUNDÁRIA DA AMADORA CRITÉRIOS DE AVALIAÇÃO DA DISCIPLINA DE FILOSOFIAS 10º ANO CURSOS CIENTÍFICO-HUMANÍSTICOS
I Abordagem introdutória à filosofia e ao filosofar II Racionalidade Argumentativa e a dimensão discursiva do trabalho filosófico Caracterizar a filosofia como uma atividade conceptual crítica. Clarificar
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 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 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 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 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 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 maisA utilidade da lógica na lecionação do programa de Filosofia
A utilidade da lógica na lecionação do programa de Filosofia Ficha técnica: Autor/a: Faustino Vaz Título: A utilidade da lógica na lecionação do programa de Filosofia Licença de utilização Creative Commons
Leia maisCompetências argumentativas indicadas nas AE de Filosofia (em articulação com o Perfil do Aluno)
Competências argumentativas indicadas nas AE de Filosofia (em articulação com o Perfil do Aluno) Identificar, formular e avaliar argumentos filosóficos, aplicando instrumentos operatórios da lógica formal
Leia 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 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 maisNome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar. Noções de Lógica
Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar Noções de Lógica Proposição: É uma sentença declarativa, seja ela expressa de forma afirmativa
Leia maisRaciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.
Raciocínio Lógico Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA Agora vamos aprender
Leia maisVALEC FEMPERJ
VALEC FEMPERJ - 2012 01. Observe a sequência: O próximo termo é: (A) 99 (B) 0 (C) 1 (D) 2 (E) 3 121, 119, 116, 112, 7,... diminuiu 2 unidades 121 diminuiu 3 unidades 119 119 116 diminuiu 4 unidades 116
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 maisCONSELHO CIENTÍFICO-PEDAGÓGICO DE FORMAÇÃO CONTÍNUA APRESENTAÇÃO DE ACÇÃO DE FORMAÇÃO NAS MODALIDADES DE CURSO, MÓDULO E SEMINÁRIO
CONSELHO CIENTÍFICO-PEDAGÓGICO DE FORMAÇÃO CONTÍNUA APRESENTAÇÃO DE ACÇÃO DE FORMAÇÃO NAS MODALIDADES DE CURSO, MÓDULO E SEMINÁRIO Formulário de preenchimento obrigatório, a anexar à ficha modelo ACC 2
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 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 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 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 maisn. 3 Construção de Tabelas-Verdade
n. 3 Construção de Tabelas-Verdade Dadas várias proposições simples: p, q, r, s,..., podemos combiná-las pelos conectivos lógicos: Negação (~) ou ( ) Conjunção ( ) Disjunção ( ) Condicional ( ) Bicondicional
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
Leia maisNoções básicas de Lógica
Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. Uma expressão pode ser uma expressão com significado expressão sem significado
Leia maisCRITÉRIOS DE AVALIAÇÃO Ensino Secundário - Cursos Científico / Humanísticos
CRITÉRIOS DE AVALIAÇÃO Ensino Secundário - Cursos Científico / Humanísticos DISCIPLINA: Filosofia ANO: 10º Dimensões Domínios/temas Descritores de desempenho Descritores do Perfil dos Alunos 1 Ponderação
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 maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
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 maisFundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
Leia maisDOUGLAS LÉO RACIOCÍNIO LÓGICO
DOUGLAS LÉO RACIOCÍNIO LÓGICO 1 - (IBFC - AGERBA - ESPECIALISTA EM REGULAÇÃO - 2017) A negação da frase O Sol é uma estrela e a Lua é um satélite de acordo com a equivalência lógica proposicional, é dada
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 maisLógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
Leia maisIntrodução à Lógica Computacional. Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação
Introdução à Lógica Computacional Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação Agenda da aula Circuitos lógicos: Mapas de Karnaugh Recaptulando semântica da lógica proposicional
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 maisPlanificação/Critérios Ano Letivo 2018/2019
Planificação/Critérios Ano Letivo 2018/2019 Nível de Ensino: Secundário Áreas/Disciplina: Filosofia Ano: 10.º Curso: Básico Científico-Humanístico x Profissional Planificação Período Sequências/Temas /Módulos
Leia maisProjeto Testes Intermédios 2011/2012
Projeto Testes Intermédios 2011/2012 Secundário FILOSOFIA INFORMAÇÃO N.º 2 Ano de escolaridade 11.º ano Data 20 de abril de 2012 OBJETO DE AVALIAÇÃO O teste intermédio de Filosofia tem por referência o
Leia maisProva de Agente de Polícia Federal 2012 (CESPE) Solução e Comentários de Raciocínio Lógico Professor Valdenilson. Caderno de Questões Tipo I
Prova de Agente de Polícia Federal 01 (CESPE) Solução e Comentários de Raciocínio Lógico Professor Valdenilson Caderno de Questões Tipo I Texto 1. Um jovem, ao ser flagrado no aeroporto portando certa
Leia maisLógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução
Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três
Leia mais2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores
1 LIVRO Conectivos e Quantificadores Lógicos META: Introduzir os conectivos e quantificadores lógicos. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Compreender a semântica dos conectivos
Leia maisLógica proposicional
Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),
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 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 maisFerramentas digitais na didática da Filosofia
Ferramentas digitais na didática da Filosofia Ficha técnica: Autor/a: Sérgio Lagoa Título: Ferramentas digitais na didática da Filosofia Licença de utilização Creative Commons BY-NC-ND. Atribuição + NãoComercial
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 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 maisData: Para: Inspeção-Geral de Educação. Direções Regionais de Educação. Escolas com ensino secundário CIREP FERLAP CONFAP
Prova de Exame Nacional de Filosofia Prova 714 2012 10.º e 11.º Anos de Escolaridade Decreto-Lei n.º 74/2004, de 26 de março Para: Direção-Geral de Inovação e de Desenvolvimento Curricular Inspeção-Geral
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 maisMaterial Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu
Auditor Fiscal Material Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu Raciocínio Lógico SILOGISMO Silogismo Categórico é uma forma de raciocínio lógico na qual há duas premissas e uma conclusão distinta
Leia maisCOMO LER NOTAÇÃO LÓGICA
COMO LER NOTAÇÃO LÓGICA DARREN BRIERTON TRADUÇÃO DE AISLAN ALVES BEZERRA Conectivos Proposicionais O primeiro conjunto de símbolos que introduzir-vos-ei são chamados de conectivos proposicionais porque
Leia maisLóg L ica M ca at M em e ática PROF.. J EAN 1
Lógica Matemática PRO. JEAN 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição alor Lógico Proposição Simples e Proposição Composta Conectivos Tabela-erdade 2 LÓGICA MATEMÁTICA INTRODUÇÃO ao
Leia maisRACIOCÍNIO LÓGICO TABELA VERDADE
RACIOCÍNIO LÓGICO TABELA VERDADE Olá galera! Sou o Richard Falconi, Fundador do Já Passei e Professor da Disciplina de Raciocínio Lógico. Estou disponibilizando para vocês um conteúdo sobre TABELAS VERDADE,
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 maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
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 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 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 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 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 inferir (concluir) outras. Para mostrar
Leia maisINSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE
1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.
Leia maisAnalista TRT 10 Região / CESPE 2013 /
Ao comentar sobre as razões da dor na região lombar que seu paciente sentia, o médico fez as seguintes afirmativas. P1: Além de ser suportado pela estrutura óssea da coluna, seu peso é suportado também
Leia maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Leia maisMatéria: Raciocínio Lógico Concurso: Auditor Fiscal da SEFAZ-SC Professor: Alex Lira
Concurso: Auditor Fiscal da SEFAZ-SC Professor: Alex Lira Prova comentada: Auditor Fiscal SEFAZ-SC 2018 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3
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 maisFILOSOFIA Objeto de avaliação. Análise e interpretação. 11.º Ano de Escolaridade. Prova 714
Informação-prova FILOSOFIA 2019 Prova 714 11.º Ano de Escolaridade O presente documento divulga informação relativa à prova de exame final nacional do ensino secundário da disciplina de Filosofia, a realizar
Leia maisINFORMAÇÃO TESTE INTERMÉDIO INTERNO. DISCIPLINA - FILOSOFIA/11º Ano de Escolaridade. Ano Letivo 2017/2018
INFORMAÇÃO TESTE INTERMÉDIO INTERNO DISCIPLINA - FILOSOFIA/11º Ano de Escolaridade Ano Letivo 2017/2018 O presente documento divulga informação relativa ao Teste Intermédio Interno da disciplina de Filosofia
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 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 maisFormulário de preenchimento obrigatório, a anexar à ficha modelo ACC 2
CONSELHO CIENTÍFICO-PEDAGÓGICO DE FORMAÇÃO CONTÍNUA APRESENTAÇÃO DE ACÇÃO DE FORMAÇÃO NAS MODALIDADES DE CURSO, MÓDULO E SEMINÁRIO Formulário de preenchimento obrigatório, a anexar à ficha modelo ACC 2
Leia maisINFORMAÇÃO TESTE INTERMÉDIO INTERNO. DISCIPLINA - FILOSOFIA/11º Ano de Escolaridade. Ano Letivo 2016/2017
INFORMAÇÃO TESTE INTERMÉDIO INTERNO DISCIPLINA - FILOSOFIA/11º Ano de Escolaridade Ano Letivo 2016/2017 O presente documento divulga informação relativa ao Teste Intermédio Interno da disciplina de Filosofia
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 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 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 maisOBJETIVOS CONTEÚDOS ESTRATÉGIAS Nº AULAS / AVAL. Motivar para o estudo da lógica
Filosofia - 11.ºAno UNID- RACIONALIDADE ARGUMENTATIVA E FILOSOFIA Nº Aulas:50 aulas de 45 OBJETIVOS CONTEÚDOS ESTRATÉGIAS Nº AULAS / AVAL. Motivar para o estudo da lógica 1. Argumentação e Lógica Formal
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 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 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 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 maisElaboração de um dicionário de termos filosóficos.
PR NTR - bordagem introdutória à filosofia e ao filosofar O que é a filosofia?.aracterizar a filosofia como uma atividade conceptual crítica. s questões da filosofia.larificar a natureza dos problemas
Leia maisOFICINA DA PESQUISA APOSTILA 3 MATEMÁTICA COMPUTACIONAL. Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva
OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 3 MATEMÁTICA COMPUTACIONAL Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva juliocesar@eloquium.com.br Alterações eventuais
Leia maisANÁLISE MATEMÁTICA I. Curso: EB
ANÁLISE MATEMÁTICA I (com Laboratórios) Curso: EB Lógica - Resumo Ana Matos DMAT Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a qualquer sequência de símbolos.
Leia maisCEM. RLM Tabela Verdade
CEM CADERNO DE EXERCÍCIOS MASTER Tabela Verdade Período 2006 2016 1) IBFC - Agente Penitenciário (SEDS MG)-2014 Dentre as alternativas abaixo e considerando o valor lógico das proposições compostas, a
Leia maisFILOSOFIA Objeto de avaliação. Análise e interpretação. Problematização e conceptualização
Informação-prova FILOSOFIA 2018 Prova 714 11.º Ano de Escolaridade (Decreto-Lei n.º 139/2012, de 5 de julho) O presente documento divulga informação relativa à prova de exame final nacional do ensino secundário
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 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 maisRelações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)
Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Conjunto de conectivos completo 2. na
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 maisIntrodução à Computação
Introdução à Computação Programação para Engenharia Cinara Menegazzo 2016/01 1 Proposição: Afirmação que se faz a respeito de um domínio de problema João é inteligente. Maria é a melhor aluna da turma.
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 maisTutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Inclusão Operações com conjuntos
Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Є (pertence) ou Є (não pertence) Sempre verificando de elemento para conjunto { } ou Ø = vazio {Ø} = conjunto com elemento vazio
Leia maisAULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8
Índice AULA 1 Frases, proposições e sentenças 3 AULA 2 Conectivos lógicos e tabelas-verdade 5 AULA 3 Negação de proposições 8 AULA 4 Tautologia, contradição, contingência e equivalência 11 AULA 5 Argumentação
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 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 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 maisIntrodução à Programação I
Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem
Leia maisFicha 1 (permanente)
Ficha 1 (permanente) Disciplina: Complementos de Matemática Código: CM100 Natureza: ( x ) Obrigatória ( ) Optativa ( x ) Semestral ( ) Anual ( ) Modular Pré-requisito: Não há Co-requisito: - Modalidade:
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 maisPerfil de Aprendizagens Específicas e Respetivos Descritores de Desempenho. (ponto 2, do artigo 20, da portaria nº226-a/2018)
Disciplina: Filosofia Ano: 10º Ano Dimensões das áreas de competência 1 Áreas de competência do PASEO 2 Descritores de desempenho de acordo com as aprendizagens essenciais 3 Testes. Instrumentos de avaliação
Leia mais