Lógica Matemática e Computacional. 3 Silogismo Categórico
|
|
- Júlio Carreira Pacheco
- 7 Há anos
- Visualizações:
Transcrição
1 Lógica Matemática e Computacional 3 Silogismo Categórico
2 O silogismo categórico É uma forma particular de raciocínio dedutivo, constituída por três proposições categóricas (que afirmam ou negam algo de forma absoluta e incondicional): 2 premissas e 1 conclusão. A conclusão deriva das proposições (premissas) que apresentam um nexo lógico explícito.
3 No silogismo A conclusão deriva necessariamente das premissas, pelo que seria contraditório negar a conclusão, aceitando a verdade das premissas de que aquela é consequência necessária. Três termos: - Maior (predicado na conclusão) - Menor (sujeito na conclusão) - Médio (estabelece o nexo lógico entre as premissas e aparece em ambas as premissas, mas não na conclusão SILOGISMO CATEGÓRICO Duas premissas Uma conclusão
4 Regras Dos termos: - Três termos - O termo médio está presente nas premissas e não parece na conclusão - O termo médio está distribuído pelo menos uma vez - Nenhum termo pode ter maior extensão na conclusão que nas premissas Das proposições: - Não ter duas premissas negativas - Não pode derivar uma conclusão negativa de duas premissas afirmativas - A conclusão segue sempre a parte mais fraca - Não ter duas premissas particulares
5 Silogismo Aristóteles tentou sistematizar as regras lógicas e dedicou atenção especial a um tipo de argumento, com duas proposições iniciais e uma conclusão. Exemplos: Premissas: Alguns alemães são loiros. Todos os alemães são europeus. Conclusão: Alguns europeus são loiros. Premissas: Alguns médicos são poliglotas. Alguns professores são poliglotas. Conclusão: Alguns médicos são professores.
6 Silogismo Premissas: Alguns atleticanos não são chatos. Todos os atleticanos são fanáticos. Conclusão: Alguns fanáticos não são chatos. Aristóteles classificou os silogismos entre os que são válidos e os que não são válidos. Exemplo de silogismo que não é válido, portanto, é um sofisma: Premissas: Todos os alemães são europeus. Alguns alemães são loiros. Conclusão: Nenhum europeu é loiro.
7 Raciocínios Inválidos Todos cães são vegetarianos. Dálmatas são cães. Logo, dálmatas são vegetarianos. Todos cães comem carne. Nenhum cão é peixe. Logo, nenhum peixe come carne.
8 Silogismos e Sofismas Silogismo: raciocínio formado de três proposições: premissa maior premissa menor conclusão Pedro é homem. O homem é mortal.: Pedro é mortal Sofisma: argumento falso, intencionalmente feito para induzir outrem ao erro. O cão late. Cão é uma constelação.: A constelação late
9 Sofisma 1 Deus ajuda quem cedo madruga Quem cedo madruga, dorme à tarde... Quem dorme à tarde, não dorme à noite... Quem não dorme à noite, sai na balada!!!!!!! Conclusão: Deus ajuda quem sai na balada!!!!!!
10 Sofisma 2 Deus é amor. O amor é cego. Steve Wonder é cego. Logo, Steve Wonder é Deus.
11 Sofisma 3 Disseram-me que eu sou ninguém. Ninguém é perfeito. Logo, eu sou perfeito. Mas só Deus é perfeito. Portanto, eu sou Deus. Se Steve Wonder é Deus, eu sou Steve Wonder!!!! Meu Deus, eu sou cego!!!
12 Sofisma 4 Imagine um pedaço de queijo suíço, daqueles bem cheios de buracos. Quanto mais queijo, mais buracos. Cada buraco ocupa o lugar em que haveria queijo. Assim, quanto mais buracos, menos queijo. Quanto mais queijos mais buracos, e quanto mais buracos, menos queijo. Logo, quanto mais queijo, menos queijo.
13 Sofisma 5 Toda regra tem exceção. Isto é uma regra. Logo, deveria ter exceção. Portanto, nem toda regra tem exceção.
14 Sofisma 6 Existem biscoitos feitos de água e sal. O mar é feito de água e sal. Logo, o mar é um biscoitão.
15 Sofisma 7 Quando bebemos, ficamos bêbados. Quando estamos bêbados, dormimos. Quando dormimos, não cometemos pecados. Quando não cometemos pecados, vamos para o Céu. Então, vamos beber para ir pro Céu!
16 Sofisma 8 Penso, logo existo. Loiras burras não pensam, logo, loiras burras não existem. Meu amigo diz que não é boiola porque namora uma loira inteligente. Se uma loira inteligente namorasse meu amigo ela seria burra. Como loiras burras não existem, meu amigo não namora ninguém. Logo, meu amigo é boiola mesmo.
17 Sofisma 9 Hoje em dia, os trabalhadores não têm tempo pra nada. Já os vagabundos... têm todo o tempo do mundo. Tempo é dinheiro. Logo, os vagabundos têm mais dinheiro do que os trabalhadores.
18 Silogismo Silogismo Categórico é uma forma de raciocínio lógico na qual há duas premissas e uma conclusão distinta destas premissas, sendo todas proposições categóricas ou singulares. Termo Médio é o termo que se repete nas duas premissas mas não aparece na conclusão.
19 Qual o termo médio da expressão? Todo cachorro é um mamífero Todo mamífero é vertebrado Logo, todo cachorro é vertebrado Qual é o termo médio? Resposta: Mamífero
20 Silogismo 1) Todo silogismo contém somente três termos: maior, médio e menor; 2) Os termos da conclusão não podem ter extensão maior que os termos das premissas; 3) O termo médio não pode entrar na conclusão; 4) O termo médio deve ser universal ao menos uma vez; 5) De duas premissas negativas, nada se conclui; 6) De duas premissas afirmativas não pode haver conclusão negativa; 7) A conclusão segue sempre a premissa mais fraca; 8) De duas premissas particulares, nada se conclui.
21 Silogismo Os raciocínios lógicos ocorrem na forma de sequências de proposições geradas por inferências imediatas obtidas da tábua de oposições. Um silogismo é um discurso no qual, estando dadas certas proposições premissas, uma nova proposição conclusão é obtida necessariamente e unicamente a partir das premissas. Usualmente os silogismos são apresentados da seguinte forma: Premissa maior Premissa menor Conclusão O termo menor (S) é o sujeito da conclusão, o termo maior (P) é o predicado da conclusão, e o termo comum às premissas é o termo médio (M).
22 Silogismo Exemplos: Todos os mamíferos são vertebrados (premissa maior) Todos os homens são mamíferos (premissa menor) portanto Todos os homens são vertebrados (conclusão). Neste caso o termo menor S é todos os homens, o termo maior P é vertebrados, e o termo médio M é mamíferos. Este silogismo tem portanto a forma: Todas as proposições são do tipo A. MP SM SP
23 Silogismo Considerando que há 4 tipos de proposições (A,E,I e O) então há 4 3 = 64 silogismos por figura (ver abaixo), ou seja 256 silogismos no total; As figuras do silogismo são: 1ª figura 2ª figura 3ª figura 4ª figura Premissa maior MP PM MP PM Premissa menor SM SM MS MS Conclusão SP SP SP SP
24 Silogismo Nem todos os silogismos são válidos; o estudo da Lógica por Aristóteles, e posteriormente na idade média, buscou separar os silogismos válidos, ou seja, aqueles em que a conclusão segue necessariamente das premissas; Pode-se deduzir a validade ou não de um silogismo a partir dos diagramas de Venn-Euler correspondentes; Exemplo: M Nenhum peixe (M) é mamífero (P) <tipo E>; Todos os robalos (S) são peixes (M) <tipo A>; portanto Nenhum robalo (S) é mamífero (P) <tipo E>. S P Ou, esquematicamente: MP<E> SM<A> SP<E>
25 Silogismo Exemplo: Todos os animais venenosos (M) são perigosos (P) <tipo A>; Algumas serpentes (S) são animais venenosos (M) <tipo I>; portanto Algumas serpentes (S) são perigosas (P) <tipo I>. Esquematicamente: MP<A> SM<I> SP<I> P M S
26 Silogismo Em alguns casos os diagramas de Venn-Euler apresentam o inconveniente de admitir, para um mesmo silogismo, várias representações geométricas; Exemplo: MP<E> SM<I> SP<O> M S P M S P M S P
27 Silogismo Verdade e validade (ou correção): Um silogismo é válido (correto) se e somente se (sse) a verdade da conclusão segue necessariamente da verdade das premissas; Os silogismos portanto transmitem a verdade das premissas à conclusão; Esta definição exclui a possibilidade de que um silogismo válido possa ter premissas verdadeiras e conclusão falsa; Isto não exclui a possibilidade de que a conclusão de um silogismo válido seja falsa; neste caso alguma das premissas é falsa. Exemplo: Todos os animais marinhos são peixes; Todas as baleias são animais marinhos; portanto Todas as baleias são peixes.
28 Exercícios sobre lógica aristotélica 1) Indique a forma do silogismo (termos, figura, diagrama), e indique se mesmo é válido ou não: a) Todos os gregos são homens; Todos os atenienses são gregos; Todos os atenienses são homens. b) Todos os socialistas são marxistas; Alguns governantes são marxistas; Alguns governantes são socialistas. c) Todas as ações penais são atos cruéis; Todos os processos por homicídio são ações penais; Todos os processos por homicídio são atos cruéis.
29 Exercícios sobre lógica aristotélica d) Alguns papagaios não são animais nocivos; Todos os papagaios são animais de estimação; Nenhum animal de estimação é nocivo. e) Nenhum ator dramático é um homem feliz; Alguns comediantes não são homens felizes; Alguns comediantes não são atores dramáticos. f) Todos os coelhos são corredores muito velozes; Alguns cavalos são corredores muito velozes; Alguns cavalos são coelhos.
30 Exercícios sobre lógica aristotélica 2) Escreva na forma típica, indique termos, figura, diagrama, e verifique a validade: a) Nenhum submarino de propulsão nuclear é um navio mercante, assim nenhum vaso de guerra é navio mercante, visto que todos os submarinos de propulsão nuclear são vasos de guerra; b) Alguns conservadores não são defensores de tarifas elevadas, porque todos os defensores de tarifas elevadas são republicanos, e alguns republicanos não são conservadores; c) Nenhum indivíduo obstinado que jamais admite um erro é bom professor; portanto, como algumas pessoas bem informadas são indivíduos obstinados que nunca admitem um erro, alguns bons professores não são pessoas bem informadas.
Lógica para Computação (IF61B) Introdução à Lógica
à Lógica Slides da disciplina Lógica para Computação, ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. (kaestner@dainf.ct.utfpr.edu.br) entre 2007 e 2008. Alterações feitas em 2009 pelo Prof.
Leia maisEnunciados Categóricos
Enunciados Categóricos Origem Aristóteles fez um estudo minucioso de certos tipos básicos de argumentos, estabelecendo regras para distinguir os que são válidos daqueles que não o são. Estes últimos são
Leia maisLógica para Computação Prof. Celso Antônio Alves Kaestner, D.E.E. celsokaestner (at) utfpr (dot) edu (dot) br Introdução Lógica para Computação (IF61B) Três citações extraídas de Logique: Méthodes pour
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 maisOnde surge a verdade logica? Surge da correspondência entre pensamento e fato, a qual nasce de um juízo sobre a realidade. Quando surge o erro?
Questionamentos 20/03 Onde surge a verdade logica? Surge da correspondência entre pensamento e fato, a qual nasce de um juízo sobre a realidade. Quando surge o erro? Quando possuímos um juízo que não resulta
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 maisFilosofia. Lógica. Lógica. Prof. José Fernando da Silva. Lógica:Proposições categoriais e silogismo aristotélico
Filosofia Prof. José Fernando da Silva :Proposições categoriais e silogismo aristotélico A demonstração de um argumento coincide com a realização de uma operação de dedução. De acordo com Aristóteles,
Leia maisAGRUPAMENTO DE ESCOLAS DE RIO DE MOURO EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS
EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS Caro aluno, Vai encontrar aqui um conjunto de exercícios de lógica cujo objetivo é facilitar-lhe o estudo autónomo. Estes exercícios irão estar disponíveis num
Leia maisUMsilogismo é um argumento em que uma conclusão é inferida de
6 Silogismos Categóricos I. SILOGISMOS CATEGÓRICOS DEFORMA TíPICA UMsilogismo é um argumento em que uma conclusão é inferida de duas premissas. Um silogismo categórico éum argumento que consiste em três
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 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 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 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 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 mais1ª AVALIAÇÃO DE LÓGICA BACHARELADO E LICENCIATURA EM FILOSOFIA (Prof. Rodolfo Petrônio) SOLUÇÃO DAS QUESTÕES DA PROVA
1ª AVALIAÇÃO DE LÓGICA BACHARELADO E LICENCIATURA EM FILOSOFIA 2016.2 (Prof. Rodolfo Petrônio) SOLUÇÃO DAS QUESTÕES DA PROVA 1. (1.0) Responda à seguinte pergunta, recorrendo às regras do silogismo. Você
Leia maisBreve Resumo das Regras do Silogismo Aristotélico. Paulo Margutti FAJE
Breve Resumo das Regras do Silogismo Aristotélico Paulo Margutti FAJE Para que um argumento em forma silogística seja válido, ele deve obedecer a um conjunto de regras mais ou menos intuitivas, que são
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 maisTEMA-PROBLEMA A comunicação e a construção do indivíduo
TEMA-PROBLEMA 1.3. A comunicação e a construção do indivíduo Comunicação communicare pôr em comum, estar em relação com os outros, conviver. Tal implica que os indivíduos em comunicação possuam a mesma
Leia maisProposições e argumentos. Proposições tem de ter as seguintes características:
Ser uma frase declarativa (afirmativa ou negativa) Ter sentido Proposições e argumentos Proposições tem de ter as seguintes características: Ter um valor de verdade( ser verdadeira ou falsa) possível determinável
Leia mais1. Verificar a Validade de silogismos: - Em cada caso identifique os termos, as figuras e os modos.
1 Exercícios de Lógica: 1. Verificar a Validade de silogismos: - Em cada caso identifique os termos, as figuras e os modos. 1.a Nenhum palhaço é feliz Alguns comediantes não são felizes Alguns comediantes
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 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 maisRACIOCÍNIO LÓGICO PARA IBGE Aula 02 Parte 1 Prof. Guilherme Neves
Olá! Antes de começarmos o assunto desta aula, vamos resolver algumas questões da FGV referentes aos assuntos da aula passada. 01. (Pref. de Osasco 2014/FGV) Marcos afirmou: Todos os medicamentos que estão
Leia maisESCOLA ESTADUAL WINSTON CHURCHILL PIBID PROGRAMA INSTITUCIONAL DE BOLSA DE INICIAÇÃO À DOCÊNCIA KIT AMIGO TEMA 4: PENSAMENTO LÓGICO
ESCOLA ESTADUAL WINSTON CHURCHILL PIBID PROGRAMA INSTITUCIONAL DE BOLSA DE INICIAÇÃO À DOCÊNCIA KIT AMIGO TEMA 4: PENSAMENTO LÓGICO SEQUÊNCIA DIDÁTICA TEMA: PENSAMENTO LÓGICO 1-Título: Pensamento Lógico
Leia maisA partir das proposições Se não tem informações precisas ao tomar decisões, então o policial toma decisões ruins e Se o policial teve treinamento
Se as premissas P1 e P2 de um argumento forem dadas, respectivamente, por Todos os leões são pardos e Existem gatos que são pardos, e a sua conclusão P3 for dada por Existem gatos que são leões, então
Leia maisFilosofia (aula 9) Dimmy Chaar Prof. de Filosofia. SAE
Filosofia (aula 9) Prof. de Filosofia SAE leodcc@hotmail.com Lógica O problema lógico, embora para alguns possa parecer artificial, impõe-se por si. Ele surge logo que se nota que alguns conhecimentos
Leia maisRACIOCÍNIO LÓGICO. Prof. Luiz Luz
RACIOCÍNIO LÓGICO Prof. Luiz Luz RACIOCÍNIO LÓGICO Lógica da Argumentação ARGUMENTO Chama-se argumento toda afirmação de que uma dada sequência finita de proposições P1,P2,P3,...,Pn tem como consequência
Leia maisINSTITUTO ÀGORA DE EDUCAÇÃO
INSTITUTO ÀGORA DE EDUCAÇÃO Curso de filosofia RESENHA SOBRE: BLACKBUM, Simon. Para que serve filosofia?. Disponível em: http: www.criticanarede.com/fa_10exceto.html; SHAND, John. O que é filosofia?. Disponível
Leia maisUnidade II LÓGICA. Profa. Adriane Paulieli Colossetti
Unidade II LÓGICA Profa. Adriane Paulieli Colossetti Relações de implicação e equivalência Implicação lógica Dadas as proposições compostas p e q, diz-se que ocorre uma implicação lógica entre p e q quando
Leia maisTipos de Raciocínio. Indução e Dedução. Prof. Samuel Swerts
Tipos de Raciocínio Indução e Dedução Mesmo sendo tão perfeita, a Lógica não é a única representante de nossos raciocínios mais típicos. Temos várias outras formas e isso nos leva a dividi-las em métodos
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 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 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 maisDouglas Léo PROPOSIÇÕES CATEGÓRICAS DE ARISTÓTELES: SILOGISMO
Douglas Léo PROPOSIÇÕES CATEGÓRICAS DE ARISTÓTELES: SILOGISMO PROPOSIÇÕES CATEGÓRICAS DE ARISTÓTELES (384 a 322 a.c) SÉCULO IV A.C do por AB qualquer uma das quatro proposições categ ro proposições categóricas
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 maisRaciocínio Lógico (Professor Uendel)
Raciocínio Lógico (Professor Uendel) Material (03); SEFAZ; JULHO DE 2017 Todo DIAGRAMAS LÓGICOS No estudo das operações com conjuntos e das soluções de problemas envolvendo conjuntos, os diagramas ajudam
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 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 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 maisLógica: Quadrado lógico:
Lógica: 1. Silogismo aristotélico: Podemos encara um conceito de dois pontos de vista: Extensão a extensão é um conjunto de objectos que o conceito considerado pode designar ou aos quais ele se pode aplicar
Leia 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 maisRaciocínio Lógico Matemático
Raciocínio Lógico Matemático Noções de Lógica Noções de Lógica 1. Lógica? É lógico! Qual é o significado da palavra lógica? É lógico estudar lógica? A quem interessa a lógica? Lógica Matemática? Caro aluno,
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 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 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 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 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 mais19/05/2017 DOUGLAS LÉO RACIOCÍNIO LÓGICO
DOUGLAS LÉO RACIOCÍNIO LÓGICO 1. (VUNESP PERITO CRIMINAL PC-SP 2014) Das alternativas apresentadas, assinale a única que contém uma proposição lógica. a) Ser um perito criminal ou não ser? Que dúvida!
Leia maisRACIOCÍNIO LÓGICO. Edição junho 2017
RACIOCÍNIO LÓGICO 85 QUESTÕES DE PROVAS DE CONCURSOS POR ASSUNTOS Edição junho 2017 TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A
Leia maisA METAFÍSICA E A TEORIA DAS QUATRO CAUSAS
A METAFÍSICA E A TEORIA DAS QUATRO CAUSAS O que é a metafísica? É a investigação das causas primeiras de todas as coisas existentes e estuda o ser enquanto ser. É a ciência que serve de fundamento para
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 e estruturação PROFESSOR NICHOLAS GABRIEL MINOTTI LOPES FERREIRA
Lógica e estruturação da linguagem PROFESSOR NICHOLAS GABRIEL MINOTTI LOPES FERREIRA Na 3 Série do Ensino Médio, o professor decidiu aprofundar em um tema de extrema importância: LÓGICA. Vocês a estudarão
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 maisAutor: Francisco Cubal Disponibilizado apenas para Resumos.tk
Conceito e Finalidade da Lógica Existem variados conceitos do que é a Lógica. Conceitos: A lógica é o estudo das inferências ou argumentos válidos. A lógica é o estudo do que conta como uma boa razão para
Leia maisLógica 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 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 maisLógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições
Leia maisn. 11 Argumentos e Regras de Inferência
n. 11 Argumentos e Regras de Inferência A lógica formal lida com um tipo particular de argumento, denominado de argumento dedutivo, que nos permite deduzir uma conclusão Q, com base num conjunto de proposições
Leia maisPROF. ALEXSANDER COSTA LÓGICA FILOSOFIA
PROF. ALEXSANDER COSTA LÓGICA FILOSOFIA SUMÁRIO Raciocínio...p. 02 Lógica aristotélica...p.03 Princípios lógicos...p.04 Silogismo...p.04 Características do silogismo...p.04 Composição do silogismo...p.04
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 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 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 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 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 maisLógicas Dedutiva e Indutiva
Perguntas Lógicas Dedutiva e Indutiva 1. O que é lógica? 2. O que é uma dedução? 3. O que é uma indução? 4. Por que não parece natural pensar de forma lógica? 5. Resumindo Renato Vicente EACH-USP/2008
Leia maisEstrutura lógica de relações arbitrárias entre pessoas, lugares, objetos ou eventos fictícios; deduzir novas informações das relações fornecidas e
Estrutura lógica de relações arbitrárias entre pessoas, lugares, objetos ou eventos fictícios; deduzir novas informações das relações fornecidas e avaliar as condições usadas para estabelecer a estrutura
Leia maisLógicas Dedutiva e Indutiva. Renato Vicente EACH-USP/2008
Lógicas Dedutiva e Indutiva Renato Vicente EACH-USP/2008 Perguntas 1. O que é lógica? 2. O que é uma dedução? 3. O que é uma indução? 4. Por que não parece natural pensar de forma lógica? 5. Resumindo
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 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 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 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 maisProva Escrita de Filosofia
Exame Final Nacional do Ensino Secundário Prova Escrita de Filosofia.º Ano de Escolaridade Decreto-Lei n.º 9/0, de 5 de julho Prova 74/Época Especial Critérios de Classificação Páginas 04 Prova 74/E. Especial
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I 1 a Lista de Exercícios
1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2015/I 1 a Lista de Exercícios Tópico: Argumentos 1. Julgue as premissas e a conclusão
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 maisDefinição tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade.
Lógica de Programação Introdução Sistema de Informação Ementa: Cálculo proposicional e dos predicados. Sistemas Algébricos. Noções de Álgebra de Boole. Circuitos Lógicos. L Lógica de primeira ordem. Álgebra.
Leia 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 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 mais1-(FUNRIO TEC. ENF. PM RJ)
1-(FUNRIO TEC. ENF. PM RJ) Num determinado país, o governo instituiu, no mesmo mês, dois reajustes consecutivos no preço do litro da gasolina. O primeiro reajuste foi de 4% e o segundo reajuste, aplicado
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 maisFILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS
FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS QUESTÃO - 36 Esperava-se que o estudante estabelecesse a distinção entre verdade e validade e descrevesse suas respectivas aplicações. Item
Leia maisPROVA RESOLVIDA TJ/SP RACIOCÍNIO LÓGICO. Professor Guilherme Neves.
TJ/SP - 2017 RACIOCÍNIO LÓGICO Professor Guilherme Neves www.pontodosconcursos.com.br www.pontodosconcursos.com.br Professor Guilherme Neves 1 91. Uma negação lógica para a afirmação João é rico, ou Maria
Leia maisFICHA FORMATIVA. 1. Selecione a única opção que permite obter uma afirmação correta. Para Aristóteles, a compreensão de um termo:
Direção-Geral dos Estabelecimentos Escolares Direção de Serviços da Região Centro 11.º Ano UNIDADE DIDÁTICA III- 1. Argumentação e lógica formal Atividade: Consolidação de conhecimentos FICHA FORMATIVA
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.
Leia maisRaciocínio Lógico. Matemático. Lógica Proposicional
Raciocínio Lógico Matemático Lógica Proposicional Leis De Morgan As leis de De Morgan (Augustos De Morgan- Século 19) são um conjunto de operações para simplificar expressões lógicas de tal forma que possam
Leia maisCESPE UnB PROVA DE LÓGICA POLÍCIA FEDERAL DE 21 DE DEZEMBRO DE 2014 Prof Pacher ENUNCIADO PRINCIPAL QUESTÃO 57. Solução
CESPE UnB PROVA DE LÓGICA POLÍCIA FEDERAL DE 21 DE DEZEMBRO DE 2014 Prof Pacher ENUNCIADO PRINCIPAL QUESTÃO 57 Partindo da hipótese que João pediu peixe, coloque um V na tabela para atender a informação
Leia maisINTRODUÇÃO A LÓGICA. Prof. André Aparecido da Silva Disponível em:
INTRODUÇÃO A LÓGICA Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas 1 CIENCIA E LÓGICA RACIOCINIO LÓGICO NOTAÇÃO POSICIONAL PRINCIPIOS DA LÓGICA CONECTIVOS LÓGICOS REGRAS DE
Leia maisMatemática & Raciocínio Lógico
Matemática & Raciocínio Lógico para concursos Prof. Me. Jamur Silveira www.professorjamur.com.br facebook: Professor Jamur RACIOCÍNIO LÓGICO: Proposições logicamente equivalentes (Símbolo ) São proposições
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 maisAs ferramentas da razão 1
As ferramentas da razão 1 A filosofia pode ser uma atividade extremamente técnica e complexa, cujos conceitos e terminologia chegam muitas vezes a intimidar aqueles que iniciam seus estudos filosóficos.
Leia maisExemplos de frases e expressões que não são proposições:
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
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 maisFicha Informativa sobre Lógica
Ficha Informativa sobre Lógica Introdução. O pensamento e a linguagem estão presentes em todos os domínios da nossa vida e a sua coerência depende do uso de alguns critérios, regras, leis ou princípios.
Leia maisRESPOSTAS AOS RECURSOS
Hewlett-Packard Company RESPOSTAS AOS RECURSOS VI PROCESSO DE SELEÇÃO PÚBLICA PARA CREDENCIAMENTO NO PROGRAMA DE ESTÁGIO DE NÍVEL TÉCNICO E UNIVERSITÁRIO DO MINISTÉRIO PÚBLICO DO ESTADO DE PERNAMBUCO (PENUM/MPPE)
Leia maisLÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:
LÓGICA COMPUTACIONAL Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica 1 CODIFICAÇÃO DA CONJECURA DE COLLATZ QUE FALEI NA AULA PASSADA. 2 3 4 A lógica é usada para guiar
Leia maisCOPYRIGHT TODOS OS DIREITOS RESERVADOS - SABER E FÉ
Aviso importante! Esta matéria é uma propriedade intelectual de uso exclusivo e particular do aluno da Saber e Fé, sendo proibida a reprodução total ou parcial deste conteúdo, exceto em breves citações
Leia maisRECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
Leia maisExercícios de Lógica Aristotélica
TERMOS E IDEIAS 1. Classifique os termos abaixo (seguindo o modelo) quanto à sua extensão e compreensão: Escola Escola Particular Simples Adequado Unívoco a. Homem b. Animal c. Animal racional d. Doutor
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 maisFUNDAMENTOS DE LÓGICA E ALGORITMOS
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE FUNDAMENTOS DE LÓGICA E ALGORITMOS AULA 01 Docente: Éberton da Silva Marinho e-mail: ebertonsm@gmail.com 27/05/2016 SUMÁRIO Introdução
Leia mais1- (VUNESP - CAMARA DE SUMARÉ -SP -ESCRITURÁRIO ) Sabe-se que 70% dos participantes da fase inicial de um processo seletivo foram reprovados.
1- (VUNESP - CAMARA DE SUMARÉ -SP -ESCRITURÁRIO - 2017) Sabe-se que 70% dos participantes da fase inicial de um processo seletivo foram reprovados. Se 140 candidatos foram reprovados nessa fase inicial,
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 mais