Unidade: Proposições Logicamente Equivalentes. Unidade I:
|
|
|
- Luiz Fernando Pinhal Ferrão
- 9 Há anos
- Visualizações:
Transcrição
1 Unidade: Proposições Logicamente Equivalentes Unidade I: 0
2 Unidade: Proposições Logicamente Equivalentes Nesta unidade, veremos a partir de nossos estudos em tabelas-verdade as proposições logicamente equivalentes: Além das regras de inferência, o método axiomático utiliza-se das chamadas equivalências lógicas no processo de dedução. Segundo Hegenberg, duas sentenças dizem-se equivalentes se, intuitivamente falando, afirmam a mesma coisa. Certas equivalências são de grande utilidade, simplificando a tarefa de simbolizar apropriadamente as sentenças da linguagem comum. Dizemos que duas proposições são logicamente equivalentes (ou simplesmente que são equivalentes) quando são compostas pelas mesmas proposições simples e os resultados de suas tabelas-verdade são idênticos, ou seja, quando têm o mesmo valor de verdade. Uma conseqüência prática da equivalência lógica é que ao trocar uma dada proposição por qualquer outra que lhe seja equivalente, estamos apenas mudando a maneira de dizê-la. A equivalência lógica entre duas proposições, p e q, pode ser representada simbolicamente como: p q, ou simplesmente por p = q. Começaremos com a descrição de algumas equivalências lógicas básicas, as quais convém conhecermos bem, a fim de as utilizarmos nas soluções de diversas questões. 1) Equivalências Básicas: 1ª) p e p = p Exemplo: André é inocente e inocente = André é inocente 2ª) p ou p = p Exemplo: Ana foi ao cinema ou ao cinema = Ana foi ao cinema 3ª) p e q = q e p 1
3 Exemplo: o cavalo é forte e veloz = o cavalo é veloz e forte 4ª) p ou q = q ou p Exemplo: o carro é branco ou azul = o carro é azul ou branco 5ª) p q = q p Exemplo: Amo se e somente se vivo = Vivo se e somente se amo 6ª) p q = (p q) e (q p) Exemplo: Amo se e somente se vivo = Se amo então vivo, e se vivo então amo p e p = P p ou p = p p e q = q e p p ou q = q ou p p q = q p p q = (p q) e (q p) 2) Equivalências da Condicional: As duas equivalências que se seguem são de fundamental importância. Inclusive, serão utilizadas para resolver algumas questões do dever de casa que ficaram pendentes. Estas equivalências podem ser verificadas, ou seja, demonstradas, por meio da comparação entre as tabelas-verdade. Ficam como exercício para casa estas demonstrações. São as seguintes as equivalências da condicional: 1ª) Se p, então q = Se não q, então não p. Exemplo: Se chove então me molho = Se não me molho então não chove 2ª) Se p, então q = Não p ou q. 2
4 Exemplo: Se estudo então passo no concurso = Não estudo ou passo no concurso. Colocando esses resultados numa tabela, para ajudar a memorização, teremos: p q = ~q ~p p q = ~p ou q Exercitando os conceitos apreendidos. (AFC-STN/2005) Se Marcos não estuda, João não passeia. Logo: a) Marcos estudar é condição necessária para João não passear. b) Marcos estudar é condição suficiente para João passear. c) Marcos não estudar é condição necessária para João não passear. d) Marcos não estudar é condição suficiente para João passear. e) Marcos estudar é condição necessária para João passear. Resolvendo: Conforme aprendemos, a estrutura condicional pode ser traduzida também com uso das expressões condição suficiente e condição necessária. Usando essa nomenclatura, teremos que: a primeira parte da condicional é uma condição suficiente; e a segunda parte da condicional é uma condição necessária. Em seguida, tomando a sentença Se Marcos não estuda, então João não passeia, teremos que: Marcos não estudar é condição suficiente para João não passear ou 3
5 João não passear é condição necessária Marcos não estudar. Ocorre que nenhum desses dois resultados possíveis acima consta entre as opções de resposta! Resta-nos uma saída: teremos que encontrar uma condicional equivalente. Lembremos então de p q = ~q ~p Teremos: Se Marcos não estuda, então João não passeia = Se João passeia, então Marcos estuda. Fizemos as duas negativas e trocamos a ordem. Agora analisando esta condicional equivalente, concluiremos que: João passear é condição suficiente para Marcos estudar ou Marcos estudar é condição necessária para João passear. Letra E, nossa resposta! 3) Equivalências com o símbolo da negação: Este tipo de equivalência já foi estudado por nós na primeira aula. Trata-se, tão somente, das negações das proposições compostas! Como tais equivalências já foram inclusive revisadas nesta aula de hoje, nos limitaremos apenas a reproduzi-las novamente. Teremos: ~(p e q) = ~p ou ~q ~(p ou q) = ~p e ~q ~(p q) = p e ~q ~(p q) = [(p e ~q) ou (~p e q)] 4) Outras equivalências: Algumas outras equivalências que podem ser relevantes são as seguintes: 4
6 1ª) p e (p ou q) = p Exemplo: Paulo é dentista, e Paulo é dentista ou Pedro é médico = Paulo é dentista. 2ª) p ou (p e q) = p Exemplo: Paulo é dentista, ou Paulo é dentista e Pedro é médico = Paulo é dentista. Por meio das tabelas-verdade, estas equivalências também podem ser facilmente demonstradas. Para auxiliar nossa memorização, criaremos a tabela seguinte: p e (p ou q) = p p ou (p e q) = p 5) Equivalência entre nenhum e todo : Aqui temos uma equivalência entre dois termos muito freqüentes em questões de prova. É uma equivalência simples, e de fácil compreensão. Vejamos: 1ª) Nenhum A é B = Todo A é não B Exemplo:Nenhum médico é louco = Todo médico é não louco (=Todo médico não é louco). 2ª) Todo A é B = Nenhum A é não B Exemplo: Toda arte é bela = Nenhuma arte é não bela (= Nenhuma arte não é bela). Colocando essas equivalências numa tabela, teremos: Nenhum A é B = Todo A é não B Todo A é B = Nenhum A é não B 6) Outras equivalências importantes: 5
7 6.1. De Morgan a) ~ (p ^ q) (~p v ~ q) p q ~ p ~ q (p v q) ~ (p ^ q) (~ p v ~ q) V V F F V F F V F F V F V V F V V F F V V F F V V F V v b) ~(p v q) (~p ^ ~q) p q ~p ~q (p v q) ~(p v q) (~p ^ ~q) V V F F V F F V F F V V F F F V V F V F F F F V V F V V 6.2 Comutação a) (p v q) (q v p) p q (p v q) (q v p) V V V F V F V F F V V F F F F V b) (p ^ q) (q ^ p) p q (p ^ q) (q ^ p) V V V F V F V F F V V F F F F V 6.3 Associação a) [p v (q v r) ] [ (p v r) v r] p q r (q v r) (p v q) [p v (q v r) ] [ (p v r) v r] V V V V V V V 6
8 V V F V V V V V F V V F V V V F F F V V V F V V V V V V F V F V V V V F F V V F V V F F F F F F F b) [p ^ (q ^ r) ] [ (p ^ r) ^ r] p q r (q ^ r) (p ^ q) [p^ (q ^ r) ] [ (p ^ r) ^ r] V V V V V V V V V F F V F F V F V F F F F V F F F F F F F V V V F F F F V F F F F F F F V F F F F F F F F F F F 6.4 Distribuição a) [p ^ (q v r) ] [ (p ^ r) v (p ^ r)] p q r (q v r) (p^q) (p^r) [p ^(q v r) ] [ (p ^r) v (p^r)] V V V V V V V V V V F V V F V V V F V V F V V V V F F F F F F F F V V V F F F F F V F V F F F F F F V V F F F F F F F F F F F F 7
9 b) [p v (q ^ r) ] [ (p v r) ^ (p v r)] p q r (q ^ r) (p v q) (p v r) [p v (q ^ r) ] [ (p v r) ^ (p v r) ] V V V V V V V V V V F F V V V V V F V F V V V V V F F F V V V V F V V V V V V V F V F F V F F F F F V F F V F F F F F F F F F F 6.5 Dupla negação a) p ~~p p ~p ~~p V F V F V F LEIS ASSOCIATIVAS, DISTRIBUTIVAS E DA DUPLA NEGAÇÃO: Na seqüência, algumas leis que podem eventualmente nos ser úteis na análise de alguma questão. São de fácil entendimento, de modo que nos limitaremos a apresentá-las. 1) Leis associativas: (p e q) e s = p e (q e s) (p ou q) ou s = p ou (q ou s) 2) Leis distributivas: p e (q ou s) = (p e q) ou (p e s) p ou (q e s) = (p ou q) e (p ou s) 3) Lei da dupla negação: 8
10 ~(~p) = p Concluímos então que: S não é não P = S é P Todo S não é não P = Todo S é P Algum S não é não P = Algum S é P Nenhum S não é não P = Nenhum S é P Exemplos: 1) A bola de futebol não é não esférica = A bola de futebol é esférica. 2) Todo número inteiro não é não racional = Todo número inteiro é racional. 3) Algum número racional não é não natural = Algum número racional é natural. 4) Nenhum número negativo não é não natural = Nenhum número negativo é natural. 9
11 Exercitando o conteúdo apreendido (Agente da Polícia Federal 2004 CESPE) Texto para os itens de 01 a 08 Considere que as letras P, Q, R e T representem proposições e que os símbolos, ^, v e sejam operadores lógicos que constroem novas proposições e significam não, e, ou e então, respectivamente. Na lógica proposicional, cada proposição assume um único valor (valor-verdade), que pode ser verdadeiro (V) ou falso (F), mas nunca ambos. a seguir. Com base nas informações apresentadas no texto acima, julgue os itens 01.Se as proposições P e Q são ambas verdadeiras, então a proposição ( P) v ( Q) também é verdadeira. 02.Se a proposição T é verdadeira e a proposição R é falsa, então a proposição R ( T) é falsa. 03.Se as proposições P e Q são verdadeiras e a proposição R é falsa, então a proposição (P ^ R) ( Q) é verdadeira. Considere as sentenças abaixo. i. Fumar deve ser proibido, mas muitos europeus fumam. ii. Fumar não deve ser proibido e fumar faz bem à saúde. iii. Se fumar não faz bem à saúde, deve ser proibido. iv. Se fumar não faz bem à saúde e não é verdade que muitos europeus fumam, então fumar deve ser proibido. v. Tanto é falso que fumar não faz bem à saúde como é falso que fumar deve ser proibido; conseqüentemente, muitos europeus fumam. 10
12 Considere também que P, Q, R e T representem as sentenças listadas na tabela a seguir. P Fumar deve ser proibido. Q Fumar deve ser encorajado. R Fumar não faz bem à saúde. T Muitos europeus fumam. Com base nas informações acima e considerando a notação introduzida no texto, julgue os itens seguintes. 04.A sentença I pode ser corretamente representada por P ^ ( T). 05.A sentença II pode ser corretamente representada por ( P) ^ ( R). 06.A sentença III pode ser corretamente representada por R P. 07.A sentença IV pode ser corretamente representada por (R ^ ( T)) P. 08.A sentença V pode ser corretamente representada por T (( R) ^ ( P)). 11
13 Resolvendo Se as proposições P e Q são ambas verdadeiras, então a proposição ( P) v ( Q) também é verdadeira. Para este tipo de questão, um artifício útil é o de substituir a letra que representa a proposição pelo seu respectivo valor lógico. Neste caso, vemos que o enunciado definiu que as proposições (P e Q) são ambas verdadeiras. Então, em lugar de P e de Q, usaremos o valor lógico V. Teremos: (~P) v (~Q) = (~V) v (~V) Ora, a negação (~) do Verdadeiro é o Falso (~V = F) e vice-versa (~F = V). Teremos: = F v F Estamos diante de uma disjunção (OU), a qual já conhecemos bem: basta que uma das partes seja verdadeira, que a disjunção será verdadeira. Mas, se as duas partes forem falsas, como neste caso, então, a disjunção é FALSA. Teremos, finalmente, que: F v F = F Solução: O item 1 está errado! 02.Se a proposição T é verdadeira e a proposição R é falsa, então a proposição R ( T) é falsa. Usaremos o mesmo artifício da questão acima. Teremos: R (~T) F (~V) F F 12
14 Chegamos numa condicional. Conforme sabemos, a condicional só é falsa quando a primeira parte é verdadeira e a segunda é falsa. Como não é o caso, teremos: F F = V Solução: O item 2 está errado! 03.Se as proposições P e Q são verdadeiras e a proposição R é falsa, então a proposição (P ^ R) ( Q) é verdadeira. Sol.: Mais uma vez, a resolução seguirá o mesmo caminho já utilizado acima. Teremos: (P ^ R) (~Q) (V ^ F) (~V) Trabalhemos o primeiro parênteses, observando que se trata de uma conjunção. Como já sabemos, somente se as duas partes forem verdadeiras é que a conjunção o também o será! Não é o nosso caso. Assim, teremos: F (~V) Sabemos que ~V = F. Daí: F F E agora? O que dizer desta condicional? Teremos: F F = V Solução: O item 3 está correto! 13
15 2ª Parte da questão 04. A sentença I pode ser corretamente representada por P ^ ( T). Vamos pelo caminho inverso: partindo da simbologia, construiremos a frase. P ^ (~T) = P e não T = Fumar deve ser proibido e não é verdade que muitos europeus fumam. Solução: o item 4 está errado. A representação correta para a sentença I é P ^ T. 05. A sentença II pode ser corretamente representada por ( P) ^ ( R). Tomemos a representação simbólica e façamos sua tradução. Teremos: (~P) ^ (~R) = não P e não R ou Fumar não deve ser proibido e fumar faz bem à saúde. Solução: o item 5 está correto. 06.A sentença III pode ser corretamente representada por R P. Temos que R P = Se R, então P ou Se fumar não faz bem à saúde, então fumar deve ser proibido. Solução: o item 6 está correto. 07.A sentença IV pode ser corretamente representada por (R ^ ( T)) P. Sol.: Temos que (R ^ (~T)) P = Se R e não T, então P ou Se fumar não faz 14
16 bem à saúde e não é verdade que muitos europeus fumam, então fumar deve ser proibido. Solução: o item 7 está correto. 08. A sentença V pode ser corretamente representada por T (( R) ^ ( P)). Temos que: T ((~R) ^(~P)) = Se T, então não R e não P ou Se muitos europeus fumam, então é falso que fumar não faz bem à saúde e é falso que fumar deve ser proibido. Percebam que a sentença V inverte a ordem da condicional acima. Sabemos que p q não é equivalente a q p. Solução: o item 8 está errado! A representação correta para a sentença V é ((~R) ^ (~P)) T. 15
17 Referências ALENCAR FILHO, Edgard de. Iniciação à Lógica Matemática. São Paulo:Nobel ALENCAR FILHO, Edgard de. Operações Binárias. Edgard Blucher ALENCAR FILHO, Edgard de. Relações Binárias. Nobel COPPI, Irving M. Introdução à Lógica. Mestre Jou MORTARI, Cezar. Introdução à Lógica. São Paulo: UNESP SALMON, C. W. Lógica, 3ª Edição, Prentice/Hall do Brasil, SILVA, Joselias Santos da. Raciocínio Lógico Para Concursos Públicos. R &A Editora, Provas da Fundação Getúlio Vargas FGV CEAG. Provas da Escola Superior de Administração Fazendária (ESAF) Provas do CESPE. 16
18 17 Campus Liberdade Rua Galvão Bueno, São Paulo SP Brasil Tel: (55 11)
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
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:
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
Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V
n. 5 Implicações Lógicas A implicação lógica trata de um conjunto de afirmações, proposições simples ou compostas, cujo encadeamento lógico resultará em uma conclusão, a ser descoberta. Tal conclusão deverá
Raciocí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
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
Lógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas
GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /
1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 03 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br
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
Introdução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
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
Raciocí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
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
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
Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
AULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8
Índice AULA 1 Frases, proposições e sentenças 3 AULA 2 Conectivos lógicos e tabelas-verdade 5 AULA 3 Negação de proposições 8 AULA 4 Tautologia, contradição, contingência e equivalência 11 AULA 5 Argumentação
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
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
Afirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
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
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
4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência.
1 LIVRO Regras de Inferência e Regras de Equivalência 4 AULA META: Introduzir algumas regras de inferência e algumas regras de equivalência. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de:
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
BIZU 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
Matéria: Raciocínio Lógico Concurso: Agente da Polícia Federal 2018 Professor: Alex Lira
Concurso: Professor: Alex Lira Prova comentada: Agente Polícia Federal 2018 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES... 10 Página
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
Com base nesse conteúdo, planejei o curso da seguinte maneira: Aula Conteúdo Data. Aula 00 Demonstrativa. Já disponível
Raciocínio Lógico p/ POLITEC-MT agrega alguns assuntos da matemática básica estudada no ensino médio. Vamos dar uma olhada no conteúdo: RACIOCÍNIO LÓGICO 1. Estruturas lógicas. 2. Lógica sentencial ou
Equivalências Lógicas. Aula 13
Equivalências Lógicas Aula 13 Equivalências Lógicas Leis de De Morgan ~(p ^ q) ~p v ~q ~(p v q) ~p ^ ~q Propriedade da Dupla Negação ~(~p) p Propriedade da Condicional p q ~p v q Equivalências Propriedade
A Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA A Linguagem dos Teoremas - Parte II Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de maio
Aprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Sentenças Abertas Raciocínio Lógico Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos:
Lógica Computacional
Aula Teórica 2: Sintaxe da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informá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,
Aula 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
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
Raciocínio Lógico (Professor Uendel)
Raciocínio Lógico (Professor Uendel) Material (02); SEFAZ; JULHO DE 2017 (Álgebra das Proposições) PROPOSIÇÕES EQUIVALENTES P Q Lê se: P é LOGICAMENTE equivalent e a Q São proposições cujas tabelas-verdade
DNIT RACIOCÍNIO LÓGICO-QUANTITATIVO PROFESSORA: KARINE WALDRICH
AULA 1 1. Aula 1: Estruturas Lógicas. Lógica de argumentação: analogias, inferências, deduções e conclusões. Lógica sentencial (ou proposicional): proposições simples e compostas; tabelas-verdade; equivalências;
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
Referências e materiais complementares desse tópico
Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:
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 é
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
Algoritmos e Programação I
Algoritmos e Programação I Operadores Relacionais, Lógicos e Aritméticos Prof. Fernando Maia da Mota [email protected] CPCX/UFMS Fernando Maia da Mota 1 Expressões Uma expressão relacional, ou
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
Fundamentos da Lógica I
Fundamentos da Lógica I O conceito mais elementar no estudo da lógica primeiro a ser visto é o de Proposição. Trata-se, tão somente, de uma sentença algo que será declarado por meio de palavras ou de símbolos
Matéria: Raciocínio Lógico Concurso: Escrivão da Polícia Federal 2018 Professor: Alex Lira
Concurso: Professor: Alex Lira Prova comentada: Escrivão Polícia Federal 2018 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES... 9 Página
Raciocínio Lógico. Conectivo se e somente se (Bicondicional) Professor Edgar Abreu.
Raciocínio Lógico Conectivo se e somente se (Bicondicional) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico BICONDICIONAL... SE SOMENTE SE... Recebe o nome de bicondicional toda
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
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
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 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
Ló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
Fundamentos de Lógica e Algoritmos
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPUS SÃO GONÇALO DO AMARANTE Fundamentos de Lógica e Algoritmos #EquivalênciaLógica Eliezio Soares [email protected]
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;
CURSO ONLINE RACIOCÍNIO LÓGICO AULA 2: CONCEITOS INICIAIS (Continuação)
AULA 2: CONCEITOS INICIAIS (Continuação) Olá, amigos! Retornamos hoje para dar seqüência aos undamentos da Lógica conceitos iniciais que demos início na aula passada. Convém sabermos que estas duas primeiras
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.
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
Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019
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 [email protected] http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Resolução da Prova MPU Técnico Disciplina: Raciocínio Lógico Professor: Valdenilson Garcia
Resolução da Prova MPU 01 - Técnico Disciplina: Raciocínio Lógico Professor: Valdenilson Garcia e-mail: [email protected] 01 Copyright. Curso Agora eu Passo - Todos os direitos reservados ao
Alex Lira. Olá, pessoal!!!
Olá, pessoal!!! Seguem abaixo os meus comentários das questões de Lógica que foram cobradas na prova para o cargo de Agente da Polícia Federal, elaborada pelo Cespe, realizada no último final de semana.
ORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site
!"#$%&"$!'!'"& '&()**+,(,-$%.!! /)(,-$'(),*0)**+ /'$/1'"%%!2%/! )**+, ORIENTAÇÃO Leia o Guia Logístico de Avaliação UNITINS publicado no site www.educon.br/unitins ATENÇÃO: 1. Verifique se a numeração
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
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:
LÓGICA. CONCEITO DE PROPOSIÇÃO Uma proposição é toda a oração que pode ser classificada como verdadeira ou falsa, não ambas.
LÓGICA 1. PROPOSIÇÃO CONCEITO DE PROPOSIÇÃO Uma proposição é toda a oração que pode ser classificada como verdadeira ou falsa, não ambas. Por exemplo: 2 é um número primo. Resposta: É uma proposição verdadeira
n. 18 ALGUNS TERMOS...
n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.
Lógica Computacional DCC/FCUP 2017/18
2017/18 Raciocínios 1 Se o André adormecer e alguém o acordar, ele diz palavrões 2 O André adormeceu 3 Não disse palavrões 4 Ninguém o acordou Será um raciocínio válido? Raciocínios Forma geral do raciocínio
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
Lógica Computacional
Aula Teórica 2: da Lógica Proposicional Departamento de Informática 17 de Fevereiro de 2011 Descrição informal Lógica proposicional Objecto Ocupa-se do estudo do comportamento dos conectivos lógicos (negação,
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 [email protected] http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:
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
Aula 00. Raciocínio Lógico. Raciocínio Lógico para ANVISA Aula Demonstrativa Professor: Karine Waldrich
Aula 00 Raciocínio Lógico para ANVISA Aula Demonstrativa Professor: Karine Waldrich www.pontodosconcursos.com.br 1 Aula 00 Aula Demonstrativa Oi, tudo bem? Meu nome é Karine Waldrich. Nasci em Blumenau,
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...
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
Raciocínio Lógico Matemático
Raciocínio Lógico Matemático Cap. 4 - Implicação Lógica Implicação Lógica Antes de iniciar a leitura deste capítulo, verifique se de fato os capítulos anteriores ficaram claros e retome os tópicos abordados
LÓGICA I ANDRÉ PONTES
LÓGICA I ANDRÉ PONTES 4. Lógica Proposicional A Linguagem da Lógica Proposicional Letras Proposicionais: P, Q, R, S, T,... Conectivos Lógicos: Símbolos auxiliares: (, ), = Conectivo Leitura Símbolo Símbolos
Os Fundamentos: Lógica de Predicados
Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG - 2019/01
Lógica A lógica fornece-nos regras e técnicas para determinar se um argumento é válido. Matemática. Lógica Demonstração de teoremas
Lógica Lógica A lógica fornece-nos regras e técnicas ara determinar se um argumento é válido. Matemática Lógica Demonstração de teoremas Ciências de comutação Lógica erificação de rogramas ida corrente
Raciocínio Lógico para ANALISTA TÉCNICO EM MATERIAL E PATRIMÔNIO CÂMARA DOS DEPUTADOS Aula Demonstrativa Professor: Karine Waldrich
Aula 00 Raciocínio Lógico para ANALISTA TÉCNICO EM MATERIAL E PATRIMÔNIO CÂMARA DOS DEPUTADOS Aula Demonstrativa Professor: Karine Waldrich www.pontodosconcursos.com.br 1 Aula 00 Aula Demonstrativa Oi,
Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.
Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.
Aula demonstrativa Apresentação... 2 Modelos de questões resolvidas IBFC... 3
Aula demonstrativa Apresentação... 2 Modelos de questões resolvidas IBFC... 3 www.pontodosconcursos.com.br 1 Apresentação Olá, pessoal Tudo bem com vocês? Em breve teremos o concurso do TCM/RJ e sabemos
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: [email protected]
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
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
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
Lógica Proposicional
Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado
Prova de Agente de Polícia Federal 2012 (CESPE) Solução e Comentários de Raciocínio Lógico Professor Valdenilson. Caderno de Questões Tipo I
Prova de Agente de Polícia Federal 01 (CESPE) Solução e Comentários de Raciocínio Lógico Professor Valdenilson Caderno de Questões Tipo I Texto 1. Um jovem, ao ser flagrado no aeroporto portando certa
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
RACIOCÍNIO LÓGICO. Raciocínio Lógico Ficha 1 Prof. Nelson Carnaval
RACIOCÍNIO LÓGICO Lógica proposicional Chama-se proposição toda sentença declarativa que pode ser classificada em verdadeira ou falsa, mas não as duas. Letras são usualmente utilizadas para denotar proposições.
DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS DA NATUREZA CRITÉRIOS ESPECÍFICOS DE AVALIAÇÃO
DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS DA NATUREZA CRITÉRIOS ESPECÍFICOS DE AVALIAÇÃO (Aprovados em Conselho Pedagógico de 27 de outubro de 2015) AGRUPAMENTO DE CLARA DE RESENDE CÓD. 152 870 No caso específico
LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014
LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 1) Determinar o valor verdade da proposição (p q) r, sabendo-se que AL (p) =, AL (q) = e AL (r) =. Proposições são afirmações que podem ser julgadas como verdadeira
5 AULA. Teorias Axiomáticas LIVRO. META: Apresentar teorias axiomáticas.
1 LIVRO Teorias Axiomáticas 5 AULA META: Apresentar teorias axiomáticas. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Criar teorias axiomáticas; Provar a independência dos axiomas de uma
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
O gráfico da função constante é uma reta paralela ao eixo dos x passando pelo ponto (0, c). A imagem é o conjunto Im = {c}.
UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E TECNOLÓGICAS CURSO DE ENGENHARIA CIVIL DISCIPLINA: FUNDAMENTOS DE MATEMÁTICA Funções do 1 o Grau Prof.:
Raciocí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,...
