Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti

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

Download "Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti"

Transcrição

1 Unidade I LÓGICA Profa. Adriane Paulieli Colossetti

2 O que é lógica A lógica ensina a colocar ordem no pensamento.

3 Sistemas Dicotônicos Proposições: São sentenças declarativas, que satisfazem três princípios fundamentais: Princípio da identidade: se qualquer proposição é verdadeira, então, ela é verdadeira; Princípio do terceiro excluído: uma proposição só pode ser verdadeira ou falsa; Princípio da não contradição: uma proposição não pode ser ao mesmo tempo verdadeira e falsa.

4 Continuação de Proposições Uma proposição assumir dois valores lógicos: V (verdadeiro) e F (falso); Também encontrados como 0 (significa F) e 1 (significa V). As proposições simples são indicadas pelas letras minúsculas latinas p, q, r, s, t, u, v, x etc.; por exemplo: p: Júpiter é um planeta ; q: A somatória dos ângulos internos de qualquer triângulo é 180º.

5 Proposições lógicas Expressões do tipo ; x + 8 = 23 não são proposições lógicas!

6 Exemplos de proposições p: o estado do Paraná faz divisa com o Equador (F) ou (0); q: São Paulo é uma metrópole (V) ou (1); r: todas as árvores são frutíferas (F) ou (0);

7 A negação A negação da proposição p será p, que se lê não p. p: dois pontos determinam uma reta ; p: dois pontos não determinam uma reta. Duas negações equivalem a uma afirmação. Desta forma, ( p) = p.

8 Interruptores O interruptor é um dispositivo ligado a um circuito elétrico, que pode assumir dois estados: 1 (ligado) e 0 (desligado). Nos circuitos em paralelo, é utilizada a p, soma, e para circuitos em série, é utilizada a multiplicação. Com base na figura, um exemplo pode ser: (A + B). (C + D + E).

9 Operações lógicas sobre proposição As proposições lógicas simples, por exemplo, p e q, podem ser combinadas através dos operadores lógicos,, e, e passarem a formar proposições compostas, do tipo p q, p q, p q e p q. conjunção: p q ( p e q ); disjunção: p q ( p ou q ); condicional: p q ( se p, então q ); bicondicional: p q( p se, esomente se q ).

10 Interatividade Dadas as proposições A = O sol é quente B = O sol é amarelo A frase: Se o sol não é quente ou não é amarelo, então o sol não é amarelo Pode ser simbolicamente representado por a) ( A ^ B) A; b) (A ^ B) B; c) A ^ (B B); d) ( A ^ B B); e) N.D.A.

11 Construção da tabela-verdade Conhecendo-se os valores lógicos de duas proposições simples p e q, com o uso da tabela-verdade é possível determinar os valores lógicos das proposições compostas decorrentes; O número de linhas da tabela verdade será igual a 2 n = 2 (nº de proposições) ; A tabela verdade de ~(P ^ ~P) = P (p,q) possuirá 2 n = 2 2 = 4 linhas, pelo motivo de que existem apenas duas proposições (p e q).

12 Conjunção p q p ^ q V V V V F F F V F F F F

13 Disjunção p q p v q V V V V F V F V V F F F

14 Condicional p q p q V V V V F F F V V F F V

15 Bicondicional p q p q V V V V F F F V F F F V

16 Exemplo Dadas as proposições simples: p: o Brasil não é um país (F); q: = 13 (V). p q = F; p q = V; p q = V; p q = F. Obs.: Deste modo, a proposição composta p q, que significa se o Brasil não é um país, então = 12, é verdadeira, apesar de ser um absurdo.

17 Interatividade Dadas as proposições A = O sol é quente B = O sol é amarelo Para a proposição (p q) a alternativa correta é: a) O sol é quente ou é amarelo; b) O sol não é quente e é amarelo; c) Se o sol é quente, então o sol é amarelo; d) O sol é quente, se e somente se o sol é amarelo; e) N.D.A.

18 Exemplo de p q Situação hipotética: um homem chega tarde em casa e a sua esposa, muito brava, pergunta o que houve?. O homem responde: trabalhei até tarde, o carro não quis pegar e tive que chamar o socorro mecânico do seguro. Sendo: p: trabalhei até tarde; q: carro não quis pegar e tive que chamar o socorro mecânico do seguro.

19 Exemplo de p q Situação hipotética: uma mulher que está fazendo compras em um supermercado chega aos caixas para pagar pelas suas mercadorias e percebe que o único caixa livre é o que tem a seguinte informação: caixa reservado para gestantes e deficientes físicos. Sendo: p: reservado para gestante; q: reservado para deficientes físicos. Quando essa mulher poderá passar suas compras por esse caixa?

20 Exemplo de p q Situação hipotética: uma mãe diz ao seu filho: se fizer sol amanhã, iremos ao parque do Ibirapuera. p: fazer sol; q: ir ao parque do Ibirapuera.

21 Exemplo de p q Situação hipotética: Marquinho não foi um aluno aplicado neste semestre, suas notas foram baixas e teve um número de faltas muito elevado em todas as disciplinas, em especial matemática, na qual ele será aprovado se não faltar às duas últimas aulas e somente se conseguir tirar uma nota superior a 8, 5 na última prova. p: se não faltar nas duas últimas aulas; q: e somente se conseguir tirar uma nota superior a 8,5 na última prova.

22 Exemplo de resolução de expressões lógicas (p v q) ^ (p ^ q) p q p v q p ^ q (p v q) ^ (p ^ q) V V V V V V F V F F F V V F F F F F F F

23 Interatividade Dadas a expressões (p v q) ^ (p v q), qual o resultado final da tabela-verdade: a) V, V, F, V; b) F, V, V, F; c) F, F, F, F; d) V, V, F, F; e) V, V, V, V.

24 Tautologia Ocorre quando, para qualquer valor lógico das proposições simples, a proposição composta s é sempre verdadeira.

25 s: (p q) (p q) p q p ^ q p v q (p q) (p q) V V V V V V F F V V F V F V V F F F F V

26 Outro exemplo p V F p p V V

27 Contradição É uma proposição composta que sempre tem valor F.

28 p p / p p p p p p V F F F V F p p p p V F F F V F

29 Contingências São proposições compostas em que os valores lógicos independem dos valores das proposições simples.

30 Interatividade Dadas a tabela abaixo, qual a alternativa correta? p q q p v q p v q (p v q) ^ (p v q) V V F V V V V F V V V V F V F F V F F F V V F F a) Tautologia; b) Contradição; c) Contingência; d) Negação; e) N.D.A.

31 ATÉ A PRÓXIMA!

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

Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti

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

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/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

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

Prof. João Giardulli. Unidade I LÓGICA Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução

Leia mais

22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo

22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo Conteúdo 1. Conceitos Iniciais... 6 2. Proposições [1]... 7 3. Proposições [2] Tautologia - Contradição - Contigência... 8 4. Não são Proposições... 9 5. Lógica argumentativa Negação... 10 6. Lógica argumentativa

Leia 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

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

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

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam. CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases

Leia mais

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: 2018-2 TURNO: NOTURNO ALUNO a): 1ª Lista de Exercícios - Introdução à Lógica Matemática, Teoria

Leia mais

Aprendendo. Raciocínio. Lógico

Aprendendo. Raciocínio. Lógico Aprendendo Raciocínio Lógico Raciocínio Lógico Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos

Leia mais

RECEITA FEDERAL ANALISTA

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

RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS

RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 1 RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 2 TIPOS DE PROPOSIÇÃO Simples ou Atômicas Oscar é prudente; Mário é engenheiro; Maria é morena. 3 TIPOS DE PROPOSIÇÃO Composta ou Molecular Walter é engenheiro E

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

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1

Leia mais

Raciocínio lógico matemático

Raciocínio lógico matemático Raciocínio lógico matemático Unidade 2: Introdução à lógica Seção 2.3 Equivalências, contradições e tautologias 1 Proposições compostas Composta de duas ou mais proposições simples Tanto a primeira como

Leia 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

Noções de Lógica. Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12.

Noções de Lógica. Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12. Noções de Lógica Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12. 2) Florianópolis é capital de SC. 3) O Brasil faz fronteira com a

Leia mais

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014 Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.

Leia mais

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

Aula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições

Leia 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

3 Cálculo Proposicional

3 Cálculo Proposicional 3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases

Leia mais

Matemática Computacional

Matemática Computacional Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:

Leia mais

Fundamentos da Computação 1. Aula 03

Fundamentos da Computação 1. Aula 03 Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise

Leia mais

MATEMÁTICA Questões comentadas Daniela Arboite

MATEMÁTICA Questões comentadas Daniela Arboite MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível

Leia 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

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

Raciocínio Lógico e Matemático - Unidade 2: Introdução à Lógica

Raciocínio Lógico e Matemático - Unidade 2: Introdução à Lógica Raciocínio lógico e matemático Unidade 2: Introdução à lógica Prof. Me. Diego Fernandes Emiliano Silva diego.fernandes@pitagoras.com.br http://diegofernandes.weebly.com Seção 2.1 O QUE É LÓGICA? 1 2 http://diego.fernandes.weebly.com

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

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14 Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...

Leia mais

MDI0001 Matemática Discreta Aula 01

MDI0001 Matemática Discreta Aula 01 MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina

Leia mais

LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:

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

aula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:

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

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,

Leia mais

MATEMÁTICA E RACIOCÍNIO LÓGICO

MATEMÁTICA E RACIOCÍNIO LÓGICO SENTENÇAS OU PROPOSIÇÕES MODIICADORES 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 (),

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

Fundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno

Fundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão

Leia mais

LÓGICA APLICADA A COMPUTAÇÃO

LÓGICA APLICADA A COMPUTAÇÃO LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Conteúdo Programático Unidade I Linguagens Formais Linguagens Formais Sigma Álgebras Relação entre Linguagens Formais e Sigma Álgebras Sigma Domínios

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

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

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

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

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

Súmario APRESENTAÇÃO DA COLEÇÃO...13

Súmario APRESENTAÇÃO DA COLEÇÃO...13 Súmario APRESENTAÇÃO DA COLEÇÃO...13 CAPÍTULO I LÓGICA PROPOSICIONAL...15 1. Lógica Proposicional...15 2. Proposição...15 2.1. Negação da Proposição...18 2.2. Dupla Negação...19 2.3. Proposição Simples

Leia 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

CEM. RLM Tabela Verdade

CEM. RLM Tabela Verdade CEM CADERNO DE EXERCÍCIOS MASTER Tabela Verdade Período 2006 2016 1) IBFC - Agente Penitenciário (SEDS MG)-2014 Dentre as alternativas abaixo e considerando o valor lógico das proposições compostas, a

Leia mais

CONTINUAÇÃO DE SISTEMAS DE NUMERAÇÃO (Unidade 6)

CONTINUAÇÃO DE SISTEMAS DE NUMERAÇÃO (Unidade 6) MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA TÉCNICO EM ELETROMECÂNICA DISCIPLINA: ELETRÔNICA GERAL CONTINUAÇÃO

Leia mais

Unidade III LÓGICA. Profª. Adriane Paulieli Colossetti

Unidade III LÓGICA. Profª. Adriane Paulieli Colossetti Unidade III LÓGICA Profª. Adriane Paulieli Colossetti Algoritmos É uma seqüência de passos que tem como objetivo solucionar um problema. São comuns em nosso cotidiano, como, por exemplo, uma receita de

Leia mais

Proposições simples e compostas

Proposições simples e compostas Revisão Lógica Proposições simples e compostas Uma proposição é simples quando declara algo sem o uso de conectivos. Exemplos de proposições simples: p : O número 2 é primo. (V) q : 15 : 3 = 6 (F) r :

Leia mais

Introdução à Automação

Introdução à Automação Núcleo de Mecânica Introdução à Automação Prof. Wander Gaspar wandergaspar@gmail.com Sistemas Analógicos Um sistema analógico contém dispositivos que manipulam quantidades físicas que variam de forma contínua

Leia mais

Métodos para a construção de algoritmo

Métodos para a construção de algoritmo Métodos para a construção de algoritmo Compreender o problema Identificar os dados de entrada e objetos desse cenário-problema Definir o processamento Identificar/definir os dados de saída Construir o

Leia mais

OFICINA DA PESQUISA APOSTILA 3 MATEMÁTICA COMPUTACIONAL. Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva

OFICINA DA PESQUISA APOSTILA 3 MATEMÁTICA COMPUTACIONAL. Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 3 MATEMÁTICA COMPUTACIONAL Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva juliocesar@eloquium.com.br Alterações eventuais

Leia mais

Algoritmos e Programação I

Algoritmos e Programação I Algoritmos e Programação I Operadores Relacionais, Lógicos e Aritméticos Prof. Fernando Maia da Mota mota.fernandomaia@gmail.com CPCX/UFMS Fernando Maia da Mota 1 Expressões Uma expressão relacional, ou

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

Lógica das Proposições

Lógica das Proposições Lógica das Proposições Transcrição - Podcast 1 Professor Carlos Mainardes Olá eu sou Carlos Mainardes do blog Matemática em Concursos, e esse material que estou disponibilizando trata de um assunto muito

Leia mais

Introdução à Programação I

Introdução à Programação I Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem

Leia mais

Lógica proposicional

Lógica proposicional Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),

Leia 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

n. 4 TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIA

n. 4 TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIA n. 4 TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIA Chama-se tautologia é toda a proposição composta cujo valor lógico (última coluna da sua tabela-verdade) é sempre V (Verdadeiro). As tautologias

Leia mais

Lógica para computação

Lógica para computação Lógica para computação A SEMÂNTICA DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Após entender como deve ser uma fórmula da Lógica Proposicional, devemos entender como esta deve ser interpretada. Quando

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

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009 Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2

Leia mais

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

Lógica Matemática Aula 2. Prof. Gerson Pastre de Oliveira Lógica Matemática Aula 2 Prof. Gerson Pastre de Oliveira Conjunção (^) A conjunção de duas proposições quaisquer p,q é a proposição representada por p e q, ocorrendo o valor lógico V quando ambas proposições

Leia mais

Introdução a computação

Introdução a computação Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...

Leia mais

Iniciação a Lógica Matemática

Iniciação a Lógica Matemática Iniciação a Lógica Matemática Faculdade Pitágoras Prof. Edwar Saliba Júnior Julho de 2012 1 O Nascimento da Lógica É lógico que eu vou!, Lógico que ela disse isso! são expressões que indicam alguma coisa

Leia mais

Prof. Jorge Cavalcanti

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

Leia mais

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22 Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é

Leia mais

PROBLEMAS DE LÓGICA. Prof. Élio Mega

PROBLEMAS DE LÓGICA. Prof. Élio Mega PROBLEMAS DE LÓGICA Prof. Élio Mega ALGUNS CONCEITOS DA LÓGICA MATEMÁTICA Sentença é qualquer afirmação que pode ser classificada de verdadeira (V) ou falsa (F) (e exatamente uma dessas coisas, sem ambiguidade).

Leia mais

LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016

LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016 LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:

Leia 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

INTRODUÇÃO À LÓGICA MATEMÁTICA

INTRODUÇÃO À LÓGICA MATEMÁTICA INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição

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

ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo

ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo Assembleia Legislativa do Estado de Sergipe ALESE Técnico Legislativo / Área Apoio Técnico Administrativo Volume I Edital Nº 01/2018 de Abertura de Inscrições JN071-A-2018 DADOS DA OBRA Título da obra:

Leia mais

Fundamentos da Computação 1. Carmen Cecilia Centeno

Fundamentos da Computação 1. Carmen Cecilia Centeno Fundamentos da Computação 1 Carmen Cecilia Centeno Aula 05 Sobre o curso de Ciência da Computação - lembretes. Plano de Ensino. Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças Definição

Leia mais

Elementos de Lógica Matemática. Uma Breve Iniciação

Elementos de Lógica Matemática. Uma Breve Iniciação Elementos de Lógica Matemática Uma Breve Iniciação Proposições Uma proposição é uma afirmação passível de assumir valor lógico verdadeiro ou falso. Exemplos de Proposições 2 > 1 (V); 5 = 1 (F). Termos

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

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

01/02/2016 LÓGICA MATEMÁTICA. Conectivos lógicos e tabela verdade. Os conectivos lógicos são utilizados para formar novas preposições.

01/02/2016 LÓGICA MATEMÁTICA. Conectivos lógicos e tabela verdade. Os conectivos lógicos são utilizados para formar novas preposições. LÓGICA MATEMÁTICA Prof Esp Fabiano Taguchi fabianotaguchi@gmailcom http://fabianotaguchiwordpresscom Conectivos lógicos e tabela verdade CONECTIVOS LÓGICOS Os conectivos lógicos são utilizados para formar

Leia mais

Lógica Proposicional

Lógica Proposicional Lógica Proposicional Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos que duas proposições

Leia mais

Raciocínio Lógico Matemático Cap. 2 Lógica Matemática

Raciocínio Lógico Matemático Cap. 2 Lógica Matemática Raciocínio Lógico Matemático Cap. 2 Lógica Matemática Capítulo2 1. Lógica Matemática No primeiro capítulo, discutimos uma série de conceitos atrelados à lógica de uma forma geral, mas de forma tendenciosa

Leia mais

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças. NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo

Leia mais

Aula 1 Teoria com resolução de questões FGV

Aula 1 Teoria com resolução de questões FGV Aula 1 Teoria com resolução de questões FGV AULA 01 Olá futuro servidor do TRT 12, Meu nome é Fabio Paredes, sou professor de Raciocínio Lógico Matemático e terei o prazer de ajudá-los nesta árdua missão

Leia mais

Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto

Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto Álgebra das Proposições Prof. Guilherme Tomaschewski Netto guilherme.netto@gmail.com Roteiro! Lógica Matemática clássica! Proposições! alores lógicos! Conectivos! Fórmulas Lógicas! Exemplos de aplicações

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

CEM. RLM Equivalência Lógica

CEM. RLM Equivalência Lógica CEM CADERNO DE EXERCÍCIOS MASTER Período 2006 2016 1) IBFC - Agente Penitenciário (SEDS MG)-2014 De acordo com raciocínio lógico matemático a frase O Brasil não foi campeão ou o presidente foi ao comício

Leia mais

TABELA VERDADE. por: André Aparecido da Silva. Disponível em:

TABELA VERDADE. por: André Aparecido da Silva. Disponível em: TABELA VERDADE por: André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica Normalmente, as proposições são representadas por letras minúsculas (p, q, r, s, etc). São outros exemplos

Leia mais

Inteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação)

Inteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação) Universidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação http://www.inf.unioeste.br/~claudia/ia2018.html Inteligência Artificial Sistemas Baseados em Conhecimento Representação

Leia mais

Aula 03 Estruturas Condicionais. Prof. Filipe Wall Mutz

Aula 03 Estruturas Condicionais. Prof. Filipe Wall Mutz Aula 03 Estruturas Condicionais Prof. Filipe Wall Mutz Agenda Operadores Relacionais Estrutura Condicional Operadores Lógicos É comum nos algoritmos surgirem situações em que a execução de uma ação está

Leia mais

Matemática Discreta - 01

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

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

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA Aluno: Data: 01) Faça a montagem dos circuitos abaixo: a) Interruptor simples b) Interruptor paralelo. c) Interruptor intermediário.

Leia mais

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1 UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Disciplina: Lógica Computacional I Professora: Juliana Pinheiro Campos Data: 25/08/2011 Lista

Leia mais

Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES

Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira

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

Matemática. Lógica Proposicional. Professor Dudan

Matemática. Lógica Proposicional. Professor Dudan Matemática Lógica Proposicional Professor Dudan Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos

Leia mais