MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP
|
|
- Gabriel Henrique Fortunato Escobar
- 7 Há anos
- Visualizações:
Transcrição
1 1 MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP
2 2 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 Proposições simples a) Pedro é aluno do Curso de Informática. b) A terra gira em torno do sol. c) O leite é branco. d) 7 é quadrado perfeito Proposições compostas e) Cabral descobriu o Brasil e Colombo a América. f) Bruno cursa Informática e Mariel Estatística. g) O triângulo ABC é isóscele ou retângulo. h) Se Pedro é estudioso, então será aprovado. i) ABC é triângulo eqüilátero se, e somente se, é eqüiângulo Princípio da não contradição Uma proposição não pode ser verdadeira e falsa ao mesmo tempo. São verdadeiras (a), (b) e (c) e falsa (d) Princípio do terceiro excluído. Toda proposição ou é verdadeira ou falsa. Sempre ocorre esses casos e nunca um terceiro. 2. Operações lógicas O cálculo das proposições consiste nas operações fundamentais que partem de proposições simples para se chegar às proposições compostas. As operações que podem ser efetuadas são: A negação, a conjunção, a disjunção, a condicional e a bicondicional Conectivos O Cálculo das proposições destaca cinco operadores lógicos, a saber:...não...(denota-se )... e... (denota-se )...ou...(denota-se )...se,... então... (denota-se )...se, e somente se... (denota-se )
3 3 O primeiro operador é dito unário, pelo fato de operar sobre um só operando; os demais são operadores binários, já que operam sobre dois operandos Negação É a mais simples operação-verdade. Se a proposição A é verdadeira, então falsa, se A é falsa, então A é verdadeira. A é A: 2/3 é um número racional. (verdade) A: 2/3 não é um número racional. (falso) ou A: 2/3 é um número irracional. (falso) Tabela verdade para a negação A A A A V F 1 0 F V Conjunção ( ) Essa operação-verdade corresponde ao termo e e seu símbolo é. Por meio da conjunção é possível, dadas duas proposições simples A e B obter-se outra composta A B que será verdadeira somente quando A e B forem verdadeiras. A: Recife é a capital de Pernambuco. B: Manaus é a capital do Amazonas. A B: Recife é a capital de Pernambuco e Manaus é a capital do Amazonas. Exemplo 01. A B A B A B A B V V V V F F F V F F F F José de Alencar escreveu o Guarani e Machado de Assis Capitu. ( V V = V) 5+2=7 e 3> 5. ( V F = F ) > 4 e 7 é número primo. ( F V = F ) > 4 e 8 é número ímpar. ( F F = F )
4 Disjunção ( ) Essa operação-verdade corresponde ao termo ou e seu símbolo é. Por meio da disjunção é possível, dadas duas proposições simples A e B obter-se outra composta A B que será falsa somente quando A e B forem falsas. A: Recife é a capital de Pernambuco. B: Manaus é a capital do Amazonas. A B: Recife é a capital de Pernambuco ou Manaus é a capital do Amazonas. Exemplo 02. A B A B A B A B V V V V F V F V V F F F =4 ou 5>3 ( V V = V) 4 ou 7 é número primo. ( F V =V) 4 ou 8 é número primo. ( F F =F ) 2.5. Condicional ( ) Se chover, então irei ao cinema. Se estudar, então serei aprovado. Seja A: estudar B: serei aprovado A partir de duas proposições A e B, construímos uma nova proposição A B (se A, então B) ou A implica B. A tabela verdade é dada por: A B A B A B A B V V V V F F F V V F F V 0 0 1
5 5 Observação 01: Da teoria dos conjuntos sabemos que A B B ou A B A, assim, se x A B, então x B, isto é, sempre é verdade que se x está em A B, então x B Logo, na tabela A B B é sempre verdadeira. está em. A B A B A B B V V V V V V V F F F V F F V F F V V F F F F V F Observando as três últimas colunas podemos escrever: V V = V F F = V F V = V Observação 02: Uma proposição A independente do valor de B. Observação 03: Uma proposição A B é sempre Verdadeira (V) desde que A seja Falsa (F), B é Verdadeira sempre que B é verdadeira. Exemplo 03. 1) Se =5, então 1 1 (verdade) 2) Se =5, então 1 = 1 (verdade) 3) Se o Papa joga no Corinthians, então o Palmeiras será campeão. 3) Se o Papa joga no Corinthians, então todos os alunos de Matemática Discreta serão aprovados. Observação 04: As proposições no Exemplo 03 são trivialmente verdadeiras pois, A : =5 ou A: O Papa joga no Corinthians,são falsas Bicondicional ( ) Encontramos com freqüência a forma: A se, e somente se, B que é definida por (A B) ( B A) 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 6 Segue, portanto, a tabela verdade para a bicondicional. A B A B A B A B V V V V F F F V F F F V Exercícios de aplicação 01: Escreva em linguagem corrente. 1) A: Está frio. B: Está chovendo. a) A: b) A B: c) A B: d) A B; e) A B: f) A B: g) A B: 2) Analogamente: A: Pedro é aluno de ADS B: ADS é Curso da Fatec SP 3) Escreva em linguagem simbólica as sentenças. p: Carolina é alta. q: Carolina é elegante. a) Carolina é alta e elegante. b) Carolina é alta mas não é elegante. c) É falso, que Carolina é baixa ou elegante. d) Carolina não é nem baixa nem elegante. e) Carolina é alta, ou ela é baixa e elegante. 4) Dar o valor lógico das proposições. a) Porto Alegre é a capital do Estado do Paraná ou 10 é par. ( )
7 7 b) Se 3 >, então 2 é racional. ( ) c) Se 3 >, então o Corinthians será campeão Paulista de ( ) d) Se 1 1, então ( ) e) 2+3=5 se, e somente se ( ) f) se, e somente se 2+2+2=6. ( ) 2.7. Formas sentenciais Quando estudamos as expressões numéricas, observamos expressões com as operações de adição, subtração, multiplicação e divisão organizadas com parênteses, colchetes e chaves. Da mesma forma ocorrem as formas sentenciais usando,,, e Tabelas-verdade Para cada forma sentencial podemos montar uma tabela-verdade. Exemplo 04. Construir a tabela verdade relativa à forma sentencial [( A B) ( A C)] ( B C ) A B C A B A A C C B C V V V V F V F F F V V F V F F F V V V F V F F V V F F V F F F F F V V F F V V V V V F F F F V F V V V V V V F F V V V V F F F F F F V V V F V F
8 8 Exemplo 05. Construir a tabela verdade relativa à forma sentencial [( A B) ( B C] ( A C ) A B C A B B C A C V V V V V V V V V F V F V F V F V F V V V V F F F V V F F V V V V V V F V F V F V V F F V V V V V F F F V V V V Exemplo 06. Tabela-verdade simplificada. ( A B) ( A B ) V V V V F V V V F F V F F F F V V V V V V F V F V V V F Exercícios de aplicação 02: Construir a tabela verdade relativa à forma sentencial (Simplificada ou não). 1) ( p q) ( p q ) 2) [ A ( B C)] ( A C ) 3) [( A B) ( C D)] ( D A ) 4) [( A C) ( B C)] [( B A) ( A C )] 5) [( A B) ( C A)] [( A B) ( C A )] 6) [( A B) ( C A)] [( A B) ( C B )]
9 Tautologia Contradição Uma forma sentencial diz-se tautologia, se assumir valor V para quaisquer que sejam os valores atribuídos às variáveis e se assumir o valor F diremos que é uma contradição. Exemplo 07. A forma sentencial que segue é uma tautologia. ( A B) ( A B ) V V V V F V V V F F V F F F F V V V V V V F V F V V V F Exemplo 08. A forma sentencial que segue é uma contradição. Exemplo 09. ( A B) ( A B ) V V V F F F F V V F F F F V F V V F V F F F F F F V V V Se a forma sentencial ( A ( B C)) ( B C ) é falsa, quais valores possíveis de verdade, que podem assumir A, B e C? ( A ( B C)) ( B C ) 0 1ª conclusão 1 0 2ª conclusão ª conclusão 0 4ª conclusão _0 0 5ª conclusão Assim, A=0, B=1 e C=0 Exercícios de aplicação 02: As formas sentencias que seguem são falsas, quais valores possíveis de verdade, que podem assumir A, B, C e D? 1) [ A ( B D)] A ( B C ) 2) ( A B) [( B C) C ] 3) A ( ( B C) D) (( B E) ( C D )
10 10 4) A B B C 5) Se a forma sentencial ( A B) C ( B C) A é falsa, e a sentença C Bé verdadeira. Quais os valores possíveis de verdade, que podem assumir A, B e C? Respostas dos exercícios de aplicação 02: 1) A=B=1 e C=D=0 2) A=B=1 e C=0 3)A=B=C=D=E=1 4) A=B=0e C=1 5) A=C=0 e B= Implicações e equivalências lógicas (~) Dizemos que uma forma sentencial X implica logicamente uma forma sentencial Y, se a forma sentencial X Y for uma tautologia. Exemplo 10. Seja X: A B e Y: A B, mostremos que X ~ Y isto é ( A B ) ( A B ) A B A B A B V V V V F V V V F F V F F F F V V V V V V F F V V V V F Equivalências lógicas Fundamentais E : Lei da dupla negação: A~ 1 A A A A V F V F V F Exemplo 11. Não entendi nada desta explicação ~ entendi tudo. A : Entendi essa explicação. A: Não entendi essa explicação. A: Não entendi nada essa explicação ~ A : entendi tudo.
11 11 E : Lei da idempotência: 2 A A ~ A e A A ~ A A A A A V V V V F F V F A A A A V V V V F F V F E : Lei da Comutatividade: 3 a) A B ~ B A A B B A V V V V V V V V F F V F F V F F V V V F F F F F V F F F b) A B ~ B A A B B A V V V V V V V V F F V F F V F F V V V F F F F F V F F F E : Leis da associatividade: 4 a) ( A B) C ~ A ( B C ) b) ( A B) C ~ A ( B C )
12 12 E : Leis de De Morgan 5 a) ( A B) ~ ( A B ) b) ( A B) ~ ( A B ) Demonstração: Usaremos 1 para V e 0 para F a) ( A B) ~ ( A B ) A B A B b) ( A B) ~ ( A B ) A B A B Mostre as propriedades que seguem usando as tabelas- verdade. E : Leis distributivas ou de fatoração 6 a) A ( B C) ~ ( A B) ( A C ) b) A ( B C) ~ ( A B) ( A C ) E : Leis de absorção 7 1) A ( A B) ~ A 2) A ( A B) ~ A 3) ( A B) B ~ ( A B ) 4) ( A B) B ~ ( A B )
13 13 5) Se T é tautologia e F uma contradição, então a) ( T A) ~ A b) ( T A) ~ T c) ( F A) ~ F d) ( F A) ~ A Mostremos a) ( T A) ~ A T A A Mostre as propriedades b) c) d) usando as tabelas- verdade. E : Contrapositivo. 8 ( A B) ~ ( B A ) A B B A E : Eliminação da condicional 9 a) ( A B) ~ ( A B ) A B A B b) ( A B) ~ ( A B ) A B A B B
14 14 E : Eliminação da Bicondicional 10 a) ( A B) ~ ( A B) ( A B ) A B A B A B b) ( A B) ~ ( A B) ( B A ) A B A B B A Exercícios de aplicação 03: Nota: Nos exercícios que seguem use as leis apresentadas, indicando qual esta sendo usada. 1)A forma sentencial ( A B) ( A B) B é logicamente equivalente a A) A B b) A B c) A B d) A B 2)A forma sentencial [( B C) A] ( C B ) é logicamente equivalente a a) C ( A B ) b) C ( A B ) c) C ( A B ) 3)A forma sentencial ( A A) B [ A ( B B )] é logicamente equivalente a a) ( A B ) b) A B c) A B d) ( B A ) 4) A forma sentencial A ( B C) [( A B) C ] é logicamente equivalente a a) C ( A B ) b) C ( A B ) c) A ( B C )
15 15 5) A forma sentencial ( A B) ( B A) [ ( A B) ( B A) ( C A) ( C C)] é logicamente equivalente a a) ( A B ) b) C ( A B ) c) A ( B C ) Respostas dos exercícios de aplicação 03: 1)c 2) a 3) d 4) c 5)a Observação: Nos exercícios que seguem é importante conhecer a leitura das proposições e sua simbologia. Assim A B: lê-se: Se A, então B A somente se B A é condição suficiente para B. B é condição necessária para A. A B: A é condição necessária é suficiente para B. Exemplo 12. Indique em quais casos temos c.s, c.n e c.n.s. Exemplo 13. a) A: n é divisível por 6 B: n número par (c.s) b) A: x < 0 e y < 0 B: x.y > 0 (c.s) c) A: x é ímpar 2 B: x é impar (c.n.s) d) A: x = 2 2 B: x =4 (c.s) 2 e) A: x =4 B: x = 2 (c.n) Dar a negação em linguagem corrente das proposições. As rosas são amarelas e os cravos brancos. Solução: Definindo: A: As rosas são amarelas. B: Os cravos brancos. Assim, podemos escrever A B Negação de A B é ( A B ) ~ A B (Leis de De Morgan) As rosas não são amarelas ou os cravos não são brancos.
16 16 Exemplo 14. Dar a negação em linguagem corrente das proposições. Se estiver cansado ou com fome, não consigo estudar. Definindo: C: estiver cansado F: com fome E: consigo estudar E: não consigo estudar. Assim, podemos escrever:( ) C F E, negando: [( C F) E] ~ [ ( C F) E ] ~( C F) E. Portanto, Mesmo cansado ou com fome eu estudo. Estando cansado ou com fome consigo estudar. Exemplo 15. Dar a negação em linguagem corrente das proposições. A temperatura diminuirá somente se chover ou nevar. Definindo: D: A temperatura diminuirá C: chover N: nevar Assim, podemos escrever: D ( C N ), negando [ D ( C N )] ~ [ D ( C N )] ~ D ( C N ) ~ D C N ) A temperatura diminuirá mesmo não chovendo e não nevando. Não choverá e não nevará e mesmo assim a temperatura diminuirá. Exercícios de aplicação 04: Dar a negação em linguagem corrente das proposições. 1) Fará sol se, e somente se não chover. 2) Bruno é aluno MD ou pesquisador. 3) Existe menina feia. 4)Todo menino gosta de futebol. 5) Nenhuma menina gosta do Corinthians. 6) Tudo que é bom engorda. 7)Todos os homens são mortais. 8)Thaís é inteligente e estuda.
17 17 9)O Corinthians ganhará o campeonato brasileiro se o juiz roubar ou os santos ajudarem. Respostas dos exercícios de aplicação 04: 1) Fará sol se, e somente se chover. 2) Não é aluno Bruno MD e não é pesquisador. 3) Todas as meninas não são feias. 4) Existe menino e que não gosta de futebol. 5) Existem meninas que não gostam do Corinthians. 6) Nem Tudo que é bom engorda.( Existe coisa boa e que não engorda) 7) Existem homens que não são mortais. 8) Thaís não é inteligente ou não estuda. 9) Mesmo o juiz roubando ou os santos ajudando, o Corinthians não ganhará o campeonato brasileiro Argumentos Sejam 1 2 P, P,..., P e Q proposições. Denomina-se argumento a toda afirmação n P, P,..., P acarreta uma proposição n de que uma dada seqüência finita de proposições 1 2 final Q. P, P,..., P denominam-se premissas, e Q conclusão. Lê-se 1 2 n P, P,..., P acarreta Q ou 1 2 n Q decorre de P, P,..., P. 1 2 n Um argumento que consiste em duas premissas e uma conclusão, denomina-se silogismo. P, P,..., P Q n Um argumento é valido se, e somente se a condicional 1 2 ( P P... P ) 1 2 n Q é uma tautologia. Exemplo 16. Verifique em cada um dos casos abaixo, se a argumentação é válida ou é uma falácia. 1) Sejam as Premissas: i) Se um homem é feliz, ele não é solteiro. ii) Se um homem não é feliz, ele morre cedo. Conclusão: Homens solteiros morrem cedo. Chamando
18 18 F: Homem é feliz S: Solteiro C: morre Cedo Podemos escrever a forma simbólica (argumentação) como: [( F S) ( F C)] ( S C ) ª conclusão 1 2ª conclusão 0 3ª conclusão 0 0 4ª conclusão 1 1 1_ 5ª conclusão 1 1 final Portanto, a argumentação é verdadeira. 2) Sejam as Premissas: i) Se um homem não fuma, então é atleta ou não é alcoólatra. ii) Se um homem fuma, então tem câncer. iii) Paulo não é atleta mas alcoólatra. Conclusão: Paulo tem câncer. Chamando F: Fuma C: Câncer A t : Atleta A l : Alcoólatra ( F ( A A)) F C ( A A) C t l t l ª conclusão 1 1 2ª conclusão ª conclusão 0 4ª conclusão 0 5ª conclusão 0 6ª conclusão _ 7ª conclusão 1 Verdade Portanto, a argumentação é verdadeira. 3) Sejam as Premissas: i) Se eu não jogar xadrez,jogarei futebol. ii) Se estiver machucado, não jogarei futebol Conclusão: Se estiver machucado jogarei xadrez.
19 19 Chamando X: jogar Xadrez F: Futebol M: Machucado X F M F M X V V 1ª conclusão V V hip 2ª conclusão V 3ª conclusão F F 4ª conclusão F 5ª conclusão V V 6ª conclusão V 7ª conclusão V Verdade Portanto, a argumentação é verdadeira. Exercícios de aplicação 05: Verifique em cada um dos casos abaixo, se a argumentação é válida ou é uma falácia. 1) Sejam as Premissas: i) Os bebes não são lógicos. ii) Quem consegue amestrar um crocodilo não é desprezado. iii) Pessoas não lógicas são desprezadas. Conclusão: Bebes não conseguem amestrar crocodilo. 2) Sejam as Premissas: i) O professor não erra. ii) Andréia é distraída. iii) Quem é distraído erra Conclusão: a) Andréia não é professora. b) Nenhum professor é distraído. 3) Sejam as Premissas: i) Gracielli é estudiosa. ii) Todo estudioso é aprovado em Matemática discreta. Conclusão: Gracielli será reprovada em Matemática discreta. Respostas dos exercícios de aplicação 05: 1) e 2) A argumentação é verdadeira. 3) A argumentação é falsa.
CAPÍ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 maisUnidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
Leia maisLÓ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 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 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 maisIntroduçã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
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 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 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. 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 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 maisAula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições
Leia 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 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 maisIntroduçã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
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 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 maisDISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO
DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: 2018-2 TURNO: NOTURNO ALUNO a): 1ª Lista de Exercícios - Introdução à Lógica Matemática, Teoria
Leia maisTema I Introdução à lógica bivalente e à teoria de conjuntos
Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade 1 Proposições Páginas 13 a 9 1. a) 3 é uma designação. b) 3 = 6 é uma proposição. c) é o único número primo par é uma proposição. d)
Leia maisMatemá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+:
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 Texto 7. Texto 7. 1 Negação de enunciados atômicos Exercício resolvido Negação de enunciados moleculares 5
Lógica para Ciência da Computação I Lógica Matemática Texto 7 Negação e simplificação de enunciados Sumário 1 Negação de enunciados atômicos 2 1.1 Observações................................ 2 1.2 Exercício
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 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 maisMatemática discreta e Lógica Matemática
AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1
Leia 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 maisUNIP Ciência da Computação Prof. Gerson Pastre de Oliveira
Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos
Leia 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 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 maisLó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óg L ica M ca at M em e ática PROF.. J EAN 1
Lógica Matemática PRO. JEAN 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição alor Lógico Proposição Simples e Proposição Composta Conectivos Tabela-erdade 2 LÓGICA MATEMÁTICA INTRODUÇÃO ao
Leia maisINF 1771 Inteligência Artificial
Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.
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 maisINSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE
1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.
Leia maisGestão Empresarial Prof. Ânderson Vieira
NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas
Leia 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 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 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 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 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 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 mais1 TEORIA DOS CONJUNTOS
1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,
Leia maisFundamentos da Computação 1. Introdução a Argumentos
Fundamentos da Computação 1 Introdução a s Se você tem um senha atualizada, então você pode entrar na rede Você tem uma senha atualizada Se você tem um senha atualizada, então você pode entrar na rede
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 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 maisIntroduçã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...
Leia maisSistemas Inteligentes
Sistemas Inteligentes Aula 21/10 Agentes Lógicos Agente Baseado em Conhecimento Agentes Baseados em Conhecimento ou Agentes Lógicos. Podem lidar mais facilmente com ambientes parcialmente observáveis.
Leia maisAprendendo. 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:
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 maisMatemá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
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 maisCampos Sales (CE),
UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:
Leia maisApostilas OBJETIVA Ano X - Concurso Público Conteúdo
Conteúdo Introdução Estruturas lógicas. 2 Lógica de argumentação: analogias, inferências, deduções e conclusões. 3 Lógica sentencial (ou proposicional). 3.1 Proposições simples e compostas. 3.2 Tabelas-verdade.
Leia maisExpoente 10 Dossiê do Professor 2
Expoente 0 Dossiê do Professor Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade Proposições Páginas a 9. a) é uma designação. b) = 6 é uma proposição. c) é o único número primo par
Leia maisProposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
Leia mais2016 / Nome do aluno: N.º: Turma:
Teste de Matemática A 2016 / 2017 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em
Leia maisFundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
Leia maisUNIVERSIDADE 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
Leia maisÁ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
Leia maisMatemá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
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
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 mais70 Tons de. Raciocínio. Lógico
70 Tons de Raciocínio Lógico BRDE 2015 Qual operação lógica descreve a tabela verdade da função Z abaixo cujo operandos são A e B? Considere que V significa Verdadeiro, e F, Falso. A B Z F F V F V V V
Leia maisequivalentes em LC Petrucio Viana
GAN00166: Lógica para Ciência da Computação Texto da Aula 6 Transformação e negação por meio de equivalentes em LC Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Transformação de enunciados
Leia maisLógica proposicional
Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),
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 maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisMatemática - Geometria Caderno 1: Ângulos triédricos
Programa PIBID/CAPES Departamento de Matemática Universidade de Brasília Matemática - Geometria Caderno 1: Objetivos Desenvolver e formalizar o raciocínio lógico do aluno. Conteúdos abordados Reconhecimento
Leia maisCAPÍTULO I. Lógica Proposicional
Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação
Leia 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 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 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 maisProf. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Leia maisLista 1 - Bases Matemáticas
Lista 1 - Bases Matemáticas Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo ou 4 é ímpar. c) (Não é verdade
Leia maisMD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Leia maisMatemá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,
Leia mais18/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á
Leia maisAula 1: Introdução ao curso
Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos
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 maisRaciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01
Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01 PROPOSIÇÕES Denomina-se proposição a toda frase declarativa, expressa em palavras ou
Leia 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 maisRaciocínio lógico matemático
Raciocínio lógico matemático Unidade 2: Introdução à lógica Seção 2.3 Equivalências, contradições e tautologias 1 Proposições compostas Composta de duas ou mais proposições simples Tanto a primeira como
Leia maisINF 1771 Inteligência Artificial
INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Edirlei Soares de Lima Lógica Proposicional Lógica muito simplificada. A sentenças são formadas por conectivos como:
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 maisLista 2 - Bases Matemáticas
Lista 2 - Bases Matemáticas (Última versão: 14/6/2017-21:00) Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo
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 maisSECRETARIA DA SEGURANÇA PÚBLICA DO ESTADO DE SÃO PAULO
SECRETARIA DA SEGURANÇA PÚBLICA DO ESTADO DE SÃO PAULO Concurso Público 2016 Conteúdo Introdução Conceitos Básicos sobre as Estruturas Lógicas Lógica Matemática Lógica Sequencial Coletânea de Exercícios
Leia mais. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.
Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira
Leia 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 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 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 maisReferê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:
Leia maisAntonio Paulo Muccillo de Medeiros
Antonio Paulo Muccillo de Medeiros Conceito É a área da matemática que estuda os argumentos (premissas e conclusão). Estuda os métodos e princípios que permitam distinguir argumentos corretos e incorretos.
Leia 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 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 maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisRACIOCÍNIO LÓGICO. Cirlei Xavier Bacharel e Mestre em Física pela Universidade Federal da Bahia
RACIOCÍNIO LÓGICO Bacharel e Mestre em Física pela Universidade Federal da Bahia Maracás Bahia Junho de 2017 2 Sumário 1 RACIOCÍNIO LÓGICO 3 1.1 PROPOSIÇÃO.......................................... 3 1.2
Leia mais