MAT I Solução dos Exercícios para os dias 20, 25 e 27/08/ Simbolize as sentenças a seguir, definindo as letras de proposição usadas.
|
|
- Oswaldo de Paiva Alcântara
- 7 Há anos
- Visualizações:
Transcrição
1 MAT I Solução dos Exercícios para os dias 20, 25 e 27/08/04 1. Simbolize as sentenças a seguir, definindo as letras de proposição usadas. a. A B, onde A:= Alfredo gosta de dançar e B:= Alfredo gosta de tocar violão. b. A B, onde A:= Bernardo vai comprar um livro de fantasia e B:= Bernardo vai comprar um disco de rock. c. A (B C), onde A:= Clarisse vai à festa, B:= Clarisse vai usar um vestido branco e C:= Clarisse vai usar um vestido rosa. d. (A B) (A C), onde A:= vai chover, B:= Daniel vai visitar sua avó e C:= Daniel vai à praia. e. A B, onde A:= Eliana vai comprar um carro novo e B:= seu pai vai lhe dar dinheiro. f. A B (C D), onde A:= a festa está animada, B:= Fernando está de saída, C:= é cedo e D:= Gilda deverá chegar. g. (A B) A B, onde A:= Hélio vai ganhar na loteria e B:= Hélio vai viajar. 2. Convenções: A: Isabela é atriz; B: Juliana é bonita; C: Leandro canta bem; D: Marcelo é desenhista. a. Isabela é atriz. Mas Isabela não é atriz ou Juliana não é bonita. b. Se Isabela é atriz ou Juliana é bonita, então Leandro não canta bem. c. Se Isabela é atriz, então Juliana é bonita ou Leandro canta bem. d. Se Isabela é atriz, então Juliana é bonita e Leandro canta bem, ou Marcelo é desenhista. e. Isabela é atriz e Juliana é bonita. Ou Leandro canta bem e Marcelo é desenhista. f. Dizer que se Isabela é atriz então Juliana é bonita é equivalente a dizer que Isabela não é atriz ou Juliana é bonita. g. Se Isabela é atriz, então Juliana é bonita. Se Leandro canta bem, então Marcelo não é desenhista. Isabela é atriz ou Leandro canta bem. Portanto, Juliana é bonita ou Marcelo não é desenhista. h. Se Isabela é atriz, então Juliana é bonita. Se Juliana é bonita, então Leandro canta bem. Portanto, se Isabela é atriz, então Leandro canta bem. 3. Silogismo disjuntivo: P Q P P Q (P Q) P (P Q) P Q V V F V F V V F F V F V F V V V V V F F V F F V 4. A contrapositiva de um condicional é equivalente ao condicional: A B A B A B B A A B B A V V F F V V V V F F V F F V F V V F V V V F F V V V V V 1
2 5. A recíproca de um condicional não é equivalente ao condicional: A B A B B A A B B A V V V V V V F F V F F V V F F F F V V V 6. Identifique o antecedente e o conseqüente de cada proposição a seguir e simbolize-a. Depois escreva sua recíproca em português. a. A B, onde A:= Ana Paula vai à festa é o antecedente e B:= Carlos vai à festa é o conseqüente. Recíproca: Se Carlos for à festa, então Ana Paula também vai. b. A B, onde A:= haverá contratação de novos funcionários é o antecedente e B:= há verba no orçamento é o conseqüente. Recíproca: Se houver verba no orçamento, haverá contratação de novos funcionários. c. A B, onde A:= Brenda vai à festa é o antecedente e B:= Daniel vai à festa é o conseqüente. Recíproca: Se Daniel for à festa, então Brenda também vai. d. A B, onde A:= vai sair o empréstimo bancário é o antecedente e B:= haverá aquisição de novos equipamentos é o conseqüente. Recíproca: Uma condição necessária para a aquisição de novos equipamentos é sair o empréstimo bancário. Outra forma da recíproca: Se houver aquisição de novos equipamentos, então saiu o empréstimo bancário. e. A B, onde A:= Eliane vai comprar um carro é o antecedente e B:= seu pai vai lhe emprestar o dinheiro é o conseqüente. Recíproca: Eliane vai comprar um carro se seu pai lhe emprestar o dinheiro. Outra forma da recíproca: Se seu pai lhe emprestar o dinheiro, então Eliane vai comprar um carro. f. A B, onde A:= um animal está contaminado é o antecedente e B:= o rebanho inteiro será sacrificado é o conseqüente. Recíproca: Se o rebanho inteiro for sacrificado, então um animal estava contaminado. 7. Silogismo hipotético: A B C A B B C A C (A B) (B C) (A B) (B C) (A C) V V V V V V V V V V F V F F F V V F V F V V F V V F F F V F F V F V V V V V V V F V F V F V F V F F V V V V V V F F F V V V V V 8. A A é uma tautologia e A A é uma contradição: 2
3 9. Leis de De Morgan: a. (A B) (A B ): A A A A A A V F V F F V V F A B A B A B (A B) A B (A B) (A B ) V V F F V F F V V F F V F V V V F V V F F V V V F F V V F V V V b. (A B) A B : A B A B A B (A B) A B (A B) (A B ) V V F F V F F V V F F V V F F V F V V F V F F V F F V V F V V V 10. Negação de um condicional: 11. Dupla negação: A B B A B (A B) A B (A B) (A B ) V V F V F F V V F V F V V V F V F V F F V F F V V F F V A A A V F V F V F 12. Negação simbólica e em português das proposições do Exercício 2. a. [A (A B )] A (A B ) (por De Morgan) A ((A ) (B ) ) (por De Morgan) A (A B) (pela dupla negação) Em português: Isabela não é atriz. Ou Isabela é atriz e Juliana é bonita. b. [A B C ] (A B) (C ) (pelo Exercício 10) (A B) C (pela dupla negação) Em português: Isabela é atriz ou Juliana é bonita. Mas Leandro canta bem. c. [A B C] A (B C) (pelo Exercício 10) A B C (por De Morgan) Em português: Isabela é atriz, Juliana não é bonita e Leandro não canta bem. d. [A (B C) D] A [(B C) D] (pelo Exercício 10) A (B C) D (por De Morgan) A (B C ) D (por De Morgan) Em português: Isabela é atriz. Juliana não é bonita ou Leandro não canta bem. Marcelo não é desenhista. 3
4 e. [(A B) (C D)] (A B) (C D) (por De Morgan) (A B ) (C D ) (por De Morgan) Em português: Isabela não é atriz ou Juliana não é bonita. Leandro não canta bem ou Marcelo não é desenhista. f. [(A B) (A B)] {[(A B) (A B)] [(A B) (A B)]} (def. de ) {[(A B) (A B)]} {[(A B) (A B)]} (De Morgan) [(A B) (A B) ] [(A B) (A B) ] (Ex. 10) [(A B) A B ] [(A B) A B ] (De Morgan, dupla negação e Exercício 10) Em português: Se Isabela é atriz, então Juliana é bonita, mas Isabela é atriz e Juliana não é bonita. Ou então Isabela não é atriz ou Juliana é bonita, e Isabela é atriz e Juliana não é bonita. g. [(A B) (C D ) (A C) B D ] (A B) (C D ) (A C) (B D ) (Exercício 10) (A B) (C D ) (A C) B D (De Morgan, dupla neg.) Em português: Se Isabela é atriz, então Juliana é bonita. Se Leandro canta bem, então Marcelo não é desenhista. Mas Isabela é atriz ou Leandro canta bem. Além disso, Juliana não é bonita e Marcelo é desenhista. h. [(A B) (B C) (A C)] (A B) (B C) (A C) (Exercício 10) (A B) (B C) A C (Exercício 10) Se Isabela é atriz, então Juliana é bonita. Se Juliana é bonita, então Leandro canta bem. Mas Isabela é atriz e Leandro não canta bem. 13. Negação: a. (A B) A B, pelo Exercício 10. b. (A B ) A B, por De Morgan e pela dupla negação. c. ((A B) C ) (A B) C (A B ) C, onde usamos De Morgan duas vezes e a dupla negação. d. {A [(B C) D]} A [(B C) D] (pelo Exercício 10) A (B C) D (pelo Exercício 10) e. {[A (B C)] D} [A (B C)] D (pelo Exercício 10). f. [A (B C) ] A B C (pelo Exercício 10 e pela dupla negação). g. {(A B) C [A (B C) ] } [(A B) C ] [A (B C) ] (pelo Exercício 10 e pela dupla negação). 14. Vamos usar as seguintes notações: A:= meu cliente é inocente, B:= a faca estava na gaveta, C:= João viu a faca e D: o martelo estava no quarto. A simbolização fica: (A B) (B C) (C D) D A. Vamos denotar por P a proposição (A B) (B C) (C D) D. A tabela-verdade a seguir mostra que o argumento é válido, ou seja, a proposição P A é uma tautologia. 4
5 A B C D A B D A B B C C D P P A V V V V F F F V V V F V V V V F F F V V V F F V V V F V F F F V F V F V V V F F F F V V F V F V V F V V F V F V V V F V V F V F F V V V V F F V V F F V F V F V V V F V V F F F F V V V V V V V F V V V V F F V V V F V F V V F V F V V V F F V F V F V V F F V F V F V F V F F V F V V F V F V F F V V V V F F V V F V F F V F V V V F V F F V F F F V V V F F V V F V F F F F V V V F V V F V 5
Lógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 26 de Abril de 2017 Curso de Ciência da Computação Inferência Lógica Uma inferência lógica, ou, simplesmente uma inferência, é uma tautologia da forma
Leia maisLó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 maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia 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 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 maisLógica Proposicional (Consequência lógica / Dedução formal)
Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /
Leia maisLó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
Leia maisRegras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Regras de Inferência Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Argumentos Válidos em Lógica Proposicional Considere o argumento: Se João pensa, então João existe.
Leia maisLógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
Leia maisMatemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade
Leia maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 4 - ABRIL DE 2018 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
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 Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições
Leia 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 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 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 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 maisCoordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva
@ LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q: ~ p 3) Proposição contra positiva de p q: ~ p ex. Determinar:
Leia maisDepartamento de Engenharia Informática da Universidade de Coimbra
Departamento de Engenharia Informática da Universidade de Coimbra Estruturas Discretas 2013/14 Folha 1 - TP Lógica proposicional 1. Quais das seguintes frases são proposições? (a) Isto é verdade? (b) João
Leia maisExercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues
Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues As respostas encontram-se em itálico. 1. Quais das frases a seguir são sentenças? a. A lua é feita de queijo verde. erdadeira, pois é uma
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 maisLó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 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 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 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 maisGrupo I ( traduções) Simboliza cada uma das proposições que se seguem. Não esquecer do dicionário. Grupo II ( tabelas) Grupo III ( inspetores)
Grupo I ( traduções) Simboliza cada uma das proposições que se seguem. Não esquecer do dicionário. a) O João vai à praia se e só se não tiver almoçado e fizer bom tempo b) Se os alunos jogam futebol no
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 maisNoçõ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 maisLó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 maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Argumento Sequência de sentenças......uma das quais se afirma verdadeira
Leia maisA 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
Leia maisLÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q :
LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q : ~ p 3) Proposição contra positiva de p q : ~ p ex. Determinar:
Leia maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia: Banco de dados e Sistemas para Internet Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL EXERCÍCIOS
Leia maisn. 11 Argumentos e Regras de Inferência
n. 11 Argumentos e Regras de Inferência A lógica formal lida com um tipo particular de argumento, denominado de argumento dedutivo, que nos permite deduzir uma conclusão Q, com base num conjunto de proposições
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 maisTutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Inclusão Operações com conjuntos
Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Є (pertence) ou Є (não pertence) Sempre verificando de elemento para conjunto { } ou Ø = vazio {Ø} = conjunto com elemento vazio
Leia maisFundamentos 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 maisLógica Computacional
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RN CAMPUS NATAL ZONA NORTE LICENCIATURA EM INFORMÁTICA Aula 01: Apresentação da Disciplina Francisco Júnior E-mail: francisco.junior@ifrn.edu.br Website:
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 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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisSilogismos Categóricos e Hipotéticos
Silogismos Categóricos e Hipotéticos Resumo elaborado por Francisco Cubal Apenas para publicação em Resumos.tk Primeiros objectivos a alcançar: Reconhecer os quatro tipos de proposições categóricas. Enunciar
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 maisProf. João Giardulli. Unidade III LÓGICA
Prof. João Giardulli Unidade III LÓGICA Objetivo Apresentar os seguintes conceitos: argumento; verificação da validade. Argumento: Algumas definições (dicionário): 1. Raciocínio através do qual se tira
Leia maisLógica de Programação
Lógica de Programação Autor: Jusdewbe Tatiane de Souza Mora 1 Introdução: LÓGICA O estudo da Lógica, é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto. Esta definição
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 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 maisNHI 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 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 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 maisCálculo proposicional
Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas
Leia 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 maisPara provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
Leia mais3 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 maisLógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
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 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 maisCAPÍTULO 4 Cálculo proposicional
CÁLCULO PROPOSICIONAL 1. PROPOSIÇÕES Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas não ambas. As proposições podem ser divididas em proposições simples e compostas. 1.1.
Leia maisMatemática & Raciocínio Lógico
Matemática & Raciocínio Lógico para concursos Prof. Me. Jamur Silveira www.professorjamur.com.br facebook: Professor Jamur RACIOCÍNIO LÓGICO: Proposições logicamente equivalentes (Símbolo ) São proposições
Leia maisO que você está fazendo? Português 103 Prof. García Meléndez Universidad del Este
O que você está fazendo? Português 103 Prof. García Meléndez Universidad del Este Serei capaz de Falar das coisas que eu estou fazendo neste momento Comunicar as coisas que eu posso fazer e as coisas que
Leia maisApresentação do curso
Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica 2 Conteúdo
Leia maisn. 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á
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 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 maisFundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi Argumentos e Exercícios de Revisão
GMA DEPARTAMENTO DE MATEMÁTICA APLICADA Fundamentos de Matemática Lista de Exercícios Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 04 Argumentos e Exercícios de Revisão [01] (Exercício
Leia maisApresentação do curso
Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica
Leia maisRaciocí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
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 maisLogica para computação
Logica para computação Lógica Informal: Argumentos l Um argumento é uma sequência de proposições na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão. Exemplo
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar
Leia maisLógica Computacional
Aula Teórica 9: Forma Normal Conjuntiva Departamento de Informática 21 de Março de 2011 O problema Como determinar eficazmente a validade de uma fórmula? Objectivo Determinar a validade de raciocínios
Leia maisFundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível
Leia maisO que é lógica? Lógica é a análise de métodos de raciocínio. Lívia Lopes Azevedo
Apresentação Plano de ensino Curso Conceitos básicos de lógica lógica proposicional Comportamento analógico e digital Álgebra booleana e circuitos lógicos Circuitos combinacionais Circuitos sequenciais
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 maisFundamentos 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
Leia maisFRENTE : B PÁGINA : 6 EXERCÍCIO : SALA 2
FRENTE : B PÁGINA : 6 EXERCÍCIO : SALA 1 a) (V) b) ( ) Não é proposição. c) (F) d) ( ) Não é proposição. e) (V) f) ( ) Não é proposição. g) ( ) Não é uma proposição e sim uma sentença aberta, pois depende
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 maisFundamentos de Lógica Matemática
Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise
Leia maisProposiçõ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 maisMaté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
Leia maisTABELA 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 maisIntrodução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional - Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisProposições são sentenças que podem ser julgadas como verdadeiras - V - ou falsas - F -, mas não como ambas, simultaneamente. As proposições são
Proposições são sentenças que podem ser julgadas como verdadeiras - V - ou falsas - F -, mas não como ambas, simultaneamente. As proposições são freqüentemente representadas por letras maiúsculas e, a
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 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 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 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 mais2. Justifique cada passo na demonstração do seguinte argumento: a) A (B C), B, C A 1 A (B C) 2 B 3 C 4 B C 5 (B C) 6 A
Exercícios 1. Prove os argumentos (miscelânea): a) O participante vai ao paredão se o líder o indica ou os colegas o escolhem. Se o participante vai ao paredão e chora, então ele conquista o publico. Se
Leia maisUniversidade do Vale do Rio dos Sinos - UNISINOS. Apostila da Disciplina de. Lógica. Prof. João Carlos Gluz
Universidade do Vale do Rio dos Sinos - UNISINOS Apostila da Disciplina de Lógica Prof. João Carlos Gluz São Leopoldo, março de 2009 UNISINOS Lógica Apostila 1 Sumário CAPÍTULO 1 LÓGICA PROPOSICIONAL...1
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 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 mais1 Demonstrações: linguagem
1 Demonstrações: linguagem O trabalho dos matemáticos, de um modo geral, é descobrir e comunicar certas verdades e uma demonstração é um argumento cujo objetivo é convencer outras pessoas de que algo é
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 maisCom relação a lógica sentencial, contagem e combinação, julgue os itens a seguir.
Considerando-se como V a proposição "Sem linguagem, não há acesso à realidade", conclui-se que a proposição "Se não há linguagem, então não há acesso à realidade" é também V. Certo Errado Com relação a
Leia maisLÓGICA E CONJUNTO. Professor: Adriano Sales
LÓGICA E CONJUNTO Professor: Adriano Sales LÓGICA Qual é o significado de argumentação? Segundo o dicionário Houaiss é: ARGUMENTAÇÃO: Arte, ato ou efeito de argumentar; Troca de palavras em controvérsia
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 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 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 mais