Raciocínio lógico matemático

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

Aprendendo. Raciocínio. Lógico

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

Raciocínio lógico matemático

RECEITA FEDERAL ANALISTA

DOUGLAS LÉO RACIOCÍNIO LÓGICO

3 Cálculo Proposicional

Matemática. Lógica Proposicional. Professor Dudan

Raciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.

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

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

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

A Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto

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

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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

CASA TRIBUNAIS RACIOCÍNIO LÓGICO

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

MATEMÁTICA Questões comentadas Daniela Arboite

CEM. RLM Tabela Verdade

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

Lógica em Computação. .: Calculo Proposicional :. Prof. Luís Rodrigo

ACLÉSIO MOREIRA RACIOCÍNIO LÓGICO

Lógica para Computação

Rodada #01 Raciocínio Lógico

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

Lógica Proposicional (cont.)

QUESTÕES REVISÃO DE VÉSPERA FUNAI

CAPÍTULO I. Lógica Proposicional

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

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

CEM. RLM Equivalência Lógica

01/09/2014. Capítulo 3. Propriedades semânticas da Lógica Proposicional

Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01

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

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

Campos Sales (CE),

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.

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

Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico

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

Raciocínio Lógico Matemático. Pré Prova TST

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

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

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

Cálculo proposicional

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

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

n. 3 Construção de Tabelas-Verdade

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

Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti

Lógica para computação

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

MATEMÁTICA E RACIOCÍNIO LÓGICO

Raciocínio Lógico. Sentenças Abertas

RACIOCÍNIO LÓGICO. Aquecimento + Pós-Edital PMSC

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

Proposições simples e compostas

Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti

Matemática Régis Cortes. Lógica matemática

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

PM/PB - CURSO DE RESOLUÇÃO DE QUESTÕES RACIOCÍNIO LÓGICO BANCA IBFC - PROF. DANIEL ALMEIDA

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

Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)

Matemática Discreta - 01

Matemática discreta e Lógica Matemática

Apostilas OBJETIVA Ano X - Concurso Público Conteúdo

Matemática Computacional

Raciocínio Lógico - Parte II

Prof. Jorge Cavalcanti

1 TEORIA DOS CONJUNTOS

Lógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução

Matéria: Raciocínio Lógico Concurso: Auditor Tributário ISS Gramado 2019 Professor: Alex Lira

Prof.ª Dr.ª Donizete Ritter. MÓDULO I PARTE 2: Lógica Proposicional

Alfabeto da Lógica Proposicional

MATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira

Fundamentos 1. Lógica de Predicados

RACIOCÍNIO LÓGICO. Raciocínio Lógico Ficha 1 Prof. Nelson Carnaval

Fundamentos da Lógica I

Lógica Proposicional

Introdução a computação

MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP


INTRODUÇÃO À LÓGICA MATEMÁTICA

(Lógica) Negação de Proposições, Tautologia, Contingência e Contradição.

Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto

BIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES

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

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

Transcrição:

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 a segunda podem assumir valores lógicos (V ou F) diferentes Exemplos: Diego é magro. (p) Camila é inteligente. (q) Dessa forma temos: p q TABELA VERDADE p q V V V F F V F F

Proposições compostas Para saber quantas linhas serão necessárias na tabela verdade, basta calcular 2 n, onde n representa o número de proposições 3

Conjunção A tabela verdade para disjunção fica p q p q V V V V F F F V F F F F

Conjunção - exemplos Exemplo 1: p: 2 > 0 (V) q: 2 1 (V) p q: 2 > 0 e 2 1 (V) Exemplo 2: p: Marcos é terapeuta (V) q: Marcelo é médico (F) p q: Marcos é terapeuta e Marcelo é médico (F) 5

Disjunção A tabela verdade para disjunção fica p q p q V V V V F V F V V F F F

Disjunção - exemplos Exemplo 1: p: 2 > 0 (V) q: 2 1 (V) p q: 2 > 0 ou 2 1 (V) Exemplo 2: p: Marcos é terapeuta (V) q: Marcelo é médico (F) p q: Marcos é terapeuta ou Marcelo é médico (V) 7

Condicional A tabela verdade para disjunção fica p q p q V V V V F F F V V F F V

Condicional - exemplos Exemplo 1: p é V e q é V, então p q é V Se meu PC está quebrado, então a assistência técnica o concerta. Exemplo 2: p é V e q é F, então p q é F Se nasci em São Paulo, então sou carioca. Exemplo 3: p é F e q é V, então p q é V Se nasci em Jundiaí, então sou paulista. 9

Bicondicional A tabela verdade para disjunção fica p q p q V V V V F F F V F F F V

Bicondicional - exemplos Exemplo 1: p é V e q é V, então p q é V 2 12 2 7 12 7 Exemplo 2: p é F e q é F, então p q é F 4 3 4 5 3 5 11

Tautologia Seja v uma proposição formada a partir de outras (p, q, r,...), mediante emprego de conectivos ( ou ), ou de modificador ( ), ou de condicionais ( ou ) dizemos que v é uma tautologia ou proposição logicamente verdadeira quando v tem o valor lógico V (verdadeiro) independentemente dos valores lógicos de p, q, etc. 12

Exemplo - tautologia p q p q p 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 p: Marcelo é alto. (V) q: Marcelo joga vôlei. (V) p q: Marcelo é alto e joga vôlei. (V) p q: Marcelo é alto ou joga vôlei. (V) (p q) (p q): Se Marcelo é alto e joga vôlei, então Marcelo é alto ou joga vôlei. (V)

Exemplo - tautologia p q p q (p q) p q p q (p q) ( p q) V V V F F F F V V F F V F V V V F V F V V F V V F F F V V V V V p: 2 < 3 (V) q: 2 2 < 3 2 (V) p q: 2 < 3 e 2 2 < 3 2 (V) (p q): 2 3 e 2 2 3 2 (F) p: 2 3 (F) q: 2 2 3 2 (F) p q: 2 3 ou 2 2 3 2 (F) (p q) ( p q): 2 3 e 2 2 3 2 se, e somente se, 2 3 ou 2 2 3 2 (V)

Proposição equivalente Dada as proposições p e q, dizemos que p é equivalente a q quando p e q têm tabelasverdades iguais, isto é, quando p e q têm sempre o mesmo valor lógico. p q 15

Exemplo proposição equivalente p: João vai a praia (verdade) p: João não vai à praia. (falso) p: Não é verdade que João não vai a praia. (verdade) Mesma coisa que João vai a praia. 16

Exemplo proposição equivalente p: Maria anda de bicicleta. (V) q: Faz atividade física. (V) p q: Se Maria anda de bicicleta, então faz atividade física. (V) p: Maria não anda de bicicleta. (F) p q: Maria não anda de bicicleta ou faz atividade física. (V)

Exemplo p q p q q p q p V V V F F V V F F V F F F V V F V V F F V V V V 18

Contradição ou proposições logicamente falsas Seja v uma proposição formada a partir de outras (p, q, r,...), mediante emprego de conectivos ( ou ), ou de modificador ( ), ou de condicionais ( ou ) dizemos que v é uma contradição quando v tem o valor lógico F (falso) independentemente dos valores lógicos de p, q, etc. 19

Tabela-verdade (contradição) p p p p V F F F V F p: 2 + 2 4 F p: 2 + 2 = 4 V p p: 2 + 2 4 se, e somente se, 2 + 2 =4 F 20

Paradoxo Imagine a seguinte frase dita por Pinquio: Meu nariz vai crescer. 21

Seção 2.3 EXERCÍCIOS DO LIVRO 22

1. Considere a seguinte proposição: Osmar concerta carros e não concerta motos. O conectivo lógico usado é: a) Bicondicional. b) Conjunção. c) Disjunção exclusiva. d) Disjunção inclusiva. e) Condicional. 23

2. Na construção da tabela-verdade, podemos determinar o número de linhas a partir da utilização da seguinte expressão 2n, em que n é o número de proposições simples. Com base no texto, determine o número de linhas da tabelaverdade construída para validar a seguinte proposição (p q) r. a) 4 b) 8 c) 16 d) 32 e) 64 24

3. A tabela-verdade permite verificar a validação das proposições compostas. Verificando os resultados dos valores lógicos da proposição p q, através da construção de sua tabela-verdade, podemos afirmar que o resultado é: a) F, F, F e F. b) F, V, V e V. c) V, V, F e F. d) V, V, V e V. e) V, F, F e F. 25

Seção 2.3 EXERCÍCIOS DO LIVRO - COMENTÁRIOS 26

1. Considere a seguinte proposição: Osmar concerta carros e não concerta motos. O conectivo lógico usado é: a) Bicondicional. b) Conjunção. c) Disjunção exclusiva. d) Disjunção inclusiva. e) Condicional. Comentário: concerta carros e não concerta 27

2. Na construção da tabela-verdade, podemos determinar o número de linhas a partir da utilização da seguinte expressão 2 n, em que n é o número de proposições simples. Com base no texto, determine o número de linhas da tabela-verdade construída para validar a seguinte proposição (p q) r. a) 4 b) 8 c) 16 d) 32 e) 64 Comentário: Temos p, q e r, ou seja, três proposições. Sendo assim verifica que 2 3 = 8. 28

3. A tabela-verdade permite verificar a validação das proposições compostas. Verificando os resultados dos valores lógicos da proposição p q, através da construção de sua tabela-verdade, podemos afirmar que o resultado é: a) F, F, F e F. b) F, V, V e V. c) V, V, F e F. d) V, V, V e V. e) V, F, F e F. Comentário: p q p q V V V V F F F V F F F F 29

DICA 30

Para ajudar no entendimento sobre lógica Link com vídeos sobre lógica proposicional https://www.youtube.com/watch?v=jzzqux7ck Wc&list=PLDt2BFtgxrhusT-pT9iCNrNRCbk4a8X-6 31