Uma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem.

Tamanho: px
Começar a partir da página:

Download "Uma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem."

Transcrição

1 Tautologia Uma proposição composta é uma tautologia, se for sempre verdadeira, independentemente do valor lógico das proposições simples que a compõem. Exemplos:

2 Contradição Uma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem. Exemplos Contingência Uma proposição é uma contingência se, em sua tabela verdade tivermos pelo menos uma linha verdadeira e pelo menos uma linha falsa. Exemplos: Argumento Sejam proposições quaisquer simples ou compostas. Chama-se argumento toda sequência de proposições que tem como consequência uma proposição final. As proposições são chamadas de premissas e a proposição final é chamada de proposição. Indicamos um argumento por Que podemos ler como: acarretam.

3 Regras de Inferência Com o auxílio das seguintes regras de inferência, podemos demonstrar a validade de vários argumentos mais complexos. É usual escrever as regras de inferência na forma padronizada, sendo uma linha para cada premissa, e um traço separando as premissas da conclusão. Regra da Adição (AD) Regra de Simplificação (SIMP) Regra da Conjunção (CONJ) Regra da Absorção (ABS) Regra Modus Ponens (MP) Regra Modus Tollens (MT) Regra do Silogismo Disjuntivo (SD)

4 Regra do Silogismo Hipotético (SH) Regra do Dilema Construtivo (DC) Regra do Dilema Destrutivo (DD) Questões 01 - Durante uma aula sobre raciocínio lógico, o aluno faz a seguinte afirmação: "Toda pessoa brasileira não tem boa educação". Ao que o professor contrapôs: "Eu tenho boa educação. Logo, não sou brasileiro". Supondo que a afirmação do aluno seja verdadeira, a conclusão do professor é a) falsa, pois o correto seria afirmar que, se ele não fosse brasileiro, então teria uma boa educação. b) verdadeira, pois, caso contrário, a afirmação do aluno seria falsa. c) falsa, pois o correto seria afirmar que, se ele não tem uma boa educação, então ele tanto poderia ser brasileiro como não. d) falsa, pois o correto seria afirmar que ele é brasileiro e, portanto, não tem boa educação Determinado argumento possui as seguintes premissas: I. Se Ailton foi aprovado no concurso e mudou de cidade, então Ailton mudou de emprego; II. Ailton não mudou de emprego. Uma conclusão que garante a validade dos argumentos é expressa pela proposição: a) Ailton foi aprovado no concurso e não mudou de cidade. b) Ailton não foi aprovado no concurso e mudou de cidade. c) Ailton não foi aprovado no concurso ou não mudou de cidade. d) Se Ailton não mudou de emprego, então Ailton não mudou de cidade.

5 03 - Considere verdadeiras as premissas I, II e III. I. I. Se Cláudio é médico, então Ana é advogada. II. Se Marcelo é professor, então Débora é dentista. III. Ana não é advogada ou Débora não é dentista. A alternativa que contém uma conclusão que pode ser associada às premissas apresentadas, de modo a constituir um argumento válido, é: a) Marcelo não é professor. b) Cláudio é médico e Débora não é dentista. c) Marcelo é professor e Ana é advogada. d) Cláudio não é médico ou Marcelo não é professor. e) Cláudio é médico e Marcelo é professor Dê o somatório dos itens verdadeiros: (1) Uma sentença composta é chamada Tautologia quando seu valor lógico for sempre verdade, independentemente dos valores lógicos das sentenças simples que a compõem. (2) Todas as sentenças contraditórias são equivalentes. (4) A sentença ~ P P é uma tautologia. (8) Existem duas sentenças tautológicas que não são equivalentes. a) 3 b) 7 c) 11 d) 14 e) Um enunciado é uma tautologia quando não puder ser falso, um exemplo é: a) Está fazendo sol e não está fazendo sol. b) Está fazendo sol. c) Se está fazendo sol, então não está fazendo sol. d) não está fazendo sol. e) Está fazendo sol ou não está fazendo sol São verdadeiras as quatro seguintes proposições: P1: Se João joga futebol, então Maria não gosta de guaraná. P2: Maria gosta de guaraná ou Paulo não estuda todo dia. P3: Paulo não estuda todo dia se, e somente se, Carlos grita de manhã. P4: Carlos não grita de manhã e Roberto não é flamenguista. Com base nas proposições acima, uma conclusão necessariamente verdadeira é: a) Maria gosta de guaraná e Paulo não estuda todo dia. b) Se João não joga futebol, então Paulo estuda todo dia. c) Paulo estuda todo dia e Carlos grita de manhã. d) Se Paulo estuda todo dia, então Roberto é flamenguista.

6 07- Considere os seguintes argumentos: Argumento I p1: Trabalho se e somente se estudo. p2: Terei sucesso, se trabalhar e for proativo. p3: Não estudei, mas sou proativo. c: Logo, não terei sucesso. Argumento II p1: Gosto de estudar e sou aventureiro. p2: Gosto de trabalhar ou de viajar. p3: Se sou aventureiro, então gosto de viajar. c: Logo, não gosto de trabalhar. É correto afirmar que : a) os argumentos I e II são válidos. b) ambos os argumentos, I e II, são inválidos. c) no argumento I, a conclusão é consequência de suas premissas. d) apenas no argumento II, a conclusão é consequência de suas premissas Considere as premissas I, II e III. I. Se Carlos é legista, então ele é médico. II. Se Ana é perita criminal, então ela é policial civil. III. Ana é policial civil e Carlos é legista. Uma conclusão que pode ser indicada para que, juntamente com essas três premissas, se tenha um argumento válido é a) Carlos não é médico. b) Carlos é médico e Ana é perita criminal. c) Carlos é médico se, e somente se, Ana é perita criminal. d) Carlos é médico ou Ana não é perita criminal. e) Ana é perita criminal O princípio da não contradição, inicialmente formulado por Aristóteles ( a.c.), permanece como um dos sustentáculos da lógica clássica. Uma proposição composta é con- traditória quando. a) seu valor lógico é falso e todas as proposições simples que a constituem são falsas. b) uma ou mais das proposições que a constituem decorre/ decorrem de premissas sempre falsas c) seu valor lógico é sempre falso, não importando o valor de suas proposições constituintes. d) suas proposições constituintes não permitem inferir uma conclusão sempre verdadeira e) uma ou mais das proposições que a constituem possui/ possuem valor lógico indeterminável Conforme a teoria da lógica proposicional, a proposição ~ P Λ P é: a) uma tautologia. b) equivalente à proposição ~ P V P. c) uma contradição. d) uma contingência. e) uma disjunção.

7 11 - Quando somente três times (Arrankatoko, Kanelafina e Espantassapo) ainda tinham chances matemáticas de ganhar o campeonato do bairro de 2011, três torcedores fizeram as suas previsões. Torcedor 1: O campeão será o Arrankatoko ou o Kanelafina. Torcedor 2: O campeão será o Kanelafina ou o Espantassapo. Torcedor 3: O campeão não será o Kanelafina. Seja n o número de torcedores, dentre os três citados acima, que acertaram suas previsões após o término do campeonato. Somente com as informações fornecidas, a) conclui-se que n = 0. b) conclui-se que n = 1. c) conclui-se que n = 2. d) conclui-se que n = 3. e) não se pode descobrir o valor de n Considere que as seguintes premissas são verdadeiras: I. Se um homem é prudente, então ele é competente. II. Se um homem não é prudente, então ele é ignorante. III. Se um homem é ignorante, então ele não tem esperanças. IV. Se um homem é competente, então ele não é violento. Para que se obtenha um argumento válido, é correto concluir que se um homem a) não é violento, então ele é prudente. b) não é competente, então ele é violento. c) é violento, então ele não tem esperanças. d) não é prudente, então ele é violento. e) não é violento, então ele não é competente Marque V (Verdadeiro) e F (Falso) nas afirmações abaixo: ( ) A sentença: P Q, ~ P ~ Q é um argumento válido. ( ) A sentença: P Q, Q P é um argumento válido. ( ) A sentença: P Q, Q P é um argumento inválido. A sequência CORRETA, de cima para baixo, é: a) V F V. b) F V V. c) V F F. d) F V F Em lógica, pelo princípio do terceiro excluído, a) uma proposição falsa pode ser verdadeira e uma proposição falsa pode ser verdadeira. b) uma proposição verdadeira pode ser falsa, mas uma proposição falsa é sempre falsa. c) uma proposição ou será verdadeira, ou será falsa, não há outra possibilidade. d) uma proposição verdadeira é verdadeira e uma proposição falsa é falsa. e) nenhuma proposição poderá ser verdadeira e falsa ao mesmo tempo.

8 15 - Considere um argumento composto pelas seguintes premissas: - Se a inflação não é controlada, então não há projetos de desenvolvimento. - Se a inflação é controlada, então o povo vive melhor. - O povo não vive melhor. Considerando que todas as três premissas são verdadeiras, então, uma conclusão que tornaria o argumento válido é: a) A inflação é controlada. b) Não há projetos de desenvolvimento. c) A inflação é controlada ou há projetos de desenvolvimento. d) O povo vive melhor e a inflação não é controlada. e) Se a inflação não é controlada e não há projetos de desenvolvimento, então o povo vive melhor Considere as proposições x e y e assinale a expressão que corresponde a uma tautologia. a) b) c) d) e) 17 - Considere que as seguintes proposições são verdadeiras: 1. Se um Analista é competente, então ele não deixa de fazer planejamento. 2. Se um Analista é eficiente, então ele tem a confiança de seus subordinados. 3. Nenhum Analista incompetente tem a confiança de seus subordinados. De acordo com essas proposições, com certeza é verdade que: a) Se um Analista não é eficiente, então ele não tem a confiança de seus subordinados. b) Se um Analista deixa de fazer planejamento, então ele não é eficiente. c) Se um Analista não é eficiente, então ele não deixa de fazer planejamento. d) Se um Analista tem a confiança de seus subordinados, então ele é eficiente. e) Se um Analista tem a confiança de seus subordinados, então ele é incompetente Considere as seguintes afirmações: I. Se ocorrer uma crise econômica, então o dólar não subirá. II. Ou o dólar subirá, ou os salários serão reajustados, mas não ambos. III. Os salários serão reajustados se, e somente se, não ocorrer uma crise econômica. Sabendo que as três afirmações são verdadeiras, é correto concluir que, necessariamente, a) o dólar não subirá, os salários não serão reajustados e não ocorrerá uma crise econômica. b) o dólar subirá, os salários não serão reajustados e ocorrerá uma crise econômica. c) o dólar não subirá, os salários serão reajustados e ocorrerá uma crise econômica. d) o dólar subirá, os salários serão reajustados e não ocorrerá uma crise econômica. e) o dólar não subirá, os salários serão reajustados e não ocorrerá uma crise econômica.

9 19 - Certo dia, ao observar as atividades de seus subordinados, o chefe de uma seção de uma unidade do Tribunal Regional do Trabalho fez as seguintes declarações: - Se Xerxes não protocolar o recebimento dos equipamentos, então Yule digitará alguns textos. - Se Xerxes protocolar o recebimento dos equipamentos, então Zenóbia não fará a manutenção dos sistemas informatizados. - Zenóbia fará a manutenção dos sistemas informatizados. Considerando que as três declarações são verdadeiras, é correto concluir que a) Yule deverá digitar alguns textos. b) Yule não digitará alguns textos ou Zenóbia não fará a manutenção dos sistemas informatizados. c) Xerxes não protocolará os documentos e Yule não digitará alguns textos. d) Zenóbia deverá fazer a manutenção dos sistemas informatizados e Xerxes deverá protocolar o recebi- mento de documentos. e) Xerxes deverá protocolar o recebimento dos equipamentos Numa proposição composta s, aparecem as proposições simples p, q e r. Sua Tabela-Verdade é Usando a conjunção (( ), a disjunção (v) e a negação (~), pode-se construir sentenças equivalentes a s. Uma dessas sentenças é a) ( p q r) (p q r) b) (p q r) ( p q r) c) (p q r) (p q r) d) (p q r) ( p q r) e) (p q r) ( p q r) Gabarito 01:b 02:c 03:d 04:a 05:e 06:b 07:b 08:d 09:c 10:c 11:c 12:c 13:b 14:c 15:b 16:c 17:b 18:e 19:a 20:a

Prof. João Giardulli. Unidade III LÓGICA

Prof. 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 mais

Ló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 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 mais

19/05/2017 DOUGLAS LÉO RACIOCÍNIO LÓGICO

19/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 mais

Lógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016

Ló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 mais

Fundamentos de Lógica Matemática

Fundamentos de Lógica Matemática Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise

Leia mais

DOUGLAS LÉO RACIOCÍNIO LÓGICO

DOUGLAS LÉO RACIOCÍNIO LÓGICO DOUGLAS LÉO RACIOCÍNIO LÓGICO VALORAÇÃO: DESENCADEAMENTO LÓGICO LÓGICA DE ARGUMENTAÇÃO VALIDADE DE ARGUMENTO SILOGISMOS DESENCADEAMENTO LÓGICO LÓGICA DE ARGUMENTAÇÃO Def: Uma argumentação Lógica correta

Leia mais

n. 11 Argumentos e Regras de Inferência

n. 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 mais

LÓGICA EM COMPUTAÇÃO

LÓGICA EM COMPUTAÇÃO CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 4 - ABRIL DE 2018 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br

Leia mais

1-(FUNRIO TEC. ENF. PM RJ)

1-(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 mais

Módulo 02. Questões de Lógica

Módulo 02. Questões de Lógica Questões de Lógica Módulo 02 Lógica é o estudo das relações entre afirmações, não da verdade dessas afirmações. Um argumento é um conjunto de fatos e opiniões (premissas) que dão suporte a uma conclusão.

Leia mais

Lógica. Cálculo Proposicional. Introdução

Ló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 mais

Lógica Proposicional (Consequência lógica / Dedução formal)

Lógica Proposicional (Consequência lógica / Dedução formal) Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /

Leia mais

LÓGICA EM COMPUTAÇÃO

LÓGICA EM COMPUTAÇÃO CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br

Leia mais

Introduçã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 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 mais

n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V

n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V n. 5 Implicações Lógicas A implicação lógica trata de um conjunto de afirmações, proposições simples ou compostas, cujo encadeamento lógico resultará em uma conclusão, a ser descoberta. Tal conclusão deverá

Leia mais

Recredenciamento Portaria MEC 347, de D.O.U

Recredenciamento Portaria MEC 347, de D.O.U Quest(iii) Argumento Dado um fenômeno ou fato, rocura-se justificá-lo, exlicá-lo. Esta justificativa é dada na forma de um raciocínio através do ual chegamos a uma afirmação, e uando este raciocínio é

Leia mais

Lógica para computação

Lógica para computação Lógica para computação PROPRIEDADES SEMÂNTICAS DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Introdução Esta seção considera a análise de algumas propriedades semânticas da LP que relacionam os resultados

Leia mais

1- (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 ) 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 mais

Regras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

Regras 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 mais

RLM Material de Apoio Professor Jhoni Zini

RLM Material de Apoio Professor Jhoni Zini PRINCÍPIOS LÓGICOS 1. Segundo a lógica aristotélica, as proposições têm como uma de suas propriedades básicas poderem ser verdadeiras ou falsas, isto é, terem um valor de verdade. Assim sendo, a oração

Leia mais

LÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q :

LÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q : LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q : ~ p 3) Proposição contra positiva de p q : ~ p ex. Determinar:

Leia mais

RACIOCÍNIO LÓGICO FUNDAÇÃO CARLOS CHAGAS (FCC) TRT s 04 PROVAS 25 QUESTÕES. (2012, 2010 e 2008)

RACIOCÍNIO LÓGICO FUNDAÇÃO CARLOS CHAGAS (FCC) TRT s 04 PROVAS 25 QUESTÕES. (2012, 2010 e 2008) RACIOCÍNIO LÓGICO FUNDAÇÃO CARLOS CHAGAS (FCC) TÉCNICO TRT s 04 PROVAS 25 QUESTÕES (2012, 2010 e 2008) A apostila contém provas de Raciocínio Lógico de concursos da Fundação Carlos Chagas (FCC), realizadas

Leia mais

Universidade Federal do Espírito Santo 3a. Prova de Lógica Prof. Lúcio Fassarella DMA/CEUNES/UFES Data: 25/07/2017

Universidade Federal do Espírito Santo 3a. Prova de Lógica Prof. Lúcio Fassarella DMA/CEUNES/UFES Data: 25/07/2017 Universidade Federal do Esírito Santo 3a. Prova de Lógica Prof. Lúcio Fassarella DMA/CEUNES/UFES Data: 5/07/017 Aluno: Matrícula. Nota: : : Orientações: Todas as resostas devem ser devidamente justi cadas

Leia mais

Lógica e Matemática Discreta

Lógica e Matemática Discreta Lógica e Matemática Discreta Proposições Prof clezio 26 de Abril de 2017 Curso de Ciência da Computação Inferência Lógica Uma inferência lógica, ou, simplesmente uma inferência, é uma tautologia da forma

Leia mais

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por: LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,

Leia mais

Ló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 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 mais

Material Extra Aula 6 Raciocínio Lógico Prof. Edgar Abreu

Material 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 mais

Cálculo proposicional

Cá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 mais

Lógica Proposicional

Lógica Proposicional Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado

Leia mais

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Ló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 mais

A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360

A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360 1 DEMAIS SIMULADOS NO LINK ABAIXO CLIQUE AQUI REDE SOCIAL SIMULADO 17/360 RLM INSTRUÇÕES TEMPO: 30 MINUTOS MODALIDADE: CERTO OU ERRADO 30 QUESTÕES CURTA NOSSA PÁGINA MATERIAL LIVRE Este material é GRATUITO

Leia mais

3.3 Cálculo proposicional clássico

3.3 Cálculo proposicional clássico 81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos

Leia mais

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior

Ló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 mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 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 mais

Fundamentos da Computação 1. Introdução a Argumentos

Fundamentos 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 mais

Lógica e Matemática Discreta

Ló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 mais

Questõ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 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 mais

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos

Leia mais

Fundamentos de Lógica Lógica Proposicional

Fundamentos de Lógica Lógica Proposicional Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos

Leia mais

Ló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 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 mais

Dedução Natural e Sistema Axiomático Pa(Capítulo 6)

Deduçã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 mais

n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL

n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL Para demonstrar a validade de um argumento podemos utilizar outro método, conhecido como Demonstração

Leia mais

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam. Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos

Leia mais

NHI Lógica Básica (Lógica Clássica de Primeira Ordem)

NHI 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 mais

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 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 mais

Com relação a lógica sentencial, contagem e combinação, julgue os itens a seguir.

Com relação a lógica sentencial, contagem e combinação, julgue os itens a seguir. Considerando-se como V a proposição "Sem linguagem, não há acesso à realidade", conclui-se que a proposição "Se não há linguagem, então não há acesso à realidade" é também V. Certo Errado Com relação a

Leia mais

QUESTÕES REVISÃO DE VÉSPERA FUNAI

QUESTÕES REVISÃO DE VÉSPERA FUNAI QUESTÕES REVISÃO DE VÉSPERA FUNAI RACIOCÍNIO LÓGICO Prof. Josimar Padilha EDITAL: RACIOCÍNIO LÓGICO E QUANTITATIVO: 1. Lógica e raciocínio lógico: problemas envolvendo lógica e raciocínio lógico. 2. Proposições:

Leia mais

Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade

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 mais

Raciocí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. 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 mais

Gabarito da Avaliação 3 de Lógica Computacional 1

Gabarito da Avaliação 3 de Lógica Computacional 1 Questões iguais em todas as provas: Gabarito da Avaliação 3 de Lógica Computacional 1 1. (5 pts) Utilize a Regra DC para mostrar que é válido o seguinte argumento: p q r, s ~r ~t, s u p u De acordo com

Leia mais

2. Construa as tabelas verdade das seguintes proposições, indicando quaisquer tautologias ou contradições:

2. Construa as tabelas verdade das seguintes proposições, indicando quaisquer tautologias ou contradições: FACULDADE DE TECNOLOGIA SENAC PELOTAS Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Edécio Fernando Iepsen 1. Traduza para a linguagem natural as fórmulas abaixo,

Leia mais

CASA TRIBUNAIS RACIOCÍNIO LÓGICO

CASA 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 mais

Ló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 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 mais

Grupo I ( traduções) Simboliza cada uma das proposições que se seguem. Não esquecer do dicionário. Grupo II ( tabelas) Grupo III ( inspetores)

Grupo I ( traduções) Simboliza cada uma das proposições que se seguem. Não esquecer do dicionário. Grupo II ( tabelas) Grupo III ( inspetores) Grupo I ( traduções) Simboliza cada uma das proposições que se seguem. Não esquecer do dicionário. a) O João vai à praia se e só se não tiver almoçado e fizer bom tempo b) Se os alunos jogam futebol no

Leia mais

Coordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva

Coordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva @ LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q: ~ p 3) Proposição contra positiva de p q: ~ p ex. Determinar:

Leia mais

n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.

n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas. n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição

Leia mais

Lógica e Metodologia Jurídica

Ló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 mais

impossível conclusão falso premissas verdadeiro

impossí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 mais

Lógica e Metodologia Jurídica

Ló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 mais

Lógica Proposicional Parte 2

Ló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 mais

Exemplo 7 1 I. p q: Se o time joga bem, então o time ganha o campeonato. q s: Se o time ganha o campeonato então. s: Os torcedores não estão felizes.

Exemplo 7 1 I. p q: Se o time joga bem, então o time ganha o campeonato. q s: Se o time ganha o campeonato então. s: Os torcedores não estão felizes. Exemplo 7 1 I p q: Se o time joga bem, então o time ganha o campeonato }{{}}{{} p q p r: Se o time não joga bem, então o técnico é o culpado }{{}}{{} p r q s: Se o time ganha o campeonato então }{{} q

Leia mais

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade

Leia mais

OBS.1: As palavras Se e então podem estar ocultas na. Proposição

OBS.1: As palavras Se e então podem estar ocultas na. Proposição RACIOCÍNIO LÓGICO PRO. IGOR BRASIL 1) Proposição: Observação!!! Não são proposições 1. 2. 3. 4. 5. 6. 7. 2) Conectivos São utilizados em proposições.» O conectivo e é conhecido por, representado pelo símbolo

Leia mais

Lógica de Programação

Lógica de Programação Lógica de Programação Autor: Jusdewbe Tatiane de Souza Mora 1 Introdução: LÓGICA O estudo da Lógica, é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto. Esta definição

Leia mais

Lógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios...

Ló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 mais

GABARITO DA AULA PASSADA

GABARITO DA AULA PASSADA GABARITO DA AULA PASSADA SLIDES: PROPOSIÇÕES LÓGICAS: 1-C 2-E 3-E 4-A 5-C 6-C 7-E 8-C 9-E 10-C 11-C 12-E 13-C 14-C 15-E 16-E 17-C 18-C 19-E 20-C 21-E 22-C 23-C TABELAS ERDADES: 1- E 2-C 3-E 4-E 5-E 6-E

Leia mais

Lógica Computacional

Ló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 mais

Lógica Proposicional. 1- O que é o Modus Ponens?

Lógica Proposicional. 1- O que é o Modus Ponens? 1- O que é o Modus Ponens? Lógica Proposicional R: é uma forma de inferência válida a partir de duas premissas, na qual se se afirma o antecedente do condicional da 1ª premissa, pode-se concluir o seu

Leia mais

70 Tons de. Raciocínio. Lógico

70 Tons de. Raciocínio. Lógico 70 Tons de Raciocínio Lógico BRDE 2015 Qual operação lógica descreve a tabela verdade da função Z abaixo cujo operandos são A e B? Considere que V significa Verdadeiro, e F, Falso. A B Z F F V F V V V

Leia mais

Lógica Proposicional

Lógica Proposicional Lógica Proposicional DIAGRAMAS LÓGICOS ü Todo Sinônimos: qualquer um ou outra similar. Representação: Conclusão: Todo A é B. Alguns elementos de B são A ou existem B que são A. Negação: Trocar TODO por

Leia mais

Lógica e Metodologia Jurídica

Ló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 mais

Simulado Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto

Simulado Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto Simulado Aula 03 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Argumento é a afirmação de que uma sequência de proposições, denominadas premissas, acarreta outra proposição, denominada

Leia mais

Lógica Matemática. Prof. Gerson Pastre de Oliveira

Ló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 mais

Cálculo proposicional

Cá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 mais

RACIOCÍNIO LÓGICO. Quantas dessas proposições compostas são FALSAS? a) Nenhuma. b) Apenas uma. c) Apenas duas. d) Apenas três. e) Quatro.

RACIOCÍNIO LÓGICO. Quantas dessas proposições compostas são FALSAS? a) Nenhuma. b) Apenas uma. c) Apenas duas. d) Apenas três. e) Quatro. RACIOCÍNIO LÓGICO 01. Uma proposição é uma sentença fechada que possui sentido completo e à qual se pode atribuir um valor lógico verdadeiro ou falso. Qual das sentenças apresentadas abaixo se trata de

Leia mais

Fundamentos de Lógica Matemática

Fundamentos de Lógica Matemática Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível

Leia mais

Ló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 Faculdade de Tecnologia de São Paulo Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo Motivação IA estuda como simular comportamento inteligente comportamento

Leia mais

Livro Eletrônico Aula 00 Passo Estratégico de Raciocínio Lógico-Matemático p/ TRT 2ª Região (TJAA)

Livro Eletrônico Aula 00 Passo Estratégico de Raciocínio Lógico-Matemático p/ TRT 2ª Região (TJAA) Livro Eletrônico Aula 00 Passo Estratégico de Raciocínio Lógico-Matemático p/ TRT 2ª Região (TJAA) - 2018 Professor: Hugo Lima Relatório 00 - Lógica Proposicional Apresentação...1 Cronograma de Relatórios...3

Leia mais

LÓGICA PROPOSICIONAL

LÓ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 mais

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:

Leia mais

DOUGLAS LÉO RACIOCÍNIO LÓGICO MATEMÁTICO

DOUGLAS LÉO RACIOCÍNIO LÓGICO MATEMÁTICO DOUGLAS LÉO RACIOCÍNIO LÓGICO MATEMÁTICO 1 - (IADES - CRC-MG- Auxiliar Adm. 2015) Raciocínio Lógico Matemático Com o objetivo de aumentar as vendas, o proprietário de uma loja resolveu aplicar o desconto

Leia mais

FRENTE : B PÁGINA : 6 EXERCÍCIO : SALA 2

FRENTE : B PÁGINA : 6 EXERCÍCIO : SALA 2 FRENTE : B PÁGINA : 6 EXERCÍCIO : SALA 1 a) (V) b) ( ) Não é proposição. c) (F) d) ( ) Não é proposição. e) (V) f) ( ) Não é proposição. g) ( ) Não é uma proposição e sim uma sentença aberta, pois depende

Leia mais

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula / 1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 03 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br

Leia mais

( ) Leonardo joga futebol e Fernanda joga golfe. ( ) Leonardo joga futebol e Fernanda não joga golfe.

( ) Leonardo joga futebol e Fernanda joga golfe. ( ) Leonardo joga futebol e Fernanda não joga golfe. 1 a Vericação de Aprendizagem Questão 1. (1,0)(FGV/2008) Leonardo disse a Fernanda: -Eu jogo futebol ou você não joga golfe. Fernanda retrucou: -Isso não é verdade. Sabendo que Fernanda falou a verdade,

Leia mais

DOUGLAS LÉO RACIOCÍNIO LÓGICO

DOUGLAS 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 mais

Lógica Proposicional (cont.)

Ló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 mais

Lógica Proposicional Parte 3

Lógica Proposicional Parte 3 Lógica Proposicional Parte 3 Nesta aula, vamos mostrar como usar os conhecimentos sobre regras de inferência para descobrir (ou inferir) novas proposições a partir de proposições dadas. Ilustraremos esse

Leia mais

Raciocínio Lógico. Matemático. Lógica Proposicional

Raciocínio Lógico. Matemático. Lógica Proposicional Raciocínio Lógico Matemático Lógica Proposicional Proposições Lógicas Denomina-se proposição toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro

Leia mais

Método das Tabelas para Validade Petrucio Viana

Mé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 mais

Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática

Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Argumentação em Matemática Prof. Lenimar Nunes de Andrade e-mail: numerufpb@gmail.com ou lenimar@mat.ufpb.br versão 1.0

Leia mais

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

MD 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 mais

Professor conteudista: Ricardo Holderegger

Professor 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 mais

Aprendendo. Raciocínio. Lógico

Aprendendo. Raciocínio. Lógico Aprendendo Raciocínio Lógico Sentenças Abertas Raciocínio Lógico Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos:

Leia mais

3.4 Fundamentos de lógica paraconsistente

3.4 Fundamentos de lógica paraconsistente 86 3.4 Fundamentos de lógica paraconsistente A base desta tese é um tipo de lógica denominada lógica paraconsistente anotada, da qual serão apresentadas algumas noções gerais. Como já foi dito neste trabalho,

Leia mais

III. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA

III. 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 mais

Representação de Conhecimento. Lógica Proposicional

Representação de Conhecimento. Lógica Proposicional Representação de Conhecimento Lógica Proposicional Representação de conhecimento O que éconhecimento? O que érepresentar? Representação mental de bola Representação mental de solidariedade Símbolo como

Leia mais

LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014

LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 1) Determinar o valor verdade da proposição (p q) r, sabendo-se que AL (p) =, AL (q) = e AL (r) =. Proposições são afirmações que podem ser julgadas como verdadeira

Leia mais