Proposições simples e compostas
|
|
- Amadeu Barreto Farias
- 7 Há anos
- Visualizações:
Transcrição
1 Revisão Lógica
2 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 : O retângulo é um polígono regular. (F)
3 Proposições simples e compostas A partir de proposições simples dadas podemos construir novas proposições compostas mediante o emprego de operadores lógicos chamados conectivos, como: e (conectivo de conjunção), ou (conectivo de disjunção), e os condicionais se... então, se e somente se.
4 Proposições simples e compostas Exemplos: p : A Lua é um satélite da Terra e Recife é a capital de Pernambuco. q : Carlos é solteiro ou Pedro é estudante. r : Se um quadrilátero tem todos os lados congruentes, então é um losango. s: Um quadrilátero é um quadrado se e somente se for retângulo e losango.
5 Proposições simples e compostas Exemplos: p : A Lua é um satélite da Terra e Recife é a capital de Pernambuco. q : Carlos é solteiro ou Pedro é estudante. r : Se um quadrilátero tem todos os lados congruentes, então é um losango. s: Um quadrilátero é um quadrado se e somente se for retângulo e losango.
6 Proposições simples e compostas Conjunção p q ( e ). p q p q V V V V F F F V F F F F
7 Proposições simples e compostas Disjunção Inclusiva p V q ( ou ). p q p V q V V V V F V F V V F F F
8 Proposições simples e compostas Disjunção Exclusiva p V q ( ou, ou ). p q p V q V V F V F V F V V F F F
9 Proposições simples e compostas Condicional p > q ( se, então ). p q p > q V V V V F F F V V F F V
10 Proposições simples e compostas Bicondicional p q ( se, e somente se ). p q p q V V V V F F F V F F F V
11 Construção da tabela Verdade p q ~ q (p Λ ~q) ~(p Λ ~q) V V F F V F V F
12 Negação da Conjunção ( p q ) Como negar esta conjunção? ~ ( p q ) ou com a cantoneira ( p q ) Para negar uma conjunção se aplica uma disjunção! ( p q ) => ~ ( p q ) => (~ p V ~ q ) => ~ ( p V q ) Para negar a conjunção qualquer negar a primeira preposição simples troco o conectivo de conjunção para disjunção e negar a segunda proposição simples!
13 Negação da Conjunção ( p q ) Como negar esta conjunção? ~ ( p q ) ou com a cantoneira ( p q ) Para negar uma conjunção se aplica uma disjunção! ( p q ) => ~ ( p q ) => (~ p V ~ q ) => ~ ( p V q ) Para negar a conjunção qualquer negar a primeira preposição simples troco o conectivo de conjunção para disjunção e negar a segunda proposição simples!
14 Negação da Conjunção Exemplo: P: Ana é bonita e Adilson estuda. p: Ana é bonita. q: Adilson estuda. Como negarmos esta conjunção? ~( p q ) => ~p V ~ q, ficando: Ana não é bonita ou Adilson não estuda!
15 Negação da Disjunção ( p V q ) Como negar esta disjunção? ~ ( p V q ) ou com a cantoneira ( p V q ) Para negar uma disjunção se aplica uma conjunção! ( p V q ) => ~ ( p V q ) => (~ p ~ q ) => ~ ( p q ) Para negar a disjunção qualquer negar a primeira preposição simples troco o conectivo de disjunção para conjunção e negar a segunda proposição simples!
16 Negação da Disjunção Mas se a primeira proposição simples já estiver com o sinal de negação? (~ p V q)? R: negação de negação é uma afirmação! ~(~p ~ q) => p ~q
17 Negação da Disjunção Exemplo: P: Manuela é rubro-negro ou 2+2=5. p: Manuela é rubro-negro. q: = 5. Como negarmos esta disjunção? ~( p V q ) => ~p ~ q, ficando: Manuela não é rubro-negro e
18 Negação da Condicional (p > q) Como negar uma Condicional? ~ (p > q) ou com a cantoneira (p > q) A negação da condicional é obtida através da conjunção! ( p > q ) => ~ ( p > q ) => p ~ q Para negar a Condicional afirmar a primeira preposição simples troco o conectivo de condicional para conjunção e negar a segunda proposição simples!
19 Negação da Condicional Exemplo: P: Se faz sol, vou à praia. p: Faz sol. q: Vou a praia. Como negar esta condicional? ~( p > q ) => p ~ q, ficando: Faz sol e não vou à praia.
20 Negação da Condicional Exemplo2: P: Se uma pessoa é mineira, então come queijo. p: Uma pessoa é mineira. q: Come queijo. Como negar esta condicional? ~( p > q ) => p ~ q, ficando: Uma pessoa é mineira e não come queijo.
21 Negação da Disjunção Exclusiva (p v q) Como negar uma Disjunção Exclusiva? ~ (p v q) ou com a cantoneira (p v q) A negação da disjunção exclusiva tem duas formas: 1º ( p v q ) => ~ ( p v q ) => ~p ~ q 2º ( p v q ) => ~ ( p v q ) => p q Geral = ( p v q ) => ~ ( p v q ) => ~p ~ q ou p q
22 Negação da Disjunção Exclusiva Exemplo: P: Ou Ana é médica ou advogada. p: Ana é médica. q: Ana é advogada. Como negar esta disjunção exclusiva? ~( p v q ) => ~p ~ q ou p q, ficando: Ana não é médica e Ana não é advogada ou Ana é médica e Ana é advogada.
23 Negação da Bicondicional (p q) Como negar uma Bicondicional? ~ (p q) ou com a cantoneira (p q) A negação da Bicondicional tem duas formas: 1º ( p q ) => ~ ( p q ) => p ~ q 2º ( p q ) => ~ ( p q ) => ~p q Geral = ( p q ) => ~ ( p q ) => p ~ q ou ~p q
24 Negação da Bicondicional Exemplo: P: Jonas irá a Europa se, e somente se o dólar cair. p: Jonas irá a Europa. q: Dólar cair. Como negar esta Bicondicional? ~( p q ) => p ~ q ou ~p q, ficando: Jonas irá a Europa e o dólar não irá cair ou Jonas não irá a Europa e o dólar cairá.
25 Negação da Bicondicional Exemplo: P: Jonas irá a Europa se, e somente se o dólar cair. p: Jonas irá a Europa. q: Dólar cair. Como negar esta Bicondicional? ~( p q ) => p ~ q ou ~p q, ficando: Jonas irá a Europa e o dólar não irá cair ou Jonas não irá a Europa e o dólar cairá.
26 Exercícios Negação 1º P: Pimenta nos olhos dos outros é refresco ou colírio. Dica (Descubra o conectivo usado na sentença). p: Pimenta nos olhos dos outros. q: Colírio. ~( p V q ) => ~p ~ q, ficando: Pimenta nos olhos dos outros não é refresco e não é colírio.
27 Exercícios Negação Qual a negação da seguinte sentença? 2º P: Se vergonha matasse, Gabriella já teria morrido. Dica (Descubra o conectivo usado na sentença). p: Vergonha matasse. q: Gabriella já teria morrido. ~( p > q ) => p ~ q, ficando: Vergonha mata e Gabriella não morre.
28 Exercícios Negação Qual a negação da seguinte sentença? 3º P: Ou vai ou racha. Dica (Descubra o conectivo usado na sentença). p: Vai. q: Racha. ~( p v q ) =>~ p ~ q ou p q, ficando: Não vai e não racha. Ou Vai e racha.
29 TAUTOLOGIA Reelembrando que: Vimos que o número de linhas de uma tabela-verdade é 2n (em que n é o número de proposições simples). Vamos considerar três proposições quaisquer p, q e r. Assim, qualquer tabela-verdade envolvendo apenas estas três proposições terá linhas. Desta forma, vamos construir a tabela-verdade da proposição (p r) > (~q V r).
30 TAUTOLOGIA Vamos construir a tabela verdade: p q r ~q p r ~q V r (p r ) > (~q V r)
31 Contradição Vamos construir a tabela verdade: p q p q p V q (p q ) (p V q)
32 Contigência Vamos construir a tabela verdade: p q p > q p V q (p > q) (p V q) V V F F V F V F
33 Equivalência de Proposições Equivalência nada mais é que o encontro de preposições equivalentes a uma outra proposição dada. Obs: não é igualdade, mas sim estruturas equivalentes! Exemplo: Dupla negação: ~~p => Outro exemplo: Não é verdade que colômbo não descobriu a américa. Logo: Então, as duas proposições são equivalentes, querem dizer a mesma coisa!
34 Equivalência de Proposições Olhando a propriedade comutativa pela matemática, tanto faz 7 x 5 = 35, como 5 X 7 = 35. E na lógica? p q q p, são a mesma coisa! Exemplo: Jurandir é engenheiro e Ana é professora! É comutativa a: Ana é professora e Jurandir é engenheiro!
35 Equivalência de Proposições p V q q V p, são a mesma coisa! Exemplo: Jurandir é engenheiro ou Ana é professora! É comutativa a: Ana é professora ou Jurandir é engenheiro!
36 Outras formas de Equivalência. p q q p, são a mesma coisa! Exemplo: Chove se, e somente se faz sol. É comutativa a: Faz sol se, e somente se chove.
37 Outras formas de Equivalência. A definição da bicondicional: p q Gera uma outra proposição equivalente a bicondicional. Significa que: (p > q) (q > p). Exemplo: Chove se, e somente se faz sol. Equivalente a: Se chove, faz sol e se faz sol, chove.
38 Proposição Contrapositiva. p > q ~ q > ~ p Exemplo: P: Se a procura aumenta, então o preço sobe. Será equivalente a: P: Se o preço não sobe, então a procura não aumenta.
39 Negação da negação de condicional (p > q) ~ p V q Exemplo: Se chove então faz frio. p q Vamos então encontra as duas formas: 1ºforma (proposição contrapositiva). ~ q > ~ p Como vai ficar? P: Se não faz frio, então não chove. 2ºforma (negação da negação da condicional). ~ p V q Como vai ficar? P: Não chove ou faz frio. As três são equivalentes!
40 Negação da negação de condicional Mas qual a razão da negação da negação da condicional? Nega-se a condicional e depois nega o resultado! 1º nega a expressão. 2º nega o resultado, e chegará na expressão seguinte: (p > q) ~ p V q
41 Negação da negação de condicional p > q (vamos negar) (p ~ q) Agora vamos negar a conjunção: p ~ q (vamos negar a conjunção) ~p V q Resumindo logicamente: p > q => (p ~ q) => ~ (p ~ q) => (~p V q)
42 Negação da negação de condicional p > q (vamos negar) (~p V q) Vamos a um exemplo prático...: P: Se a procura aumenta, então o preço sobe. É equivalente a? P: Se a procura não aumenta ou o preço sobe.
43 Exercicio Se Brasília é a Capital do Brasil então Santiago é a Capital do Chile (p q) Se Santiago não é a capital do Chile então Brasília não é a Capital do Brasil.( q p) Vejamos as tabelas verdade de ambas às proposições compostas:
44 Exercicíos Vejamos as tabelas verdade de ambas às proposições compostas: Condicional: q p Condicional: q p 44 Podemos verificar que as duas proposições possuem a mesma tabela verdade (valoração), portanto são equivalentes. P Q <=> Q P (Representação da equivalência lógica ) Aula de Lógica - Professor Renê F Felix
45 LÓGICA DE PRIMEIRA ORDEM (LPO) Na lógica de primeira ordem (LPO), existem dois tipos de quantificadores: 1º quantificador Universal e; 2º quantificador Existencial.
46 Quantificador Universal Quantificador Universal é indicado pelo símbolo, que se lê: todo, para todo, qualquer que seja e para cada (outros sinônimos). 46 Aula de Lógica - Professor Renê F Felix
47 Quantificador Universal 47 Aula de Lógica - Professor Renê F Felix
48 48 Aula de Lógica - Professor Renê F Felix
49 Quantificador Existencial existe, algum, existe pelo menos um e existe um (outros sinônimos). 49 Aula de Lógica - Professor Renê F Felix
50 Quantificador Existencial 50 Aula de Lógica - Professor Renê F Felix
51 Quantificador Existencial ÚNICO. 51 Aula de Lógica - Professor Renê F Felix
52 A Negação do quantificador Universal e Existencial Regra Geral Para negar expressões que estão escritas no quantificador universal, utiliza-se o quantificador existencial. Para negar expressões que estão escritas no quantificador existencial, utiliza-se o quantificador universal. 52 Aula de Lógica - Professor Renê F Felix
53 A Negação do quantificador Universal e Existencial 53 Aula de Lógica - Professor Renê F Felix
54 A Negação do quantificador Universal e Existencial 54 Aula de Lógica - Professor Renê F Felix
55 A Negação do quantificador Universal e Existencial 1. Qual é a negação de não há quem não goste de futebol?. (o mesmo que dizer que todos gostam de futebol). a) Não há quem goste de futebol. b) Ninguém gosta de futebol. c) Todos gostam de futebol.(pegadinha é sinonima) d) Há quem goste de futebol. e) Há quem não goste de futebol. 55 Aula de Lógica - Professor Renê F Felix
56 A Negação do quantificador Universal e Existencial 2. Todos os números inteiros são positivos é: a) Nenhum número inteiro é positivo. b) Nenhum número inteiro é negativo. c) Todos os números inteiros são negativos. d) Alguns números positivos não são inteiros. e) Alguns números inteiros não são positivos. 56 Aula de Lógica - Professor Renê F Felix
57 57 Aula de Lógica - Professor Renê F Felix
(Lógica) Negação de Proposições, Tautologia, Contingência e Contradição.
aula 07 (Lógica) Negação de Proposições, Tautologia, Contingência e Contradição. Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Negação de Proposições
Leia mais01/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 maisArgumentaçã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 maisLÓ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 maisAtençã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 maisUNIP 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 maisGestão Empresarial Prof. Ânderson Vieira
NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas
Leia maisCampos 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 maisAULÃ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 maisOBS.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 maisINSTITUTO 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 maisRaciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.
Raciocínio Lógico Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA Agora vamos aprender
Leia maisLó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 maisRaciocínio Lógico. Sentenças Abertas
Raciocínio Lógico Sentenças Abertas Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos: Ø x + 4 = 12. Essa expressão
Leia maisAula 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 maisProf. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Leia mais22. 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 maisGRATUITO 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 maisRaciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01
Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01 PROPOSIÇÕES Denomina-se proposição a toda frase declarativa, expressa em palavras ou
Leia maisAnotaçõ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 maisATA/TO AOCP Resolução: Inicialmente, representaremos o que foi dado pelo enunciado:
ATA/TO AOCP - 2012 01. Considere três conjuntos finitos X, Y e Z. Sabendo que I. X Y tem 16 elementos; II. X Z tem 7 elementos e III. X Y Z tem 2 elementos. O número de elementos de (Y U Z) X é (A) 2.
Leia maisUniversidade 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 maisProf. 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 maisAprendendo. 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 maisProposiçõ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 maisMATEMÁ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 maisNome: 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 maisLÓ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 maisUnidade 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 maisLó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 maisBases 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 maisFundamentos 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 maisAula 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 maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisSumá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 maisn. 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 maisLó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 maisLÓ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 maisRACIOCÍNIO LÓGICO. Equivalências Lógicas e Negação das Proposições. Equivalências parte 1. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO Equivalências Lógicas e Negação das Proposições. Equivalências parte 1. Prof. Renato Oliveira Principais Equivalências 1ª) Se..., então MACETE Nega, inverte. Exemplo Se chove, então bebo.
Leia maisA 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 maisLógica em Computação. .: Calculo Proposicional :. Prof. Luís Rodrigo
.: Calculo Proposicional :. Prof. Luís Rodrigo {} [/] Proposição e Conectivos Proposição Simples Uma proposição simples (ou enunciado, ou sentença), é uma declaração que exprime um pensamento com sentido
Leia maisMATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP
1 MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 2009 02 2 CÁLCULO PROPOSICIONAL 1. Proposições Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas
Leia maisAula 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 maisRodada #01 Raciocínio Lógico
Rodada #01 Raciocínio Lógico Professor Guilherme Neves Assuntos da Rodada RACIOCÍNIO LÓGICO: Conjuntos e suas operações. Números naturais, inteiros, racionais e reais e suas operações. Representação na
Leia maisRaciocínio Lógico Matemático. Pré Prova TST
Raciocínio Lógico Matemático Pré Prova TST # DICA 1 # LEMBRAR-SE DOS CONJUNTOS NUMÉRICOS ELEMENTARES Números Naturais N = {0, 1, 2, 3, 4,... } Números Inteiros Z = {..., -4, -3, -2, -1, 0, 1, 2, 3,...
Leia maisMatemá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 maisLógica Matemática Para Concursos
A matemática geralmente é vista como complicada para a maioria dos concursandos, mas isso já é passado, atualmente o que assusta os candidatos é a lógica matemática ou também conhecida como lógica proposicional
Leia maisMATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira
MATEMÁTICA 3 Professor Renato Madeira MÓDULO 1 Lógica SUMÁRIO 1. Proosição. Negação 3. Conectivos 4. Condicionais 4.1. Relação de imlicação 4.. Relação de equivalência 5. Álgebra das roosições 6. Quantificadores
Leia maisAula 1 Aula 2 Aula 3. 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 maisCASA TRIBUNAIS RACIOCÍNIO LÓGICO
CASA TRIBUNAIS RACIOCÍNIO LÓGICO Negação da conjunção e disjunção inclusiva (Lei de Morgan) / Negação da condicional / Negação da bicondicional e Disjunção Exclusiva Prof. Bruno Villar www.acasadoconcurseiro.com.br
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I 1 a Lista de Exercícios
1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2015/I 1 a Lista de Exercícios Tópico: Argumentos 1. Julgue as premissas e a conclusão
Leia maisMDI0001 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 maisDISCIPLINA: 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 maisAntonio Paulo Muccillo de Medeiros
Antonio Paulo Muccillo de Medeiros Conceito É a área da matemática que estuda os argumentos (premissas e conclusão). Estuda os métodos e princípios que permitam distinguir argumentos corretos e incorretos.
Leia maisRodada #1 Raciocínio Lógico
Rodada #1 Raciocínio Lógico Professor Guilherme Neves Assuntos da Rodada Estrutura lógica de relações arbitrárias entre pessoas, lugares, objetos ou eventos fictícios; deduzir novas informações das relações
Leia maisAula demonstrativa Apresentação... 2 Negação de proposições quantificadas Relação das questões comentadas Gabaritos...
Aula demonstrativa Apresentação... 2 Negação de proposições quantificadas... 10 Relação das questões comentadas... 14 Gabaritos... 15 1 Apresentação Olá, pessoal! Tudo bem com vocês? Esta é a aula demonstrativa
Leia maisRECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
Leia maisMatemá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 maisQuestõ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 maisaula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:
aula 01 (Lógica) Ementa Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Plano de Ensino CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas
Leia maisAo utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.
CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais
Leia maisPOLÍCIA CIVIL DE SÃO PAULO PAPILOSCOPISTA 2018 Raciocínio Lógico
Questão 61 POLÍCIA CIVIL DE SÃO PAULO PAPILOSCOPISTA 2018 Raciocínio Lógico Pertencer ao conjunto A, pode ser apenas A ou pode ser apenas A e B ou pode ser A e B e C, mas não pode ser apenas A e C. Pertencer
Leia maisMD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Leia maisUsando as regras de Morgan, de a negação das proposições:
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com EXERCÍCIOS Usando as regras de Morgan, de a negação das proposições: a) É falso que não está frio
Leia maisRaciocí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 maisVimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Leia maisElementos 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 maisRACIOCÍ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 maisUniversidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I 1 a Lista de Exercícios
1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2015/I 1 a Lista de Exercícios Tópico: Argumentos 1. (a) Argumento inválido. (b) Argumento
Leia maisCAPÍ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. 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 maisMATEMÁ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 mais4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico
Registro CMI 40616 Aula Proposição 4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico Toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando
Leia maisConteúdo. Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42)
Conteúdo Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Correção exercicios 11) P(x) = x = x 2 P(0) P(1) P(2) 12) Q(x) = x + 1 = 2x Q(0) Q(-1) Q(1) Correção
Leia maisRodada #01 Raciocínio Lógico
Rodada #01 Raciocínio Lógico Professor Guilherme Neves Assuntos da Rodada MATEMÁTICA 1. Operações com números reais. 2. Mínimo múltiplo comum e máximo divisor comum. 3. Razão e proporção. 4. Porcentagem.
Leia maisFundamentos 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 maisRaciocínio Lógico Parte 2 Prof. Dudan
Agente + Escrivão de Polícia Raciocínio Lógico Parte 2 Prof. Dudan Raciocínio Lógico 1. INTRODUÇÃO A RACIOCÍNIO LÓGICO A Lógica tem, por objeto de estudo, as leis gerais do pensamento e as formas de aplicar
Leia maisBIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES
Olá, pessoal! Meu nome é Guilherme Neves e estou ministrando o curso de Raciocínio Lógico para o concurso da Polícia Federal que será realizado pelo CESPE-UnB. Vamos, de uma maneira sucinta, fazer uma
Leia maisRaciocí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 maisNã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 mais2016 / Nome do aluno: N.º: Turma:
Teste de Matemática A 2016 / 2017 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em
Leia maisUma 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 maisMatéria: Raciocínio Lógico Concurso: Auditor Tributário ISS Gramado 2019 Professor: Alex Lira
Concurso: Professor: Alex Lira Prova comentada: Auditor Tributário ISS GRAMADO 2019 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES...
Leia maisLógica Matemática e Computacional. 2.3 Equivalência Lógica
Lógica Matemática e Computacional 2.3 Equivalência Lógica Equivalência Lógica Definição: Dadas as proposições compostas P e Q, diz-se que ocorre uma equivalência lógica entre P e Q quando suas tabelas-verdade
Leia maisLó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 maisLó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 maisLó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 maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Operações Lógicas sobre Predicados Condicional Quantificador de Unicidade (Rosen 37) Quantificadores com Restrição (Rosen 38) Tradução Português-Lógica
Leia maisRACIOCÍ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 maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisRaciocínio Lógico Quantitativo
Raciocínio Lógico Quantitativo Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico PROPOSIÇÃO PROPOSIÇÃO SIMPLES Um argumento é uma sequência de proposições na qual uma delas é a conclusão
Leia maisComo 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 maisAula 00. Matemática, Estatística e Raciocínio Lógico para PCDF. Matemática e Raciocínio Lógico Professor: Guilherme Neves
Aula 00 Matemática e Raciocínio Lógico Professor: Guilherme Neves www.pontodosconcursos.com.br 1 Apresentação Olá, pessoal! Saiu o edital da Polícia Civil do Distrito Federal. A banca organizadora será
Leia maisINTRODUÇÃ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(Questões de provas resolvidas e comentadas) Carlos R. Torrente
(Questões de provas resolvidas e comentadas) Carlos R. Torrente Dados Internacionais de Catalogação na Publicação (CIP) (Câmara Brasileira do Livro, SP, Brasil) Torrente, Carlos Roberto Raciocínio lógico
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática
1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2017 1 a Lista de Exercícios Tópico: Algumas questões de Lógica 1. Considere que, em
Leia mais