Lógica: Quadrado lógico:
|
|
- Therezinha Balsemão Almada
- 7 Há anos
- Visualizações:
Transcrição
1 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 como atributo. Intenção/ compreensão é o seu sentido, a sua significação, isto é, os caracteres que enunciamos geralmente quando damos a definição de conceito. Inferências imediatas devemos a Aristóteles as primeiras sistematizações das inferências lógicas e a ordenação dos mais frequentes erros de raciocínio que podem ter a aparência de válidos. 1º tipo inferência simples que tem lugar a partir de uma única proposição (não há intervenções de um termo mediador). De entre as várias formas de inferência simples iremos analisar o quadrado lógico de oposição entre proposições e a inferência por conclusão de proposições. 2º tipo inferência complexa que tem lugar a partir de duas ou mais proposições. Também se dizem mediatas porque se inferem através de outras proposições. Aqui destacam-se os silogismos categóricos aos quais Aristóteles deu especial atenção. Aristóteles não considera senão um tipo de estrutura de proposição: S é P. Este esquema apresenta quatro proposições segundo a quantidade e a qualidade das proposições. Segundo a qualidade é afirmativa ou negativa. Segundo a quantidade é universal ou particular. Universal afirmativa A ex. todos as árvores são verdes Universal negativa E ex. nenhuma árvore é verde Particular afirmativa I ex. algumas árvores são verdes Particular negativa O ex. algumas árvores não são verdes. Quadrado lógico:
2 NOTA As inferências mais ricas são produzidas pelas universais verdadeiras e pelas particulares negativas. Regras: Regra das contraditórias (A O; I E) duas proposições contraditórias não podem ser ambas verdadeiras, nem podem ser ambas falsas ao mesmo tempo. Se A é verdadeira, O é falsa e vice-versa. Portanto a oposição é maior, total e complexa, porque há uma oposição em quantidade e qualidade. Regra das contrárias (A E) duas proposições contrárias não podem ser ao mesmo tempo verdadeiras, podendo no entanto ser as duas falsas se a verdade recair em I ou O. Dizse que são incompatíveis. Estas proposições opõem-se em qualidade ainda que não em quantidade. Regra das sub-contrárias (I O) duas proposições subcontrárias podem ser ao mesmo tempo verdadeiras mas não podem ser ao mesmo tempo falsas. Aqui a oposição é ainda grande porque se opõem em qualidade ainda que não em quantidade. Regra das sub-alternas(a I;E O) duas proposições subalternas não podem ao mesmo tempo ser ambas falsas ou ambas verdadeiras. Pode ainda dar-se o caso de uma ser verdadeira e a outra falsa. Tabela de inferências das regras de oposição: INFERÊNCIAS VÁLIDAS (E IMPOSSIBILIDADES) A E I O De A verdadeira infere-se: V F V F De E verdadeira infere-se: F V F V De I verdadeira infere-se:? F V? De O verdadeira infere-se: F?? V NOTA «?» Significa impossibilidade de inferência da verdade ou falsidade a partir da proposição conhecida.
3 2. Silogismo categórico: Falácias de oposição existem quando não se respeitam as regras de oposição entre proposições. Regra para que duas proposições se neguem é necessário que as duas não possam ser falsas. Critérios de negação/ refutação: A-O e E-I Critério de incompatibilidade: A-E Inferências por conversão tem lugar quando há uma transposição do predicado para o lugar do sujeito e do sujeito para o ligar de predicado. S é P / P é S «nenhum animal é racional»--proposição primitiva» «Nenhum dos seres racionais é animal»--proposição conversa (inferência válida) Regra geral de inferência por proposição a proposição não deve afirmar mais na forma conversa do que na forma primitiva, ou seja, nenhum termo pode ter maior extensão na forma conversa. Tabela das conversões: PROPOSIÇÃO PROPOSIÇÃO CONVERSA LIMITATIVA A Todo S é P Algum P é S (conversão por convertese acidente/limitação) E Nenhum S é P Nenhum P é S (conversão simples) I Algum S é P Algum P é S (conversão simples) O Algum S não é P Não é possível a conversão apesar de alguns autores proporem por ex. «alguns homens não são médicos»-- «alguns não-médicos são homens) Proposições distribuídas em conformidade coma forma/padrão (silogismo categórico): - premissa maior proposição que possui o termo maior «P»
4 - premissa menor proposição que possui o termo menor «S» - conclusão proposição que articula o termo menor com o termo maior Nota o papel decisivo cabe ao 3º termo. 3. Conceitos básicos de lógica: Argumentos sequência finita de proposições de determinada linguagem, isto é, sequência finita de uma premissa seguida de uma conclusão. Argumentos: Válidos (ou formalmente correctos) premissas verdadeiras e conclusão verdadeira Inválidos premissas verdadeiras e conclusão falsa Argumentos: Argumento indutivo parte de premissas particulares e a conclusão é de carácter provável. Argumento dedutivo partem de premissas universais, o que faz com que a conclusão seja necessariamente verdadeira (no caso de ser válida). Validade propriedade que depende da forma e não do conteúdo que podemos ter a esperança de desenvolver um estudo dos argumentos válidos. Porque razão estamos especialmente interessados na validade? Pois os argumentos válidos preservam o valor de verdade, isto é, forçam, obrigatoriamente e racionalmente, à aceitação da conclusão como verdadeira sempre que as premissas forem aceites como verdadeiras. Crença os estudos da relação entre a validade dos argumentos e o fenómeno da crença permite ligar de uma maneira especifica a lógica à actividade humana. Esta ligação pode ser especificada de dois modos: É racional acreditar na conclusão de um argumento válido no caso de acreditar em todas as suas premissas
5 É irracional acreditar em todas as premissas de um argumento válido e não acreditar na sua conclusão. Proposição: Pode tomar (semanticamente) os valores de afirmativa ou negativa Pode tomar (logicamente) os valores de verdade e falsidade Proposição = negativa, afirmativa Proposição interrogativa, imperativa Proposição frase Premissas e conclusões não são frases, são proposições As proposições têm que estar no indicativo, isto é, frases interrogativas ou imperativas não exprimem proposições Ambiguidade semântica resulta do facto de uma palavra ou frase ter mais de um significado. Uma frase semanticamente ambígua pode ser usada para exprimir mais de uma proposição. Ex: vou por dinheiro no banco Ambiguidade sintáctica resulta do facto da forma, da estrutura da frase levar à interpretação de um ou mais resultados. Ex: toda a gente gosta de um marinheiro Desambiguando, fica: Toda a gente gosta de um marinheiro qualquer Toda a gente gosta de marinheiros Concepção Tarskiana defende que se considera uma proposição verdadeira só e só se a situação ou o estado das coisas que a mesma expime acontece de facto. Verdade adequação entre o pensamento e o mundo tal como ele é. A verdade necessita a adequação para expor o pensamento a uma verificação ou falsificação. A verdade é falsificação, isto é, será verdadeira até se provar o contrário. Verificação = adequação ao mundo; identificação entre duas coisas Falsificação = submissão da teoria da verificação ao erro Uma das tarefas da lógica é explicar o sistema de regras que interiorizamos implicitamente e cuja posse explica a sua capacidade de traçar estas discriminações.
6 4. Lógica proposicional: Operadores de formação de frases palavras ou seguimento de palavras que não é uma frase mas que, concatenada com uma ou mais frases no indicativo, gera uma frase indicativa portuguesa. Podem ou não ser operadores vero funcionais. exs.: acha que, e, ou P, Q, R utilizadas para proposições específicas A, B, C variáveis de fórmula Âmbito parênteses usados para delimitar parte(s) de uma fórmula de maneira a ser interpretada da melhor maneira e ser mais fácil fazer a tabela da verdade. Condições de verdade P^Q / P e Q / P apesar de Q, têm as mesmas condições de verdade. P Q verofuncionalmente equivalente a ~PvQ N. S utiliza a condicional como operador vero funcional porque: Está a desenvolver uma linguagem abstracta Virtualmente todos os argumentos que se revelam verdadeiros em português continuam a ser válidos se tratarmos a condicional como uma função de verdade. É difícil dar um tratamento formal e sistemático da lógica sem tratar a condicional como operador vero funcional. Interpretação: P Icabod é rico Q Icabod é estudante Formalização: P^Q P Logo martelo semântico P, P Q Q sequente semântico Circunstância cada possibilidade de combinação de valores de verdade Inspector de circunstâncias faz a lista das letras proposicionais e das circunstâncias possíveis no que respeita à sua verdade ou falsidade.
7 Tabelas de verdade usam-se para fórmulas individuais. Ex: P R Inspector de circunstâncias usam-se para argumentos. Ex: P^Q Q Negação: P ~P V F F V Disjunção (inclusiva) P Q P^Q V V V F F V V F V F V F Disjunção (exclusiva) P Q P^Q V V F F F V V F V F V F Conjunção P Q P^Q V V V F F F V F F F V F Condicionalização P Q P Q V V V F F V V F F F V V Bicondicionalização P Q P Q V V V F F F V F F F V V Disjunção Esta operação lógica corresponde à alternativa expressa na linguagem corrente por «ou». Só que na nossa linguagem quotidiana o termo «ou» se usa em dois sentidos distintos, introduzindo assim na expressão um factor de ambiguidade Ex.: «Descartes é um filósofo ou um matemático.» «Platão ou é grego ou é romano.» No primeiro caso, uma alternativa não exclui a outra. Neste caso, o ou é usado num sentido não exclusivo No segundo caso uma alternativa exclui, por si só, a outra é a disjunção exclusiva.
8 A função alternativa só pode ser falsa no caso de ambas as proposições serem simultaneamente falsas. Para que não haja ambiguidade utilizam-se símbolos diferentes para os dois sentidos da disjunção: - disjunção inclusiva» v A disjunção exclusiva de duas proposições, p e q, é uma nova proposição que resulta de ligar p e q pelo símbolo w ; esta nova proposição é verdadeira se p e q têm valores lógicos distintos e falsa nos outros casos. - disjunção exclusiva» w, v p: compro um par de sapatos q: compro um par de botas p w q: compro um par de sapatos ou de botas (mas não ambas as coisas) A disjunção inclusiva de duas proposições, p e q, é uma nova proposição que resulta de ligar p e q pelo símbolo v ; esta nova proposição (p v q) é verdadeira em todos os casos, excepto se p e q forem simultaneamente falsas. p: vou comprar um casaco q: vou comprar umas calças p v q: vou comprar um casaco ou umas calças (ou ambas as coisas). Sequente tautológico só se verifica se todas as linhas de um inspector de circunstâncias do sequente em causa mostre o valor V em todas as fórmulas (tanto à direita como à esquerda do martelo semântico ) em pelo menos uma linha. (vê-se na horizontal) Tautologia quando uma fórmula é verdadeira em todas as circunstâncias possíveis. (Vê-se na vertical) Inconsistência quando uma fórmula recebe o valor F em todas as circunstâncias possíveis. Contingência quando uma fórmula recebe o valor F e o valor V em pelo menos uma circunstância. Falácias: 5. Lógica predicativa ou quantificada:
9 Variáveis de objecto x, y, z Predicados unários, binários e ternários Predicados F, G, H Frases abertas expressões com lugares vazios que precisam de ser preenchidos frases fechadas Domínio de quantificação conjunto visado, contexto Quantificador universal Quantificador existencial
Resumo 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 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. 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 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 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 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 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 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 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 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 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 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 mais1. = F; Q = V; R = V.
ENADE 2005 e 2008 Nas opções abaixo, representa o condicional material (se...então...), v representa a disjunção (ou um, ou outro, ou ambos) e ~ representa a negação (não). Com o auxílio de tabelas veritativas,
Leia maisFundamentos da Computação 1. Introdução a Argumentos
Fundamentos da Computação 1 Introdução a s Se você tem um senha atualizada, então você pode entrar na rede Você tem uma senha atualizada Se você tem um senha atualizada, então você pode entrar na rede
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 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 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 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 maisInteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO
Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema
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 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 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 maisLógica Computacional
Lógica Computacional Frases Quantificadas Quantificadores e Variáveis Fórmulas Bem Formadas: Sintaxe e Semântica Formas Aristotélicas 21 Outubro 2013 Lógica Computacional 1 Frases Quantificadas - Existem
Leia maisÍNDICE. Lição 8 Conceitos Fundamentais da Teoria dos Conjuntos 49. Representação Simbólica dos Conceitos Fundamentais da Teoria dos
ÍNDICE Prefácio PARTE I LÓGICA ARISTOTÉLICA Lição 1 Introdução. Lógica Aristotélica: Noções Básicas 9 Lição 2 O Quadrado da Oposição 15 Lição 3 Conversão, Obversão e Contraposição 21 Lição 4 A Teoria do
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 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 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 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 mais1 Lógica de primeira ordem
1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e
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
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 24 Outubro 2017 Lógica Computacional
Leia 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 maisLógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 3 Novembro 2016 Lógica Computacional
Leia 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 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 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 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 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 maisMDI0001 Matemática Discreta Aula 01
MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina
Leia mais1 TEORIA DOS CONJUNTOS
1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,
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 maisMétodos de Verificação
Método de Na construção de derivações no sistema de cálculo de sequentes: Na aplicação de cada regra, só a manipulação referente à fórmula principal é informativa. A cópia dos contextos revela-se assim
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 maisConteúdo. Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42)
Conteúdo Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Correção exercicios 11) P(x) = x = x 2 P(0) P(1) P(2) 12) Q(x) = x + 1 = 2x Q(0) Q(-1) Q(1) Correção
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 para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação rimeiro Teste 8 de Maio de 2010 11:00 12:30 Nome: Número: 1. (2.0) Escolha a única resposta correcta para as seguintes questões.
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 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 maisIntrodução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Leia maisaula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:
aula 01 (Lógica) Ementa Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Plano de Ensino CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas
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 maisNOÇÕES DE LÓGICA MATEMÁTICA. O CÁLCULO DE PREDICADOS DE 1 a ORDEM
NOÇÕES DE LÓGICA MATEMÁTICA O CÁLCULO DE PREDICADOS DE 1 a ORDEM O Cálculo de Predicados, dotado de uma linguagem mais rica, tem várias aplicações importantes não só para matemáticos e filósofos como também
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 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 maisSilogismos Categóricos e Hipotéticos
Silogismos Categóricos e Hipotéticos Resumo elaborado por Francisco Cubal Apenas para publicação em Resumos.tk Primeiros objectivos a alcançar: Reconhecer os quatro tipos de proposições categóricas. Enunciar
Leia maisPROVA COM CONETIVAS BOOLEANAS. Introdução-31
PROVA COM CONETIVAS BOOLEANAS Introdução-31 Passos válidos usando, e Para cada conetiva: padrões de inferência A P pode seguir-se qualquer fórmula que seja sua consequência Ex: (dupla negação) P dá origem
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 maisAtenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.
CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases
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 maisIndiscernibilidade de Idênticos. Atitudes Proposicionais e indiscernibilidade de idênticos
Indiscernibilidade de Idênticos Atitudes Proposicionais e indiscernibilidade de Consideremos agora o caso das atitudes proposicionais, das construções epistémicas e psicológicas, e perguntemo-nos se é
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 maisOs Fundamentos: Lógica de Predicados
Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG - 2019/01
Leia maisLógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento
Leia maisProfessor conteudista: Ricardo Holderegger
Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4
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 maisProva Escrita de Filosofia VERSÃO º Ano de Escolaridade. Prova 714/1.ª Fase. Entrelinha 1,5, sem figuras nem imagens, texto alinhado à esquerda
EXAME NACIONAL DO ENSINO SECUNDÁRIO Decreto-Lei n.º 139/2012, de 5 de julho Prova Escrita de Filosofia 11.º Ano de Escolaridade Prova 714/1.ª Fase 14 Páginas Entrelinha 1,5, sem figuras nem imagens, texto
Leia maisInferências No momento em que a mulher descobre marcas de baton desconhecido no colarinho do marido, produz-se (entre outras coisas) a inferência.
Módulo 5 Módulo 5 Inferências No momento em que a mulher descobre marcas de baton desconhecido no colarinho do marido, produz-se (entre outras coisas) a inferência. Inferência é o movimento do pensamento
Leia maisSúmario APRESENTAÇÃO DA COLEÇÃO...13
Súmario APRESENTAÇÃO DA COLEÇÃO...13 CAPÍTULO I LÓGICA PROPOSICIONAL...15 1. Lógica Proposicional...15 2. Proposição...15 2.1. Negação da Proposição...18 2.2. Dupla Negação...19 2.3. Proposição Simples
Leia maisLógica Computacional
Lógica Computacional Lógica de Operadores Booleanos Interpretações Tautológicas, Lógicas e Analíticas Funcionalidade / Tabelas de Verdade dos Operadores Booleanos Consequências Tautológica, Lógica e Analítica
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 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 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 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 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 mais2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem
2 Lógica Fuzzy 2.1 Cálculo proposicional (lógica proposicional) 2.2 Lógica de Predicados 2.3 Lógica de múltiplos valores 2.4 Lógica Fuzzy Proposições fuzzy Inferência a partir de proposições fuzzy condicionais
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 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 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 maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Prof. Cesar Tacla/UTFPR/Curitiba Slides baseados no capítulo 1 de DA SILVA, F. S. C.; FINGER M. e de MELO A. C. V.. Lógica para Computação. Thomson Pioneira Editora, 2006. Conceitos
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 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 maisRACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha
RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha I SENTENÇAS Expressão de um pensamento completo. São compostas por um sujeito (algo que se declara) e por
Leia maisLógica Computacional. Argumentos válidos e sólidos. Métodos de demonstração. Demonstrações formais. Regras de Inferência Igualdade
Lógica Computacional Argumentos válidos e sólidos Métodos de demonstração Demonstrações formais Regras de Inferência Igualdade Não-consequências lógicas Argumentos Exemplo: 1. Todos as aves voam. 2. O
Leia 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 maisPrograma. Raciocínio Lógico Matemático. Livros. Provas
Programa Raciocínio Lógico Matemático Prof. RANILDO Introdução à lógica. Lógica proposicional Argumento Tabela-verdade Tautologias, Contradições e Contingências Operações lógicas Livros Introdução à Lógica
Leia maisDuração da Prova: 120 minutos. Tolerância: 30 minutos.
EXAME NACIONAL DO ENSINO SECUNDÁRIO Decreto-Lei n.º 139/2012, de 5 de julho Prova Escrita de Filosofia 11.º Ano de Escolaridade Prova 714/1.ª Fase 8 Páginas Duração da Prova: 120 minutos. Tolerância: 30
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 maisSímbolo Nome lê-se como Categoria = 10 significa que se se somar 4 a 6, a soma, ou resultado, é 10.
Símbolo Nome lê-se como Categoria adição mais aritmética + 4 + 6 = 10 significa que se se somar 4 a 6, a soma, ou resultado, é 10. Exemplo: 43 + 65 = 108; 2 + 7 = 9 subtração menos aritmética - 9-4 = 5
Leia maisExercícios de lógica -sensibilização
Exercícios de lógica -sensibilização 1. Lógica matemática: Qual a lógica da seqüência dos números e quem é x? 2,4,4,6,5,4,4,4,4,x? 2. Charadas: lógica filosófica. Um homem olhava uma foto, e alguém lhe
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
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 maisIntrodução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
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 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 maisLinguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da
istemas de Apoio à Decisão Clínica, 09-1 1 Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da semântica. Importante: distinguir entre os fatos e sua representação
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 maisAutor: Francisco Cubal Disponibilizado apenas para Resumos.tk
Conceito e Finalidade da Lógica Existem variados conceitos do que é a Lógica. Conceitos: A lógica é o estudo das inferências ou argumentos válidos. A lógica é o estudo do que conta como uma boa razão para
Leia mais