Ló gica. Para Concursos Públicos. Professor Luiz Guilherme

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Ló gica. Para Concursos Públicos. Professor Luiz Guilherme"

Transcrição

1 Ló gica Para Concursos Públicos Professor Luiz Guilherme 2014

2 1 Lógica Para Concursos Públicos Proposição... 2 Valor Lógico das Proposições... 2 Axiomas da Lógica... 2 Tabela Verdade:... 3 Conectivos:... 4 Proposições Simples... 4 Proposições Compostas... 4 Operações lógicas sobre proposições... 4 Negação... 4 Conjunção... 5 Disjunção... 5 Disjunção Exclusiva... 5 Condicional... 6 Bicondicional... 6 Regras de Inferência:... 7 Regra de Adição... 7 Regra de Simplificação... 7 Regra da Conjunção... 7 Regra da Absorção... 7 Regra Modus Ponens... 7 Regra Modus Tollens... 7 Regra do Silogismo Disjuntivo... 7 Regra do Silogismo Hipotético... 7 Regra do Dilema Construtivo... 7 Regra do Dilema Destrutivo... 7 Equivalência Lógica... 8 Contrapositiva... 8 Condicional... 8 Bicondicional... 8 Dupla negação... 8 Regra de De Morgan... 9 Regra de De Morgan... 9 Negação da Condicional... 9 Negação da Bicondicional... 9 Tautologia, Contradição e Contingência Tautologia Contradição Contingência Quantificadores Quantificador Universal Quantificador Existencial Negação de quantificadores: Diagramas Lógicos... 11

3 2 Ló gica para Cóncursós Pu blicós Proposição Uma proposição é uma coleção de palavras ou símbolos que é verdadeira ou falsa, mas não ambas as coisas. Exemplos: A capital da Bahia é Salvador Marte é uma estrela Valor Lógico das Proposições Se uma proposição é verdadeira, dizemos que seu valor lógico é (V) e se for falsa seu valor lógico é (F). Exemplos: A capital da Bahia é Salvador (V) Marte é uma estrela (F) Axiomas da Lógica Princípio da não contradição Uma proposição não pode ser verdadeira e falsa ao mesmo tempo. Princípio do terceiro excluído Uma proposição ou é verdadeira ou é falsa. Os axiomas (I) e(ii) afirmam que: Toda proposição tem um, e somente um dos valores lógicos, (V) ou (F).

4 3 Tabela Verdade: Uma proposição composta pode ser formada por duas ou mais proposições simples, o número de linhas da tabela verdade de uma proposição está em função do número de proposições simples que a compõem. Teorema: o número de linhas de uma tabela verdade de uma proposição formada a partir de n proposições simples =

5 4 Conectivos: Chamam-se conectivos, palavras que se usam para formar novas proposições a partir de outras. São conectivos: A negação não. A conjunção e. A disjunção ou. O condicional se...então. O bicondicional se, e somente se. Proposições Simples Se uma proposição não possui conectivos, é denominada de proposição simples ou atômica. Exemplos: Paulo é Pedreiro. Carlos é careca. Proposições Compostas Se uma proposição é formada pela combinação de mais de uma proposição simples e conectivos lógicos, é denominada proposição composta ou molecular. Exemplos: Paulo é pedreiro e Carlos é careca. Carlos é careca ou Pedro é pedreiro. Se Carlos não é careca, então Pedro é pedreiro. Operações lógicas sobre proposições Negação Chama-se negação de uma proposição a proposição representada por Notação: ou Se é verdadeira, então é falsa; e se é falsa, então é verdadeira. Tabela verdade V F

6 5 Conjunção Chama-se conjunção de duas proposições e a proposição representada por Notação: Se é verdadeira e é verdadeira, então é verdadeira; caso contrário, é falsa. Tabela verdade V V V F F V F F Disjunção Chama-se disjunção de duas proposições e a proposição representada por Notação: Se é verdadeira ou é verdadeira, ou ambas e são verdadeiras, então é verdadeira; caso contrário é falsa. Tabela verdade V V V F F V F F Disjunção Exclusiva Chama-se disjunção exclusiva de duas proposições e a proposição representada por Notação: Se é verdadeira, ou é verdadeira, mas não ambas p e q verdadeiras, então é verdadeira;caso contrário é falsa. Tabela verdade V V V F F V F F

7 6 Condicional Chama-se condicional uma proposição representada por se então Notação: O condicional é verdadeiro, exceto no caso em que é verdadeira e é falsa. Observações: Quando temos uma proposição condicional dizemos que é o antecedente e é o consequente. Pode-se estabelecer, na proposição condicional, as seguintes relações entre e : é condição suficiente para. é condição necessária para. Tabela verdade V V V F F V F F Bicondicional Chama-se bicondicional uma proposição representada por se, e somente se Notação: Se p e q têm o mesmo valor lógico, então é verdadeira; se p e q têm valores lógicos opostos, então é falsa. Observação: Pode-se estabelecer na proposição bicondicional, as seguintes relações entre é condição suficiente e necessária para. é condicão necessária e suficiente para. Tabela verdade e V V V F F V F F

8 7 Regras de Inferência: Regra de Adição Regra de Simplificação Regra da Conjunção Regra da Absorção ( ) Regra Modus Ponens Regra Modus Tollens Regra do Silogismo Disjuntivo Regra do Silogismo Hipotético Regra do Dilema Construtivo Regra do Dilema Destrutivo

9 8 Equivalência Lógica Diz-se que duas proposições são equivalentes se suas tabelas verdades forem idênticas. Contrapositiva Condicional Bicondicional ( ) ( ) Dupla negação ( )

10 9 Regra de De Morgan ( ) Regra de De Morgan ( ) Negação da Condicional ( ) Negação da Bicondicional ( ) ( ) ( )

11 10 Tautologia, Contradição e Contingência Tautologia Chama-se tautologia a proposição composta que é sempre verdadeira. Exemplo: Contradição Chama-se contradição a proposição composta que é sempre falsa. Exemplo: Contingência Chama-se contingência a proposição composta que pode ser verdadeira e pode ser falsa, mas não pode ser apenas verdadeira, ou apenas falsa. Exemplo: Quantificadores Quantificador Universal Para todo elemento x pertencente a A, tal que P(x) é verdadeira. ( )( ( )) Quantificador Existencial Existe um elemento x pertencente a A, tal que P(x) é verdadeira. ( )( ( )) Negação de quantificadores: ~( x A)(P(x)) ( x A)(~P(x)) ~( x A)(P(x)) ( x A)(~P(x)) Exemplos Todos cachorros são mamíferos. : Existem cachorros que não são mamíferos. Existem planetas habitados. : Todos planetas não são habitados. :Nenhum pescador é mentiroso. : Algum pescador é mentiroso. Algum cogumelo é comestível. Nenhum cogumelo é comestível.

12 11 Diagramas Lógicos Todo A é B B A Algum A é B A B Nenhum A é B A B

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

Raciocínio Lógico - Parte IV

Raciocínio Lógico - Parte IV Apostila escrita pelo professor José Gonçalo dos Santos Contato: jose.goncalo.santos@gmail.com Raciocínio Lógico - Parte IV Sumário 1. Argumentação... 1 2. Regras de Inferência... 2 3. Regras de inferência...

Leia mais

Exercícios de Lógica

Exercícios de Lógica Universidade Estadual de Maringá Centro de Ciências Exatas Departamento de Matemática Exercícios de Lógica = ƒ abril de 007 Maringá PR Organizador: João Roberto Gerônimo Introdução O objetivo deste material

Leia mais

Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas

Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas Professor: Arthur Lima AULA 05: RESUMO Caro aluno, Para finalizar nosso curso, preparei um resumo de toda a teoria vista nas

Leia mais

Noções de Lógica - Teoria e Exercícios

Noções de Lógica - Teoria e Exercícios ALUNO(A) C O L É G I O PROFESSOR (A) Alan Jefferson Série 1º ano Noções de Lógica - Teoria e Exercícios PROPOSIÇÃO Chama-se proposição ou sentença toda oração declarativa que pode ser classificada em verdadeira

Leia mais

A LÓGICA NA MATEMÁTICA

A LÓGICA NA MATEMÁTICA A LÓGICA NA MATEMÁTICA 1. BREVE HISTÓRICO O pensamento lógico teve forte presença no cerne da Civilização Grega. Aristóteles (384-322 A.C) é tido como o primeiro sistematizador do conhecimento lógico da

Leia mais

Lista de Exercícios 1: Soluções Fundamentos da Lógica Lógica Proposicional

Lista de Exercícios 1: Soluções Fundamentos da Lógica Lógica Proposicional UFMG/ICEx/DCC DCC111 Matemática Discreta Lista de Exercícios 1: Soluções Fundamentos da Lógica Lógica Proposicional Ciências Exatas & Engenharias 2 o Semestre de 2015 1. Construa a tabela da verdade para

Leia mais

Raciocínio Lógico Quantitativo

Raciocínio Lógico Quantitativo Ministério da Educação Universidade Tecnológica Federal do Paraná Campus Curitiba Gerência de Ensino e Pesquisa Departamento Acadêmico de Matemática Raciocínio Lógico Quantitativo Notas de Aula Prof. a

Leia mais

Construção de tabelas verdades

Construção de tabelas verdades Construção de tabelas verdades Compreender a Lógica como instrumento da ciência e como estrutura formal do pensamento, conhecendo e compreendendo as operações com os principais conceitos proposicionais

Leia mais

Raciocínio Lógico - Parte II

Raciocínio Lógico - Parte II Apostila escrita pelo professor José Gonçalo dos Santos Contato: jose.goncalo.santos@gmail.com Raciocínio Lógico - Parte II Sumário 1. Operações Lógicas sobre Proposições... 1 2. Tautologia, contradição

Leia mais

A LÓGICA DO RACIOCÍNIO MATEMÁTICO. GT 02 Educação matemática no ensino médio e ensino superior

A LÓGICA DO RACIOCÍNIO MATEMÁTICO. GT 02 Educação matemática no ensino médio e ensino superior A LÓGICA DO RACIOCÍNIO MATEMÁTICO GT 02 Educação matemática no ensino médio e ensino superior Aline Brum Ottes, UFSM, alinebrumottes@hotmail.com Ricardo Fajardo, UFSM, rfaj@ufsm.br Samuel Sonego Zimmermann,

Leia mais

José Luiz de Morais. RACiOCÍNIO LÓGICO

José Luiz de Morais. RACiOCÍNIO LÓGICO RACIOCÍNIO LÓGICO José Luiz de Morais RACiOCÍNIO LÓGICO RACIOCÍNIO LÓGICO Prof José Luiz de Morais PROPOSIÇÕES Proposições Simples Proposições Simples Proposição simples átomo ou partícula atômica É a

Leia mais

Faculdades Pitágoras de Uberlândia. Lógica Matemática e Computacional

Faculdades Pitágoras de Uberlândia. Lógica Matemática e Computacional Faculdades Pitágoras de Uberlândia Sistemas de Informação Apostila de Lógica Matemática e Computacional Prof. Walteno Martins Parreira Júnior www.waltenomartins.com.br waltenomartins@yahoo.com 2014 Sumário

Leia mais

MD Fundamentos da Lógica Lógica Proposicional 1

MD Fundamentos da Lógica Lógica Proposicional 1 Fundamentos da Lógica Lógica Proposicional Renato Martins Assunção assuncao@dcc.ufmg.br Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br MD Fundamentos da Lógica Lógica Proposicional 1 Fundamentos

Leia mais

MD Teoria dos Conjuntos 1

MD Teoria dos Conjuntos 1 Teoria dos Conjuntos Renato Martins Assunção assuncao@dcc.ufmg.br Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br MD Teoria dos Conjuntos 1 Introdução O que os seguintes objetos têm em comum? um

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

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

Aula 05 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

Aula 05 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Aula 05 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Outras Traduções; Valor Lógico de Operações sobre proposições. Tabela da Verdade

Leia mais

MODÚLO 1. INTRODUÇÃO A LÓGICA MATEMÁTICA 1.1 SENTENÇA X PROPOSIÇÃO 1.2 NEGAÇÃO SIMPLES

MODÚLO 1. INTRODUÇÃO A LÓGICA MATEMÁTICA 1.1 SENTENÇA X PROPOSIÇÃO 1.2 NEGAÇÃO SIMPLES MODÚLO 1. INTRODUÇÃO A LÓGICA MATEMÁTICA 1.1 SENTENÇA X PROPOSIÇÃO Proposição: Permite ser julgado verdadeiro ou falso. Possui um valor lógico. Exemplos: Morro do Alemão só tem bandido A presidenta anulou

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

Fundamentos 1. Lógica de Predicados

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

Representação do Conhecimento

Representação do Conhecimento Representação do Conhecimento Representação do Conhecimento Qual a importância de representar um mundo real no computador? 2 Representação do Conhecimento Qual a importância de representar um mundo real

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

Álgebra Booleana. Introdução ao Computador 2010/01 Renan Manola

Álgebra Booleana. Introdução ao Computador 2010/01 Renan Manola Álgebra Booleana Introdução ao Computador 2010/01 Renan Manola Histórico George Boole (1815-1864) Considerado um dos fundadores da Ciência da Computação, apesar de computadores não existirem em seus dias.

Leia mais

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração

Leia mais

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos: 1 Noções Básicas de Lógica 1.1 Proposições Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. 1. Os sapos são anfíbios. 2. A capital do Brasil é Porto Alegre. 3. O tomate é um tubérculo.

Leia mais

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3 Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando

Leia mais

Universidade Federal do ABC. BC 0004 Bases Epistemológicas da Ciência Moderna. Prof. Valter A. Bezerra. Prelúdio aos sistemas conceituais da ciência

Universidade Federal do ABC. BC 0004 Bases Epistemológicas da Ciência Moderna. Prof. Valter A. Bezerra. Prelúdio aos sistemas conceituais da ciência Universidade Federal do ABC BC 0004 Bases Epistemológicas da Ciência Moderna Prof. Valter A. Bezerra Prelúdio aos sistemas conceituais da ciência Proposições 54.42 e 54.43 do Vol. I do Principia Mathematica

Leia mais

Álgebra Linear e Geometria Analítica

Álgebra Linear e Geometria Analítica Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu www.estv.ipv.pt/paginaspessoais/lucas lucas@mat.estv.ipv.pt 2007/2008 Álgebra Linear e Geometria Analítica

Leia mais

(Lógica) Fundamentando Proposições. Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.

(Lógica) Fundamentando Proposições. Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog. Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html aula 06 - Revisão (Lógica) Fundamentando Proposições Interruptores Aula de Lógica - Professor

Leia mais

Análise na Reta. Prof. Ulysses Sodré. Notas de aulas de Matemática - 2008. Departamento de Matemática - UEL. Licenciatura em Matemática

Análise na Reta. Prof. Ulysses Sodré. Notas de aulas de Matemática - 2008. Departamento de Matemática - UEL. Licenciatura em Matemática Análise na Reta Notas de aulas de Matemática - 2008 Departamento de Matemática - UEL Licenciatura em Matemática Prof. Ulysses Sodré ii Ulysses Sodré 2008 ulysses@uel.br Notas de aulas de Análise Real construídas

Leia mais

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

Lógica de Predicados. Quantificadores

Lógica de Predicados. Quantificadores Lógica de Predicados Quantificadores Conteúdo Correção de Exercícios Operações Lógicas Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Exercícios Determinar o conjunto verdade em

Leia mais

INTRODUÇÃO LÓGICA MATEMÁTICA

INTRODUÇÃO LÓGICA MATEMÁTICA INTRODUÇÃO À LÓGICA MATEMÁTICA Prof. Antonio A. Pinho Rio de Janeiro Julho de 1999 INTRODUÇÃO À LÓGICA MATEMÁTICA 2 ÍNDICE I. INTRODUÇÃO 1. Lógica Formal. 2 2. Dedução e Indução. 3 3. Lógica Clássica e

Leia mais

Capítulo 1 - Conectivos lógicos e quantificadores

Capítulo 1 - Conectivos lógicos e quantificadores Capítulo 1 - Conectivos lógicos e quantificadores A linguagem matemática usual combina o português com outros símbolos que têm um significado específico em Matemática. Neste capítulo 1 recordar-se-á, de

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

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

Sumário. Apresentação da Coleção... 23

Sumário. Apresentação da Coleção... 23 Sumário Apresentação da Coleção... 23 INTRODUÇÃO... 25 O que é lógica?... 25 Divisão da Filosofia... 29 Lógica de Aristóteles... 30 Lógica Moderna... 30 Raciocínio lógico matemático... 32 Objeto da lógica...

Leia mais

Lóg L ica M ca at M em e ática PROF.. J EAN 1

Lóg L ica M ca at M em e ática PROF.. J EAN 1 Lógica Matemática PRO. JEAN 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição alor Lógico Proposição Simples e Proposição Composta Conectivos Tabela-erdade 2 LÓGICA MATEMÁTICA INTRODUÇÃO ao

Leia mais

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE 1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.

Leia mais

RACIOCÍNIO LÓGICO INSS. Condições de existência:

RACIOCÍNIO LÓGICO INSS. Condições de existência: RACIOCÍNIO LÓGICO Sentenças: Na linguagem natural utilizamos vários tipos de sentenças em nossa comunicação: - Afirmativas Curitiba é a capital do Paraná. O dia está ensolarado. - Interrogativas Qual time

Leia mais

Prof. Weber Campos webercampos@gmail.com. Agora Eu Passo - AEP www.cursoagoraeupasso.com.br

Prof. Weber Campos webercampos@gmail.com. Agora Eu Passo - AEP www.cursoagoraeupasso.com.br Apostila de Raciocínio Lógico POLÍCIA FEDERAL - CESPE Prof. Weber Campos webercampos@gmail.com Agora Eu Passo - AEP www.cursoagoraeupasso.com.br ÍNDICE 1. LÓGICA PROPOSICIONAL 3 Proposição 3 Conectivos

Leia mais

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo   11 de outubro de 2016 Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.

Leia mais

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO

Leia mais

APOSTILA DE LÓGICA. # Conceitos iniciais INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE

APOSTILA DE LÓGICA. # Conceitos iniciais INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE INSTITUTO EDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CÂMPUS APODI Sítio Lagoa do Clementino, nº 999, RN 233, Km 2, Apodi/RN, 59700-971. one (084) 4005.0765 E-mail: gabin.ap@ifrn.edu.br

Leia mais

LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E Autora: Prof. Dra. Denise Candal

LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E Autora: Prof. Dra. Denise Candal LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E COMPOSTAS Rafael D. Ribeiro, M.Sc. rafaeldiasribeiro@gmail.com htt://www.rafaeldiasribeiro.com.br Autora: Prof. Dra. Denise Candal 1 Definição: Chama-se roosição

Leia mais

Lógica Binária. Princípios

Lógica Binária. Princípios Lógica Binária Lógica Binária Proposição é toda a expressão da qual faz sentido dizer que é verdadeira ou falsa. Cada proposição tem um e um só valor lógico, Verdadeiro (1) ou Falso (0). Princípios Princípio

Leia mais

Raciocínio Lógico A1-AT555 15/4/2013

Raciocínio Lógico A1-AT555 15/4/2013 Raciocínio Lógico A1-AT555 15/4/2013 2013 Vestcon Editora Ltda. Todos os direitos autorais desta obra são reservados e protegidos pela Lei nº 9.610, de 19/2/1998. Proibida a reprodução de qualquer parte

Leia mais

AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE

AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE Disciplina: Matemática Computacional Prof. Diana de Barros Teles AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE Quantificadores: são frases do tipo para todo, ou para cada, ou para algum, isso é, frases

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 6: Semântica da Lógica Proposicional Departamento de Informática 3 de Março de 2011 Motivação Expressividade Os conectivos são independentes? Definiu-se a Lógica Proposicional com os símbolos

Leia mais

n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS

n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS As sentenças em que não é possível atribuir valor lógico verdadeiro ou falso, porque isso

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

. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.

. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa. Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira

Leia mais

SIMULADO MATEMÁTICA E RACIOCÍNIO LÓGICO PARA EBSERH 2015

SIMULADO MATEMÁTICA E RACIOCÍNIO LÓGICO PARA EBSERH 2015 SIMULADO MATEMÁTICA E RACIOCÍNIO LÓGICO PARA EBSERH 2015 Simulado Comentado Matemática e Raciocínio Lógico EBSERH 2015 Página 1 SIMULADO 01 MATEMÁTICA E RACIOCÍNIO LÓGICO PARA EBSERH 2015 Cargo: Todos

Leia mais

Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar. Noções de Lógica

Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar. Noções de Lógica Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar Noções de Lógica Proposição: É uma sentença declarativa, seja ela expressa de forma afirmativa

Leia mais

Quantificadores. Quantificador Universal. Quantificador Existencial. Seja um conjunto não vazio e ) uma propriedade associada aos elementos.

Quantificadores. Quantificador Universal. Quantificador Existencial. Seja um conjunto não vazio e ) uma propriedade associada aos elementos. Quantificadores Seja um conjunto não vazio e ) uma propriedade associada aos elementos. Quantificador Universal Se é verdade que todos os elementos de possuem tal propriedade, podemos afirmar que: Todo

Leia mais

01. Considere as seguintes proposições:

01. Considere as seguintes proposições: 01. Considere as seguintes proposições: p: O restaurante está fechado. q: O computador está ligado. A sentença O restaurante não está fechado e o computador não está ligado assume valor lógico verdadeiro

Leia mais

RACIOCÍNIO LÓGICO. 1. Compreensão de estruturas lógicas

RACIOCÍNIO LÓGICO. 1. Compreensão de estruturas lógicas Mas, uma proposição pode ser qualquer outro tipo de expressão, tais como as matemáticas, conjunto de símbolos que possuam um significado, e que pode ser valorada em verdadeiro ou falso. Exemplo: 4 > 7

Leia mais

Portfólio Easy to Learn ADMINISTRAÇÃO

Portfólio Easy to Learn ADMINISTRAÇÃO Portfólio Easy to Learn ADMINISTRAÇÃO ÍNDICE Fundamentos de Sistemas de Informação...2 Leitura e Interpretação de Textos...2 Matemática Básica...2 Teoria Geral da Administração I...2 Fundamentos de Contabilidade...3

Leia mais

Campos Sales (CE),

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

Matemática Discreta - 02

Matemática Discreta - 02 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 02 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

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

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

Para provar uma implicação se p, então q, é suficiente fazer o seguinte: Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que

Leia mais

Abdução exemplos. Um jogo de abdução. Apartment 13 O objetivo do Jogo é descobrir como se deu um assassinato.

Abdução exemplos. Um jogo de abdução. Apartment 13 O objetivo do Jogo é descobrir como se deu um assassinato. 1 Aula 4 Interação Humano-Computador (com foco em métodos de pesquisa) Prof. Dr. Osvaldo Luiz de Oliveira 2 Abdução exemplos Um jogo de abdução Apartment 13 O objetivo do Jogo é descobrir como se deu um

Leia mais

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira. Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Lógica Proposicional 1 Proposição Uma rase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F) ou Verdadeiro

Leia mais

CAPÍTULO I. Lógica Proposicional

CAPÍTULO I. Lógica Proposicional Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação

Leia mais

AULA 6 LÓGICA DOS CONJUNTOS

AULA 6 LÓGICA DOS CONJUNTOS Disciplina: Matemática Computacional Crédito do material: profa. Diana de Barros Teles Prof. Fernando Zaidan AULA 6 LÓGICA DOS CONJUNTOS Intuitivamente, conjunto é a coleção de objetos, que em geral, tem

Leia mais

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César Lógica Matemática UNIDADE I Professora: M.Sc. Juciara do Nascimento César 1 A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento

Leia mais

Aula 1 Aula 2. Ana Carolina Boero. Página:

Aula 1 Aula 2. Ana Carolina Boero.   Página: Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática

Leia mais

Lógica para Computação

Lógica para Computação Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Linguagem informal x linguagem formal; Linguagem proposicional: envolve proposições e conectivos,

Leia mais

TAUTOLOGIA. A coluna C3 é formada por valores lógicos verdadeiros (V), Logo, é uma TAUTOLOGIA. CONTRADIÇÃO CONTINGÊNCIA

TAUTOLOGIA. A coluna C3 é formada por valores lógicos verdadeiros (V), Logo, é uma TAUTOLOGIA. CONTRADIÇÃO CONTINGÊNCIA TAUTOLOGIA C1 C2 C3 v A coluna C3 é formada or valores lógicos verdadeiros (), Logo, é uma TAUTOLOGIA. CONTRADIÇÃO CONTINGÊNCIA C1 C2 C3 C1 C2 C3 A coluna C3 é formada or valores lógicos falsos (), Logo,

Leia mais

Cálculo proposicional

Cálculo proposicional Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas

Leia mais

n. 3 Construção de Tabelas-Verdade

n. 3 Construção de Tabelas-Verdade n. 3 Construção de Tabelas-Verdade Dadas várias proposições simples: p, q, r, s,..., podemos combiná-las pelos conectivos lógicos: Negação (~) ou ( ) Conjunção ( ) Disjunção ( ) Condicional ( ) Bicondicional

Leia mais

C U R S O D E R A C I O C Í N I O L Ó G I C O E M A T E M Á T I C O P A R A O I N S S

C U R S O D E R A C I O C Í N I O L Ó G I C O E M A T E M Á T I C O P A R A O I N S S C U R S O D E R A C I O C Í N I O L Ó G I C O E M A T E M Á T I C O P A R A O I N S S www.profranciscojunior.com.br p. 1 de 80 S U M Á R I O 1. APRESENTAÇÃO... 2 2. INTRODUÇÃO... 5 3. PROPOSIÇÕES... 7

Leia mais

Elementos de Matemática

Elementos de Matemática Elementos de Matemática Álgebra de Boole Roteiro no. 10 - Atividades didáticas de 2007 8 de Outubro de 2007- Arq: elementos10.tex Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: ulysses(at)matematica(pt)uel(pt)br

Leia mais

1. Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa

1. Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa Raciocínio Lógico Lógica estuda as formas ou estruturas do pensamento, isto é, seu propósito é estudar e estabelecer propriedades das relações formais entre as proposições. DEFINIÇÃO: Proposição: conjunto

Leia mais

Alfabeto da Lógica Proposicional

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

RACIOCÍNIO LÓGICO SEMANA 04

RACIOCÍNIO LÓGICO SEMANA 04 1) (FCC/TRT-PR) Considere a seguinte proposição: Na eleição para a prefeitura, o candidato A será eleito ou não será eleito. Do ponto de vista lógico, a afirmação da proposição caracteriza: (A) um silogismo;

Leia mais

ANÁLISE MATEMÁTICA I. Curso: EB

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

Portfólio Easy to Learn SERVIÇO SOCIAL

Portfólio Easy to Learn SERVIÇO SOCIAL Portfólio Easy to Learn SERVIÇO SOCIAL ÍNDICE Pensamento Social...2 Movimentos Sociais e Serviço Social...2 Fundamentos do Serviço Social I...2 Leitura e Interpretação de Textos...3 Metodologia Científica...3

Leia mais

1 TEORIA DOS CONJUNTOS

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

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO RACIOCÍNIO LÓGICO AULA 01 LÓGICA PROPOSICIONAL DEFINIÇÃO A Lógica estuda o pensamento como ele deveria ser, sem a influência de erros ou falácias. As falácias em torno do raciocínio humano se devem a atalhos

Leia mais

matematicaconcursos.blogspot.com

matematicaconcursos.blogspot.com Professor: Rômulo Garcia Email: machadogarcia@gmail.com Conteúdo Programático: Lógica Módulo 1: Primeiros Conceitos O conceito mais elementar no estudo da lógica e portanto o primeiro a ser visto é o de

Leia mais

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.

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

AULÃO INSS RACIOCÍNIO LÓGICO Prof. Ronilton Loyola Equivalências Notáveis 1. Contrapositiva da Condicional: (P Q) ( Q P) Ex.: Se faz sol, então vou à praia é equivalente a Se não vou à praia, então não

Leia mais

Matemática Discreta para Computação e Informática

Matemática Discreta para Computação e Informática Matemática Discreta para Computação e Informática P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Computação e Informática

Leia mais

Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções

Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções João Paulo Baptista de Carvalho joao.carvalho@inesc.pt Álgebra de Boole Binária A Álgebra de Boole binária através do recurso à utiliação

Leia mais

TEORIA COMPLETA QUESTÕES COMENTADAS 1.200 QUESTÕES COMENTADAS 498 PÁGINAS DE RESUMOS. Escrevente do T J/SP. Wander Garcia e Renan Flumian

TEORIA COMPLETA QUESTÕES COMENTADAS 1.200 QUESTÕES COMENTADAS 498 PÁGINAS DE RESUMOS. Escrevente do T J/SP. Wander Garcia e Renan Flumian Wander Garcia e Renan Flumian Coordenadores PARA CONCURSO DE Escrevente do T J/SP TEORIA COMPLETA QUESTÕES COMENTADAS 498 PÁGINAS DE RESUMOS 1.200 QUESTÕES COMENTADAS ATUALIZAÇÃO 02 Outubro/2014 A intenção

Leia mais

Prof. Weber Campos webercampos@gmail.com. Agora Eu Passo - AEP www.cursoagoraeupasso.com.br

Prof. Weber Campos webercampos@gmail.com. Agora Eu Passo - AEP www.cursoagoraeupasso.com.br Apostila de Raciocínio Lógico CURSO RETA FINAL DE EXERCÍCIOS PARA O INSS Prof. Weber Campos webercampos@gmail.com Agora Eu Passo - AEP www.cursoagoraeupasso.com.br ÍNDICE 1. LÓGICA PROPOSICIONAL 3 Proposição

Leia mais

Bases Matemáticas. Aula 2 Métodos de Demonstração. Rodrigo Hausen. v. 2013-7-31 1/15

Bases Matemáticas. Aula 2 Métodos de Demonstração. Rodrigo Hausen. v. 2013-7-31 1/15 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2013-7-31 1/15 Como o Conhecimento Matemático é Organizado Definições Definição: um enunciado que descreve o significado de um termo.

Leia mais

Raciocínio Lógico Matemático Modulo Geral

Raciocínio Lógico Matemático Modulo Geral Raciocínio Lógico Matemático Modulo Geral CONCURSO: Ministério do Trabalho e Emprego CARGO: Auditor-Fiscal do Trabalho PROFESSOR: Alex Lira Este curso é protegido por direitos autorais (copyright), nos

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fundamentos de Lógica No nosso dia a dia, usamos todo o tipo de frases: Cinco é menor

Leia mais

Sergio da Silva Aguiar Universidade Estadual do Sudoeste da Bahia - I Seemat

Sergio da Silva Aguiar Universidade Estadual do Sudoeste da Bahia - I Seemat Introdução à Lógica Matemática Sergio da Silva Aguiar Universidade Estadual do Sudoeste da Bahia - I Seemat 1 Introdução O que é a Lógica? O que signi ca estudar Lógica? Qual a sua de nição? Ao iniciar

Leia mais

Lógica Proposicional e Álgebra de Boole

Lógica Proposicional e Álgebra de Boole Lógica Proposicional e Álgebra de Boole A lógica proposicional remonta a Aristóteles, e teve como objectivo modelizar o raciocínio humano. Partindo de frases declarativas ( proposições), que podem ser

Leia mais

ACADEMIA DO CONCURSO

ACADEMIA DO CONCURSO ACADEMIA DO CONCURSO Aulão de Lógica - 2015 Prof. Quilelli ( TCU Auditor Federal - CESPE ) As cidades Alfa e Beta estão com suas contas de obras sob análise. Sabe-se que algumas dessas obras são de responsabilidade

Leia mais

Elementos de Lógica Matemática p. 1/2

Elementos de Lógica Matemática p. 1/2 Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ

Leia mais

Definição. Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo.

Definição. Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. Proposições Definição. Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. Vitória é a capital do Espírito Santo π < 15 José é alto Princípios I.

Leia mais

2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores

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