Prof. João Giardulli. Unidade I LÓGICA
|
|
|
- Norma Fortunato Brezinski
- 6 Há anos
- Visualizações:
Transcrição
1 Prof. João Giardulli Unidade I LÓGICA
2 Introdução A primeira qualidade do estilo é a clareza. Aristóteles
3 Introdução Aristóteles é considerado o precursor da lógica. Aristóteles ( a.c.)
4 Introdução Alguns matemáticos: Leibniz ( ) Leonard Euler ( ) Augustus De Morgan ( ) George Boole ( ) Alfred North Whitehead ( ) Bertrand Russell ( )
5 Introdução Claude E. Shannon: Em 1938 mostrou a aplicação da Álgebra de Boole na análise de circuitos de relés, o que serviu de base para o desenvolvimento da teoria dos interruptores.
6 Introdução A lógica é: o estudo da razão ou o estudo do raciocínio.
7 Introdução A lógica é: O estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto. Irving Copi
8 Proposições e conectivos Proposição: Conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. (ALENCAR FILHO, 2002) Ex.: Madrid é a capital da Espanha.
9 Proposições e conectivos Proposição: É uma sentença declarativa que pode ser como verdadeira ou falsa. Cristóvão Colombo descobriu o Brasil.
10 Proposições e conectivos Proposição: Não pode ser ambígua. Suscitar dúvida. Eu vi uma foto sua no metrô.
11 Proposições e conectivos Proposição: Não pode ser ambígua. Suscitar dúvida. Eu vi uma foto sua no metrô. Quem estava no metrô? Eu ou você?
12 Leis fundamentais I. Princípio da identidade: todo objeto é idêntico a si mesmo.
13 Leis fundamentais I. Princípio da identidade: todo objeto é idêntico a si mesmo. II. Princípio da não contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo.
14 Leis fundamentais I. Princípio da identidade: todo objeto é idêntico a si mesmo. II. Princípio da não contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo. III. Princípio do terceiro excluído: toda proposição ou é verdadeira ou é falsa.
15 Leis fundamentais I. Princípio da identidade: todo objeto é idêntico a si mesmo. II. Princípio da não contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo. III. Princípio do terceiro excluído: toda proposição ou é verdadeira ou é falsa. A lógica matemática é uma lógica bivalente.
16 Valores lógicos das proposições O valor lógico de uma proposição ou é verdadeiro (V) se a proposição é verdadeira, ou é falso (F) se a proposição é falsa. Exemplo: a) O chumbo é mais pesado que a água. b) O sol gira em torno de Marte. Usando a notação: V(a) = V V(b) = F
17 Interatividade Qual das alternativas abaixo é verdadeira: a) Cos π/2 = 0 b) Cervantes escreveu os Sertões. c) O número 17 é um número igual 29. d) O sol gira em torno da terra. e) 0! = 0
18 Proposições simples e compostas Proposição simples: É aquela que não pode ser subdividida em outras proposições.
19 Proposições simples e compostas Proposição simples: É aquela que não pode ser subdividida em outras proposições. Convenção: As proposições simples são geralmente designadas pelas letras latinas minúsculas p, q, r, s etc.
20 Proposições simples e compostas Exemplos: p) João é careca. q) Alice é jogadora de futebol. r) O número 16 é ímpar.
21 Proposições simples e compostas Proposição composta: É aquela formada pela combinação de duas ou mais proposições.
22 Proposições simples e compostas Proposição composta: É aquela formada pela combinação de duas ou mais proposições. Convenção: As proposições compostas são habitualmente designadas pelas letras latinas maiúsculas P, Q, R, S etc.
23 Proposições simples e compostas Exemplos: p) João é careca e Alice é estudante. q) Alice é bonita ou Viviane é estudante. r) Se João é careca, então é infeliz.
24 Proposições simples e compostas Observações: As proposições compostas também costumam ser chamadas de fórmulas proposicionais ou apenas fórmulas. As proposições simples são também chamadas de átomos, pois, assim como o átomo, não são divisíveis, enquanto a proposição composta é chamada de molécula.
25 Proposições simples e compostas Observações: Quando interessa destacar ou explicitar que uma proposição composta P é formada pela combinação das proposições simples p, q, r etc., escreve-se: P (q, r, s etc.). Essas proposições simples serão chamadas de proposições componentes simples quando for o caso.
26 Proposições simples e compostas Observações: As proposições componentes de uma proposição composta podem ser, elas mesmas, proposições compostas.
27 Conectivos Definição: Chamam-se conectivos as palavras que se usam para formar novas proposições a partir de outras. (ALENCAR FILHO, 2002)
28 Conectivos Exemplos: p) O número 10 é par e o número 27 é impar. q) O quadrilátero ABCD é retângulo ou é quadrado. r) Não está quente. s) Se Roberto é físico, então sabe matemática. t) O triângulo ABC é equilátero se e somente se é equiângulo.
29 Tabela-verdade Considerando o princípio do terceiro excluído a proposição simples p terá a seguinte representação tabular: p V F chamada Tabela-verdade.
30 Tabela-verdade O valor lógico de qualquer proposição composta depende unicamente dos valores lógicos das proposições simples componentes, ficando por eles univocamente determinado. (ALENCAR FILHO, 2002)
31 Tabela-verdade Exemplo com duas proposições simples: p V V F F q V F V F
32 Tabela-verdade Exemplo com três proposições simples: p q r V V V V V F V F V V F F F V V F V F F F V F F F
33 Interatividade Construa a tabela-verdade para uma proposição composta P (p, q, r, s) e determine a quantas linhas ela possui: a) 16 linhas. b) 32 linhas. c) 64 linhas. d) 128 linhas. e) 256 linhas.
34 Operações lógicas sobre proposições Negação (~) p ~p V F F V
35 Operações lógicas sobre proposições Exemplos de negação (~) p: = 6 e ~p: q: 10 < 4 e ~q: 10 > 4 r: Brasília é a capital da Argentina (F) e ~r: Brasília não é a capital da Argentina.
36 Operações lógicas sobre proposições Observações: Nos casos mais simples, antepõe-se o advérbio não ao verbo da proposição.
37 Operações lógicas sobre proposições Observações: Nos casos mais simples, antepõe-se o advérbio não ao verbo da proposição. p: Ursa Maior é uma estrela. ~p: A Ursa Maior não é uma estrela.
38 Operações lógicas sobre proposições Observações: Outra maneira de efetuar a negação consiste em antepor à proposição dada expressões tais como não é verdade que, é falso que, por exemplo, a negação da proposição.
39 Operações lógicas sobre proposições Observações: Outra maneira de efetuar a negação consiste em antepor à proposição dada expressões tais como não é verdade que, é falso que, por exemplo, a negação da proposição. q: Jorge é jogador de futebol. ~q: Não é verdade que Jorge é jogador de futebol. ~q: É falso que Jorge é jogador de futebol.
40 Operações lógicas sobre proposições Cuidado! A negação de Todas as mulheres são amáveis é Nem todas as mulheres são amáveis
41 Operações lógicas sobre proposições Cuidado! A negação de Nenhuma mulher é amável é Alguma mulher é amável
42 Operações lógicas sobre proposições Representação no diagrama de Venn:
43 Operações lógicas sobre proposições Conjunção ( ): A conjunção de duas proposições p e q é proposição representada por p e q, cujo valor lógico é verdadeiro (V) quando as proposições p e q são ambas verdadeiras, e falso (F) nos demais casos.
44 Operações lógicas sobre proposições Conjunção ( ) Ou seja: V V = V, V F = F, F V = F, F F = F.
45 Operações lógicas sobre proposições Exemplos de conjunção ( ) p: A clara do ovo é branca (V) q: 3<7 (V) p q: A clara do ovo é branca e 3 < 7 (V) V(p q) = V(p) V( (q) = V V = V
46 Operações lógicas sobre proposições Exemplo de conjunção ( ) p: Enxofre é azul (F) q: 17 é um número primo (V) p q: Enxofre é azul e 17 é um número primo (F) V(p q) = V(p) V (q) = F V = F
47 Operações lógicas sobre proposições Representação no diagrama de Venn:
48 Operações lógicas sobre proposições Disjunção inclusiva ou soma lógica ( ) A disjunção de duas proposições p e q é proposição representada por p ou q, cujo valor lógico é verdadeiro (V) quando ao menos uma das proposições p e q é verdadeira, e falso (F) quando as proposições p e q são ambas falsas.
49 Operações lógicas sobre proposições Disjunção inclusiva ou soma lógica ( ) Ou seja: V V = V, V F = V, F V= V, F F = F
50 Operações lógicas sobre proposições Exemplos de disjunção ( ) p: Madrid é a capital da Espanha (V) q: 9-4 = 5 (V) p q: Madrid é a capital da Espanha ou 9-4 = 5 (V) V(p q) = V(p) V( (q) = V V = V
51 Operações lógicas sobre proposições Exemplos de disjunção ( ) p: Camões escreveu os Lusíadas (V) q: π = 3 (F) p v q: Camões escreveu os Lusíadas ou π = 3 (V) V(p q) = V(p) V( (q) = V F = V
52 Operações lógicas sobre proposições Representação no diagrama de Venn:
53 Operações lógicas sobre proposições Disjunção exclusiva (v) É proposição representada por p v q, que se lê: ou p ou q ou p ou q, mas não ambos; é verdadeira quando p e q possuem valores lógicos diferentes; é falsa (F) quando p e q possuem valores lógicos idênticos.
54 Operações lógicas sobre proposições Disjunção exclusiva (v) Ou seja: V V = F, V F = V, F V= V, F F = F.
55 Operações lógicas sobre proposições Exemplos de disjunção exclusiva (v) p: Maria é alagoana q: Maria é gaúcha p v q: Ou Maria é alagoana ou Maria é gaúcha. Como Maria não pode ser alagoana e gaúcha simultaneamente então: V(p v q)=v
56 Operações lógicas sobre proposições Representação no diagrama de Venn:
57 Operações lógicas sobre proposições Condicional ( ) É uma proposição representada por se p então q, cujo valor lógico é falso (F), no caso em que p é verdadeira e q é falsa e verdadeira (V) nos demais casos.
58 Operações lógicas sobre proposições Exemplos de condicional ( ) p: Galois morreu em um duelo (V) q: 3 é um número real (V) p q: Se Galois morreu em um duelo, então, 3 é um número real (V) V(p q) = V(q) V V = V
59 Operações lógicas sobre proposições Representação no diagrama de Venn:
60 Operações lógicas sobre proposições Bicondicional ( ) Ou seja: V V = V, V F = F, F V= F, F F = V.
61 Operações lógicas sobre proposições Exemplos de bicondicional ( ) p: Rússia fica na Europa (V) q: A grama é verde (V) p q: Rússia fica na Europa se e somente se a grama é verde (V) V(p q) = V(p) V (q) = V V = V
62 Operações lógicas sobre proposições Exemplos de bicondicional ( ) p: Einstein descobriu o Brasil (F) q: Tiradentes foi um mártir (V) p q: Einstein descobriu o Brasil se, e somente se, Tiradentes foi um mártir (F) V(p q) = V(p) V (q) = F V = F
63 Operações lógicas sobre proposições Representação no diagrama de Venn:
64 Interatividade Escreva a sentença abaixo utilizando a notação proposta para as proposições simples e seus conectivos: Ou você é gordo ou você é magro. a) p: você é gordo; q: você é magro; p v q. b) p: você não é gordo; q: você é magro; p v q. c) p: você é gordo; q: você não é magro; p v q. d) p: você é gordo; q: você é magro; p q. e) p: você é gordo; q: você é magro; p v q.
65 Valor lógico de uma proposição composta Para toda proposição composta P (p, q, r,...), sempre se pode determinar o seu valor lógico (V ou F) quando são dados ou conhecidos os valores lógicos das proposições simples que a compõe p, q, r,...
66 Valor lógico de uma proposição composta Exemplo 1: Sabendo que os valores lógicos das proposições p e q são respectivamente V e F, determinar o valor lógico (V ou F) da proposição: P (p, q) = ~(p q) ~ p ~q
67 Valor lógico de uma proposição composta Exemplo 1: Sabendo que os valores lógicos das proposições p e q são respectivamente V e F, determinar o valor lógico (V ou F) da proposição: P (p, q) = ~(p v q) ~ p ~q ~(V v F) ~ V ~F
68 Valor lógico de uma proposição composta Exemplo 1: Sabendo que os valores lógicos das proposições p e q são respectivamente V e F, determinar o valor lógico (V ou F) da proposição: P (p, q) = ~(p v q) ~ p ~q ~(V v F) ~ V ~F ~V F V
69 Valor lógico de uma proposição composta Exemplo 1: Sabendo que os valores lógicos das proposições p e q são respectivamente V e F, determinar o valor lógico (V ou F) da proposição: P (p, q) = ~(p v q) ~ p ~q ~(V v F) ~ V ~F ~V F V F F
70 Valor lógico de uma proposição composta Exemplo 1: Sabendo que os valores lógicos das proposições p e q são respectivamente V e F, determinar o valor lógico (V ou F) da proposição: P (p, q) = ~(p v q) ~ p ~q ~(V v F) ~ V ~F ~V F V F F P (p, q) = V
71 Valor lógico de uma proposição composta Exemplo 2: Sabendo que: V (p) = V, V (q) = F e V (r) = F, Determinar o valor lógico (V ou F) da proposição: P (p, q, r) = (q (r ~p)) ((~q p) r)
72 Valor lógico de uma proposição composta Exemplo 2: P (p, q, r) = (q (r ~p)) ((~q p) r)
73 Valor lógico de uma proposição composta Exemplo 2: P (p, q, r) = (q (r ~p)) ((~q p) r) V (p) = V V (q) = F V (r) = F
74 Valor lógico de uma proposição composta Exemplo 2: P (p, q, r) = (q (r ~p)) ((~q p) r) V (p) = V V (q) = F V (r) = F V(P) = (F (F ~V)) v ((~F V) F)
75 Valor lógico de uma proposição composta Exemplo 2: P (p, q, r) = (q (r ~p)) ((~q p) r) V (p) = V V (q) = F V (r) = F V(P) = (F (F ~V)) v ((~F V) F) (F (F F)) v ((V V) F)
76 Valor lógico de uma proposição composta Exemplo 2: P (p, q, r) = (q (r ~p)) ((~q p) r) V (p) = V V (q) = F V (r) = F V(P) = (F (F ~V)) v ((~F V) F) (F (F F)) v ((V V) F) (F V) v (V F)
77 Valor lógico de uma proposição composta Exemplo 2: P (p, q, r) = (q (r ~p)) ((~q p) r) V (p) = V V (q) = F V (r) = F V(P) = (F (F ~V)) v ((~F V) F) (F (F F)) v ((V V) F) (F V) v (V F) F v F
78 Valor lógico de uma proposição composta Exemplo 2: P (p, q, r) = (q (r ~p)) ((~q p) r) V (p) = V V (q) = F V (r) = F V(P) = (F (F ~V)) v ((~F V) F) (F (F F)) v ((V V) F) (F V) v (V F) F v F F
79 Ordem de precedência dos conectivos (1) Maior precedência: ~ (mais fraco ) (2) (3) (4) (5) Menor precedência: (mais forte )
80 Ordem de precedência dos conectivos Exemplos: ~p v q = (~p) v q ~p q r s = ((~p) q) (r s) p q s r = (p q) (s r)
81 Tautologia, contradição e contingência Definição: Tautologia é toda proposição composta P(p, q, r,...) cujo valor lógico é sempre V (verdade), quaisquer que sejam os valores lógicos das proposições simples p, q, r,... Que a compõe.
82 Tautologia, contradição e contingência Exemplo: A proposição p (q ~q) p é tautológica, conforme mostra a tabelaverdade:
83 Tautologia, contradição e contingência Exemplo: A proposição p r ~q r é tautológica, conforme mostra a tabela-verdade:
84 Tautologia, contradição e contingência Definição: Contradição é toda proposição composta P(p, q, r,...) cujo valor lógico é sempre F (falso), quaisquer que sejam os valores lógicos das proposições simples p, q, r,... que a compõe.
85 Tautologia, contradição e contingência Exemplo: A proposição p ~p é contraditória, conforme mostra a tabela-verdade:
86 Tautologia, contradição e contingência Exemplo: A proposição (p q) ~(p q) é contraditória, conforme mostra a tabelaverdade:
87 Tautologia, contradição e contingência Definição: Contingência é toda proposição composta P(p, q, r,...) cujo valor lógico depende dos valores lógicos das proposições simples p, q, r,... que a compõe.
88 Tautologia, contradição e contingência Exemplo: A proposição (p q) ~(p q) é contraditória, conforme mostra a tabelaverdade, porém, as colunas intermediárias são contingências.
89 Interatividade Qual das proposições compostas abaixo é tautológica. a) [(p q) (q p)] (p q). b) (p q) (q p). c) p q. d) p v q. e) q q.
90 ATÉ A PRÓXIMA!
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.
Fundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
Lóg L ica M ca at M em e ática PROF.. J EAN 1
Lógica Matemática PRO. JEAN 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição alor Lógico Proposição Simples e Proposição Composta Conectivos Tabela-erdade 2 LÓGICA MATEMÁTICA INTRODUÇÃO ao
Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES
Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira
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;
Ló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
CCAE. Lógica Aplicada a Computação - Cálculo Proposicional - Parte I. UFPB - Campus IV - Litoral Norte. Centro de Ciências Aplicadas e Educação
CCAE Centro de Ciências Aplicadas e Educação UFPB - Campus IV - Litoral Norte Lógica Aplicada a Computação - Cálculo Proposicional - Parte I Estes slides foram criados pelo Professor Alexandre Duarte Para
Proposições e Conectivos
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Proposições e Conectivos Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
Matemática Computacional
Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional
Bacharelado em Sistemas de Informação Lógica Matemática Prof.ª Dr.ª Donizete Ritter Introdução ao Cálculo Proposicional 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição Valor Lógico Proposição
Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto
Álgebra das Proposições Prof. Guilherme Tomaschewski Netto guilherme.netto@gmail.com Roteiro! Lógica Matemática clássica! Proposições! alores lógicos! Conectivos! Fórmulas Lógicas! Exemplos de aplicações
Lógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
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
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,
Antonio 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.
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
OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL. APOSTILA 4 Construção de Tabelas-Verdade
OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 4 Construção de Tabelas-Verdade Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva juliocesar@eloquium.com.br Alterações eventuais
Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
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
Matemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Prof. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Lógica Matemática Aula 2. Prof. Gerson Pastre de Oliveira
Lógica Matemática Aula 2 Prof. Gerson Pastre de Oliveira Conjunção (^) A conjunção de duas proposições quaisquer p,q é a proposição representada por p e q, ocorrendo o valor lógico V quando ambas proposições
Professor conteudista: Ricardo Holderegger
Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4
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
Campos Sales (CE),
UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:
Ló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
Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti
Unidade I LÓGICA Profa. Adriane Paulieli Colossetti O que é lógica A lógica ensina a colocar ordem no pensamento. Sistemas Dicotônicos Proposições: São sentenças declarativas, que satisfazem três princípios
22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo
Conteúdo 1. Conceitos Iniciais... 6 2. Proposições [1]... 7 3. Proposições [2] Tautologia - Contradição - Contigência... 8 4. Não são Proposições... 9 5. Lógica argumentativa Negação... 10 6. Lógica argumentativa
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
LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E Autora: Prof. Dra. Denise Candal
LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E COMPOSTAS Rafael D. Ribeiro, M.Sc. rafaeldiasribeiro@gmail.com htt://www.rafaeldiasribeiro.com.br Autora: Prof. Dra. Denise Candal 1 Definição: Chama-se roosição
Proposições simples e compostas
Revisão Lógica Proposições simples e compostas Uma proposição é simples quando declara algo sem o uso de conectivos. Exemplos de proposições simples: p : O número 2 é primo. (V) q : 15 : 3 = 6 (F) r :
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Disciplina: Lógica Computacional I Professora: Juliana Pinheiro Campos Data: 25/08/2011 Lista
RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS
1 RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 2 TIPOS DE PROPOSIÇÃO Simples ou Atômicas Oscar é prudente; Mário é engenheiro; Maria é morena. 3 TIPOS DE PROPOSIÇÃO Composta ou Molecular Walter é engenheiro E
Lógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
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
Introdução à Programação I
Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem
Matemática Régis Cortes. Lógica matemática
Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos
Raciocínio Lógico Matemático Cap. 2 Lógica Matemática
Raciocínio Lógico Matemático Cap. 2 Lógica Matemática Capítulo2 1. Lógica Matemática No primeiro capítulo, discutimos uma série de conceitos atrelados à lógica de uma forma geral, mas de forma tendenciosa
O 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
Operações Lógicas sobre Proposições
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Operações Lógicas sobre Proposições Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
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
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
Ao 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
Prof. 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
2016 / 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
Universidade Federal Rural de Pernambuco Departamento de Matemática Disciplina: Elementos de Lógica Matemática Prof a Yane Lísley
Universidade Federal Rural de Pernambuco Departamento de Matemática Disciplina: Elementos de Lógica Matemática Prof a Yane Lísley 1 a Lista de Exercícios 1. Determinar o valor lógico (V ou F) de cada uma
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
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
Lógica Matemática 1. Semana 7, 8 e 9. Material Previsto para três semanas
Lógica Matemática 1 Semana 7, 8 e 9. Professor Luiz Claudio Pereira Departamento Acadêmico de Matemática Universidade Tecnológica Federal do Paraná Material Previsto para três semanas Implicação e equivalência
MATEMÁ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
Fundamentos de lógica matemática
Fundamentos de lógica matemática Alexandre Luis Magalhães Levada 30 de novembro de 2011 Sumário APRESENTAÇÃO 7 1 Lógica proposicional: introdução, conceitos básicos e operadores lógicos 9 1.1 Primeiras
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
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
Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009
Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2
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
Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14
Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...
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:
3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.
Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório
Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior
Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;
LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:
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 loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
n. 3 Construção de Tabelas-Verdade
n. 3 Construção de Tabelas-Verdade Dadas várias proposições simples: p, q, r, s,..., podemos combiná-las pelos conectivos lógicos: Negação (~) ou ( ) Conjunção ( ) Disjunção ( ) Condicional ( ) Bicondicional
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...
Prof.ª Dr.ª Donizete Ritter. MÓDULO I PARTE 2: Lógica Proposicional
Bacharelado em Sistemas de Informação Disciplina: Lógica Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE 2: Lógica Proposicional 1 OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES Os conectivos lógicos são responsáveis
A Lógica Matemática se ocupa da análise e relações entre certas sentenças, quase sempre de conteúdo matemático, chamadas proposições.
Capítulo 1 CÁLCULO PROPOSICIONAL 1. PROPOSIÇÕES E CONECTIVOS A Lógica Matemática se ocupa da análise e relações entre certas sentenças, quase sempre de conteúdo matemático, chamadas proposições. Uma proposição
Cá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
1. Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa
Raciocínio Lógico Lógica estuda as formas ou estruturas do pensamento, isto é, seu propósito é estudar e estabelecer propriedades das relações formais entre as proposições. DEFINIÇÃO: Proposição: conjunto
Programa. Raciocínio Lógico Matemático. Livros. Provas
Programa Raciocínio Lógico Matemático Prof. RANILDO Introdução à lógica. Lógica proposicional Argumento Tabela-verdade Tautologias, Contradições e Contingências Operações lógicas Livros Introdução à Lógica
Gestã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
Introdução. História. História 18/03/2012. Lógica para Ciência da Computação. O que é Lógica?
IFMG-Formiga Introdução Lógica para Ciência da Computação O que é Lógica? É a formalização de linguagem e raciocínio, além de meios para expressar (dar significado) a essas formalizações. Profª. Danielle
LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:
LÓGICA COMPUTACIONAL Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica 1 CODIFICAÇÃO DA CONJECURA DE COLLATZ QUE FALEI NA AULA PASSADA. 2 3 4 A lógica é usada para guiar
Fundamentos de Lógica Lógica Proposicional
Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos
NHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
Lógica. História da Lógica
1 Lógica História da Lógica A história da lógica começa com os trabalhos do filósofo grego Aristóteles (384-322 a.c.) de Estagira (hoje Estavro), na Macedônia, não se conhecendo precursores de sua obra,
Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência.
Unidade 1 Sentenças e Representação simbólica Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência. 1 Introdução e Conceitos Iniciais: Geralmente nos expressamos, em português,
Exercí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
Lógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Linguagem informal x linguagem formal; Linguagem proposicional: envolve proposições e conectivos,
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
LÓGICA PROPOSICIONAL Prof. Cesar Tacla/UTFPR/Curitiba Slides baseados no capítulo 1 de DA SILVA, F. S. C.; FINGER M. e de MELO A. C. V.. Lógica para Computação. Thomson Pioneira Editora, 2006. Conceitos
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,
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
Raciocínio lógico matemático
Raciocínio lógico matemático Unidade 2: Introdução à lógica Seção 2.3 Equivalências, contradições e tautologias 1 Proposições compostas Composta de duas ou mais proposições simples Tanto a primeira como
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
Súmario APRESENTAÇÃO DA COLEÇÃO...13
Súmario APRESENTAÇÃO DA COLEÇÃO...13 CAPÍTULO I LÓGICA PROPOSICIONAL...15 1. Lógica Proposicional...15 2. Proposição...15 2.1. Negação da Proposição...18 2.2. Dupla Negação...19 2.3. Proposição Simples
Concurso Público Conteúdo
Concurso Público 2016 Conteúdo Estrutura lógica de relações arbitrárias entre pessoas, lugares, objetos ou eventos fictícios; deduzir novas informações das relações fornecidas e avaliar as condições usadas
Ló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
Matemática para controle:
Matemática para controle: Introdução à Lógica Amit Bhaya, Programa de Engenharia Elétrica COPPE/UFRJ Universidade Federal do Rio de Janeiro amit@nacad.ufrj.br http://www.nacad.ufrj.br/ amit Introdução
Fundamentos 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
Ló gica. Para Concursos Públicos. Professor Luiz Guilherme
Ló gica Para Concursos Públicos Professor Luiz Guilherme 2014 1 Lógica Para Concursos Públicos Proposição... 2 Valor Lógico das Proposições... 2 Axiomas da Lógica... 2 Tabela Verdade:... 3 Conectivos:...
Fundamentos de lógica matemática
Coleção UAB UFSCar Sistemas de Informação Alexandre Luis Magalhães Levada Fundamentos de lógica matemática Fundamentos de lógica matemática Reitor Targino de Araújo Filho Vice-Reitor Pedro Manoel Galetti
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
Lógica Proposicional (cont.)
Lógica Proposicional (cont.) Conectivos lógicos Conjunção (e: ^) Disjunção (ou: v) Negação (não : ~) Condicional (se...então: ) Bicondicional (se somente se: ) 1 Negação de um proposição composta Negar
LÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
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
18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA A lógica está
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
Nome do aluno: N.º: Turma:
Teste de Matemática A 2017 / 2018 Teste N.º 1 Matemática A Duração do Teste: 90 minutos NÃO É PERMITIDO O USO DE CALCULADORA 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Na resposta aos itens de
Noções de lógica matemática Conceitos Básicos
Conceitos Básicos CH f Noções de lógica matemática Conceitos Básicos CH 1 Conceitos Básicos - E CH CH f ^ Noções de lógica matemática Conceitos Básicos - E CH CH ^ 2 Conceitos Básicos - OU CH CH f Noções
Lógica,Linguagem e Comunicação-LLC
Lógica,Linguagem e Comunicação-LLC Introdução a Lógica Prof. Fabrício Rossy de Lima Lobato fabriciorossy@ig.com.br Agenda Introdução Lógica Lógica Formal Proposições Implicação Lógica Argumentação Quantificadores