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.
|
|
- Paula Borges de Mendonça
- 5 Há anos
- Visualizações:
Transcrição
1 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 P (p, q, r, ) é logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas. Se as proposições P (p, q, r, ) e Q (p, q, r, ) são ambas tautologias, ou ambas contradições, então são equivalentes. Notação para indicar equivalência lógica, símbolo: Ou P Q P (p, q, r, ) Q (p, q, r, ) De maneira menos formal também encontramos a representação simbólica de uma equivalência por: P = Q. A relação de equivalência nos permite verificar quando duas proposições (simples ou compostas) são equivalentes, ou seja, quando estas proposições têm sempre valor lógico igual. Exemplos de contradições: p ~p p ~p F F F F
2 p q p q ~(p q) p q ~(p q) (p q) F F F F F F F F F F F F F F F Tautologia e equivalência Lógica Teorema: A proposição P (p, q, r, ) é equivalente a proposição Q (p, q, r, ), ou seja: P (p, q, r, ) Q (p, q, r, ) se e somente se a bicondicional: P (p, q, r, ) Q (p, q, r, ) for tautológica. Portanto, a toda equivalência lógica corresponde uma bicondicional tautológica, e vice-versa. Para verificarmos se as equivalências são válidas, trocamos o símbolo de equivalência ( ) pela bicondicional ( ), se resultar em uma tautologia é porque a equivalência é válida. Propriedades da Equivalência Lógica a) Reflexiva (R): P (p, q, r, ) P (p, q, r, ) b) Simétrica (S): Se P (p, q, r, ) Q (p, q, r, ) então Q (p, q, r, ) P (p, q, r, )
3 c) Transitiva (T): Se P (p, q, r, ) Q (p, q, r, ) e Q (p, q, r, ) R (p, q, r, ) então P (p, q, r, ) R (p, q, r, ) Exemplos: 1. As proposições "~~p" e "p" são equivalentes, isto é, simbolicamente: ~~p p (Regra da dupla negação). Portanto, a dupla negação equivale à afirmação. p ~p ~~p ~~p p F F F 2. As proposições "~p p" e "p" são equivalentes, isto é, simbolicamente: ~p p p (Regra de Clavius) p ~p ~p p ~p p p F F F 3. As condicionais "p p q" e "p q" são equivalentes, isto é, simbolicamente: p p q p q (Regra de absorção) p q p q p p q p q p p q p q F F F F F F F F F 4. A condicional p q e a disjunção "~p q" são equivalentes, isto é, simbolicamente: p q ~p q
4 p q ~p p q ~p q p q ~p q F F F F F F F F 5. A bicondicional "p q" e a conjunção "(p q) (q p)" são equivalentes, isto é, simbolicamente: p q (p q) (q p) p q p q p q q p (p q) (q p) p q (p q) (q p) F F F F F F F F F F 6. A bicondicional "p q" e a disjunção "(p q) (~p ~q)" são equivalentes, isto é, simbolicamente: p q (p q) (~p ~q) p q ~p ~q p q p q ~p ~q (p q) (~p ~q) p q (p q) (~p ~q) F F F F F F F F F F F F F F F F F F Exemplos de bicondicionais tautológicas: 1. (p ~q c) (p q) Corresponde a: p ~q c p q Portanto: p ~q c é equivalente a p q
5 Nesta equivalência consiste o método de demonstração por absurdo. 2. (p q r) (p (q r)) Corresponde a: p q r p (q r) Portanto: p q r é equivalente a p (q r) Equivalência Lógica denominada Regra de exportação- Importação Exemplo de bicondicional não tautológica: 1. "x = 1 x 3" e "~(x < 3 x = 1)" Corresponde a: (x = 1 x 3) ~(x < 3 x = 1) Entretanto, pela tabela-verdade observamos que o bicondicional não é tautológico. x = 1 x 3 x = 1 x 3 x < 3 x < 3 x = 1 ~(x < 3 x = 1) (x = 1 x 3) ~(x < 3 x = 1) F F F F F F F F F F F F F Proposições associadas a uma condicional Def.: Dada a condicional p q, chamam-se proposições associadas a p q as três proposições condicionais que contém p e q: a. Proposição recíproca de p q é q p b. Proposição contrária de p q é ~p ~q Também denominada de inversa de p q
6 c. Proposição contrapositiva de p q é ~q ~p p q ~q ~p A equivalência entre p q é ~q ~p estabelece um procedimento para demonstrar teoremas condicionais como, se a + b = c então a = c b, onde a + b = c é a hipótese e a = c b é a tese. Para provar a propriedade podemos usar a contrapositiva ou a negação da tese. Se a negação da tese levar a concluir a negação da hipótese então a propriedade estará demonstrada. Negando a tese, a c b. Somando b a ambos os membros, a desigualdade permanece. Assim, a + b c b + b a + b c O que contraria a hipótese. Portanto a propriedade é verdadeira. Tabela-verdade das proposições associadas: p q ~p ~q p q q p ~p ~q ~q ~p p q ~q ~p q p ~p ~q F F F F F F F F F F F F Logo, A condicional p q e a contrapositiva ~q ~p são equivalentes: p q ~q ~p
7 A recíproca q p e a contrária ~p ~q da condicional p q são equivalentes: q p ~p ~q Entretanto, pela tabela-verdade ainda podemos observar que: p q e a sua recíproca q p: não são equivalentes p q e a sua contrária ~p ~q: não são equivalentes Negação conjunta de duas proposições Def.: Chama-se negação conjunta de duas proposições a proposição "não p e não q", isto é, ~p ~q. A negação conjunta de duas proposições p e q se indica pela notação " p q ". Assim, p e q também p q ~p ~q Tabela-verdade: p q ~p ~q ~p ~q p q p q ~p ~q F F F F F F F F F F F F F F Negação disjunta de duas proposições
8 Def.: Chama-se negação disjunta de duas proposições a proposição "não p ou não q", isto é, ~p ~q. A negação disjunta de duas proposições p e q se indica pela notação " p q ". Assim, p e q também p q ~p ~q Tabela-verdade: p q ~p ~q ~p ~q p q p q ~p ~q F F F F F F F F F F Os símbolos e são chamados de conectivos de SCHEFFER. Exercícios: 1. Demonstre as seguintes equivalências: a. p (p q) p b. (p q) r p ~r ~q c. q p q p q 2. Mostre que as proposições x = 1 x 3 e "~(x < 3 x = 1) " não são equivalentes. 3. Julgue se são logicamente equivalentes as proposições: Quem tem dinheiro, não compra fiado e Quem não tem, compra, provando sua resposta.
9 4. Determine: a. A contrapositiva da recíproca de x = 0 x < 1 b. A contrapositiva da contrária de x < 1 x < 3 5. Sabendo que as proposições p e q são verdadeiras e que a proposição r é falsa, determine o valor lógico () ou (F) das seguintes proposições: a. (~p q) (q ~r) b. [(p q) (q r)] (r p) c. (~p ~q) [(q r) p] 6. Demonstre: [(p ~p) (p ~p)] p ~p Resoluções: 1. Demonstre as seguintes equivalências: a. p (p q) p p q p q p (p q) p (p q) p F F F F F F F b. (p q) r p ~r ~q p q r ~q ~r p q (p q) r p ~r p ~r ~q (p q) r p ~r ~q F F F F F F F F F F F F F F F F F F F F F F F F
10 F F F F F F F F F F c. q p q p q p q p q q p q p q q p q p q F F F F F F F 2. Mostre que as proposições x = 1 x 3 e ~(x < 3 x = 1) não são equivalentes. x = 1 x < 3 x 3 x = 1 x 3 x < 3 x = 1 ~(x < 3 x = 1) x = 1 x 3 ~(x < 3 x = 1) F F F F F F F F F F F F F Não são equivalentes porque as tabelas-verdade das proposições não são idênticas, e também a bicondicional não é uma tautologia. 3. Julgue se são logicamente equivalentes as proposições: Quem tem dinheiro, não compra fiado e Quem não tem, compra, provando sua resposta. Proposições: p: quem tem dinheiro q: compra fiado Premissas: Quem tem dinheiro, não compra fiado: Quem não tem, compra: p ~ q ~p q
11 Para serem equivalentes: p ~ q ~ p q p q ~p ~q p ~ q ~p q p ~ q ~ p q F F F F F F F F F F F F Não são equivalentes porque as tabelas-verdade das proposições não são idênticas, e também a bicondicional não é tautológica. 4. Determine: a. A contrapositiva da recíproca de x = 0 x < 1 x = 0 x < 1 x < 1 x = 0 (recíproca de x = 0 x < 1) ~(x = 0) ~(x < 1) (contrapositiva de x < 1 x = 0) x 0 x 1 (resposta) b. A contrapositiva da contrária de x < 1 x < 3 x < 1 x < 3 ~(x < 1) ~(x < 3) (contrária de x < 1 x < 3) x 1 x 3 (contrária de x < 1 x < 3) ~(x 3) ~(x 1) (contrapositiva da contrária de x 1 x 3) x < 3 x < 1 (resposta) 5. Sabendo que as proposições p e q são verdadeiras e que a proposição r é falsa, determine o valor lógico () ou (F) das seguintes proposições:
12 a. (~p q) (q ~r) (~p q) (q ~r) (p ~q) (~q r) p q r ~q p ~q ~q r (~p q) (q ~r) F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F Outra forma de resolução: (~p q) (q ~r) (p ~q) (~q r) b. [(p q) (q r)] (r p) (p ~q) (~q r) ( F) (F F) ( F) (F) F Seja: p =, q = e r = F Então: [(p q) (q r)] (r p) [(~p ~q) (~q ~r)] ( ~r ~ p) [(~p ~q) (~q ~r)] ( ~r ~ p) [(F F) (F )] ( F) [F F] (F)
13 F F F c. (~p ~q) [(q r) p] Seja: p =, q = e r = F Então: (~p ~q) [ (q r) p] ~(~p ~q) [ ~(~q ~r) ~ p] ~(~p ~q) [ ~(~q ~r) ~ p] ~(F F) [ ~(F ) F] ~(F) [ ~(F) F] [ F] F F 6. Demonstre: [(p ~p) (p ~p)] p ~p Seja: p = e ~p = F Então: [(p ~p) (p ~p)] p ~p [~(~ p p) ~ (~p p)] p ~p [~() ~ ()] F [F F] F F F Exercícios: 1. (CARALHO; CAMPOS, 2010, p. 119) Numa proposição composta s, aparecem às proposições simples p, q e r. Sua tabela verdade é:
14 p q r s L1 L 2 F L3 F F L4 F F L5 F L6 F F L7 F F F L8 F F F Usando a conjunça o ( ), a disjunça o ( ) e a negaça o ( ), podese construir sentenças equivalentes a s. Uma dessas sentenças é: a. (p q r) (~p ~ q r) b. (p q r) (~p ~q r) c. (p q ~r) (p ~ q ~r) d. (~p q ~r) (p q ~r) e. (p q ~r) (~p ~ q r) 2. Julgue os itens (CARALHO; CAMPOS, 2010, p. 121): a. Se meu cliente fosse culpado, então a arma do crime estaria no carro. Portanto, se a arma do crime não estava no carro, então meu cliente não é culpado. É uma tautologia. b. Se meu cliente fosse culpado, então a arma do crime estaria no carro. Portanto, ou meu cliente não é culpado ou a arma do crime estaria no carro. Não é uma tautologia. 3. erifique as equivalências (CASTRUCCI, 1982, p. 34): a. ~(p ~p) (p ~p) b. p (~p q ) (p q) c. p (q r) q (p r) d. ~(p q) ~(~q ~p)
15 e. ~(p ~ q ) ~p q 4. erifique se são equivalentes as proposições: a. Não é verdade que o triângulo é retângulo e não é retângulo. E O triângulo é retângulo ou o triângulo não é retângulo. b. Se é bonito, é feliz. E Não é bonito ou feliz. c. A: se o céu está escuro, choverá; B: o céu não está escuro ou não choverá. 1. Construir as tabelas-verdade Resolução: 1. Correta letra (d): (~p q ~r) (p q ~r) Conferência utilizando as linhas da tabela-verdade: (~p q ~r) (p q ~r) Linha 1: p =, q =, r =, s = (~p q ~r) (p q ~r) (F F) ( F) ( F) ( F) ( ) ( )
16 Linha 1 resulta em, logo corresponde a tabela-verdade. Linha 2: p =, q =, r = F, s = (~p q ~r) (p q ~r) (F ) ( ) ( ) ( ) ( ) ( ) Linha 2 resulta em, logo corresponde a tabela-verdade. Linha 3: p =, q = F, r =, s = F (~p q ~r) (p q ~r) (F F F) ( F F) ( F F) ( F) ( F ) ( ) F Linha 3 resulta em F, logo corresponde a tabela-verdade. Linha 4: p =, q = F, r = F, s = (~p q ~r) (p q ~r) (F F ) ( F ) ( F ) ( ) ( ) ( ) Linha 4 resulta em, logo corresponde a tabela-verdade. Linha 5: p = F, q =, r =, s = (~p q ~r) (p q ~r) ( F) (F F) ( F) ( F) ( ) ( )
17 Linha 5 resulta em, logo corresponde a tabela-verdade. Linha 6: p = F, q =, r = F, s = (~p q ~r) (p q ~r) ( ) (F ) ( F) ( F) ( ) ( ) Linha 6 resulta em, logo corresponde a tabela-verdade. Linha 7: p = F, q = F, r =, s = F (~p q ~r) (p q ~r) ( F F) (F F F) ( F) (F F) ( ) (F ) F Linha 7 resulta em F, logo corresponde a tabela-verdade. Linha 8: p = F, q = F, r = F, s = (~p q ~r) (p q ~r) ( F ) (F F ) ( ) (F ) ( ) ( ) Linha 8 resulta em, logo corresponde a tabela-verdade.
18 Caso em alguma das alternativas tivesse dado algum valor lógico diferente daquele da coluna do s, não seria uma equivalência. 2. Julgue os itens (CARALHO; CAMPOS, 2010, p. 121): a. Se meu cliente fosse culpado, então a arma do crime estaria no carro. Portanto, se a arma do crime não estava no carro, então meu cliente não é culpado. É uma tautologia. Inocente: p Culpado: ~p Arma está no carro: q Arma não está no carro o: ~q (P1): Se meu cliente fosse culpado, então a arma do crime estaria no carro. ~p q (P2): Portanto, se a arma do crime não estava no carro, então meu cliente não é culpado. ~q p p q ~p ~q ~p q ~q p (~p q) (~q p) F F F F F F F F F F Sim, (~p q) (~q p) é uma tautologia. b. Se meu cliente fosse culpado, então a arma do crime estaria no carro. Portanto, ou meu cliente não é culpado ou a arma do crime estaria no carro. Não é uma tautologia. Inocente: p Arma está no carro: q Culpado: ~p Arma não está no carro o: ~q
19 (P1): Se meu cliente fosse culpado, então a arma do crime estaria no carro. ~p q (P2): Portanto, ou meu cliente não é culpado ou a arma do crime estaria no carro. ( p q) p q ~p ~q ~p q p q (~p q) (p q ) F F F F F F F F F F Como, (~p q) (p q ) é uma tautologia e a questão afirma que não é uma tautologia, então esta questão está errada, ou seja, é falsa. 3. Resolução: Construir as tabelas-verdade. 4. erifique se são equivalentes as proposições: a. Não é verdade que o triângulo é retângulo e não é retângulo. E O triângulo é retângulo ou o triângulo não é retângulo. Proposições: O triângulo é retângulo: p O triângulo não é retângulo: ~p Premissas: (P1): Não é verdade que o triângulo é retângulo e não é retângulo: (p ~p) (P1): O triângulo é retângulo ou o triângulo não é
20 retângulo: (p ~p) p ~p p ~p (p ~p) p ~p (p ~p) p ~p F F F F Logo, (p ~p) p ~p (p ~p) p ~p Portanto, é uma equivalência. b. Se é bonito, é feliz. E Não é bonito ou feliz. Proposições: É bonito: p É feliz: q Premissas: (P1): Se é bonito, é feliz: (P1): Não é bonito ou feliz: Não é bonito: ~p p q ~p q p q ~p p q ~p q (p q) (~p q) (p q) (~p q) F F F F F F F F Portanto, é uma equivalência. c. A: se o céu está escuro, choverá;
21 B: o céu não está escuro ou não choverá. Proposições: Céu está escuro: p Não está escuro: ~p Choverá: q Não choverá: ~q Premissas: (P1): Se o céu está escuro, choverá: (P1): O céu não está escuro ou não choverá: p q ~p ~q p q ~p ~q p q ~p ~q (p q) (~p ~q) F F F F F F F F F F F F Logo, (p q) (~p ~q) F (p q) (~p q) F F Portanto, NÃO é uma equivalência. Referências Bibliográficas ALENCAR FILHO, Edgard. Iniciação à Lógica Matemática. São Paulo, Nobel, CARALHO, Sérgio; CAMPOS, Weber. Raciocínio Lógico Simplificado.. 1. Rio de Janeiro: Elsevier. 2010
22 CASTRUCCI, Benedito. Introdução à Lógica Matemática. 5 ed. São Paulo: Nobel, DIAS, Carlos Magno Corrêa. Lógica matemática: introdução ao cálculo proposicional. 3 ed. Curitiba: C. M. C. Dias, GERÔNIMO, João Roberto; FRANCO, aldeni Soliani. Fundamentos da Matemática: uma introdução à lógica matemáti5ca, teoria dos conjuntos, relações e funções. 2 ed. Maringá: Eduem, 2008.
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,
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. 12 VALIDADE MEDIANTE TABELAS-VERDADE A validade de um argumento pode ser verificada, demonstrada ou testada através das tabelas-verdade.
n. 12 ALIDADE MEDIANTE TABELAS-ERDADE alidade dos argumentos através de tabela- verdade A validade de um argumento pode ser verificada, demonstrada ou testada através das tabelas-verdade. Dado um argumento
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 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 maisn. 18 ALGUNS TERMOS...
n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.
Leia maisn. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL
n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL Para demonstrar a validade de um argumento podemos utilizar outro método, conhecido como Demonstração
Leia maisn. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS
n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS As sentenças em que não é possível atribuir valor lógico verdadeiro ou falso, porque isso
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 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 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 maisn. 4 TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIA
n. 4 TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIA Chama-se tautologia é toda a proposição composta cujo valor lógico (última coluna da sua tabela-verdade) é sempre V (Verdadeiro). As tautologias
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 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 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 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 maisn. 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
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 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 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 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 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 maisUnidade II LÓGICA. Profa. Adriane Paulieli Colossetti
Unidade II LÓGICA Profa. Adriane Paulieli Colossetti Relações de implicação e equivalência Implicação lógica Dadas as proposições compostas p e q, diz-se que ocorre uma implicação lógica entre p e q quando
Leia maisLógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Leia maisLógica 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 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 maisElementos de Lógica Matemática p. 1/2
Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ
Leia 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 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 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 maisAula 1 Aula 2. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Leia maisLógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução
Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três
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 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 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 maisAula 1 Aula 2 Aula 3. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Leia maisUnidade: Proposições Logicamente Equivalentes. Unidade I:
Unidade: Proposições Logicamente Equivalentes Unidade I: 0 Unidade: Proposições Logicamente Equivalentes Nesta unidade, veremos a partir de nossos estudos em tabelas-verdade as proposições logicamente
Leia maisQuestões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Considere as afirmações: I. A camisa é azul ou a gravata é branca. II. Ou o sapato é marrom ou a camisa
Leia 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 maisQuestões de Concursos Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 03 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Sabendo que os valores lógicos das proposições simples p e q são, respectivamente, a verdade e a falsidade,
Leia maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
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 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 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 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 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 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 maisMATEMÁTICA DISCRETA CONCEITOS PRELIMINARES
MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO
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 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 maisA CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360
1 DEMAIS SIMULADOS NO LINK ABAIXO CLIQUE AQUI REDE SOCIAL SIMULADO 17/360 RLM INSTRUÇÕES TEMPO: 30 MINUTOS MODALIDADE: CERTO OU ERRADO 30 QUESTÕES CURTA NOSSA PÁGINA MATERIAL LIVRE Este material é GRATUITO
Leia 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 maisQUESTÕES REVISÃO DE VÉSPERA FUNAI
QUESTÕES REVISÃO DE VÉSPERA FUNAI RACIOCÍNIO LÓGICO Prof. Josimar Padilha EDITAL: RACIOCÍNIO LÓGICO E QUANTITATIVO: 1. Lógica e raciocínio lógico: problemas envolvendo lógica e raciocínio lógico. 2. Proposições:
Leia maisSimulado Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Simulado Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Se S = (P Q) (P R), então a última coluna da tabela-verdade de S conterá, de cima para baixo e na ordem em que aparecem,
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 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 maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fundamentos de Lógica No nosso dia a dia, usamos todo o tipo de frases: Cinco é menor
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 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 maisAfirmaçõ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,
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 maisMDI0001 Matemática Discreta Aula 01
MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina
Leia 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 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 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 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 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 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 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 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 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 maisBases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.
1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um
Leia maisTécnicas de Demonstração. Raquel de Souza Francisco Bravo 17 de novembro de 2016
Técnicas de Demonstração e-mail: raquel@ic.uff.br 17 de novembro de 2016 Técnicas de Demonstração O que é uma demonstração? É a maneira pela qual uma proposição é validada através de argumentos formais.
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 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 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 maisTeoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO
SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO
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 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 mais01/09/2014. Capítulo 3. Propriedades semânticas da Lógica Proposicional
Capítulo 3 Propriedades semânticas da Lógica Proposicional 1 Introdução Propriedades Definição 3.1 (propriedades semânticas básicas da Lógica Proposicional) Sejam H, G, H 1, H 2,...,H n, fórmulas da Lógica
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3 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 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 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 maisLógica Proposicional
Lógica Proposicional 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 que duas proposições
Leia maisMatemática. Lógica Proposicional. Professor Dudan
Matemática Lógica Proposicional Professor Dudan Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos
Leia maisLógica Matemática 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
Leia maisn. 25 DIAGRAMAS DE VENN
n. 25 DIAGRAMAS DE VENN Foi o matemático inglês John Venn (1834-1923) que criou os diagramas, com o intuito de facilitar a compreensão na relação de união e intersecção entre conjuntos. John Venn desenvolveu
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 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 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 maisGRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /
1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 02 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br
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 maisALESE. 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:
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 maisLógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios...
Lógica para Ciência da Computação I Lógica Matemática Texto 11 Tautologias Sumário 1 Comportamento de um enunciado 2 1.1 Observações................................ 4 2 Classificação dos enunciados 4 2.1
Leia maisOBS.1: As palavras Se e então podem estar ocultas na. Proposição
RACIOCÍNIO LÓGICO PRO. IGOR BRASIL 1) Proposição: Observação!!! Não são proposições 1. 2. 3. 4. 5. 6. 7. 2) Conectivos São utilizados em proposições.» O conectivo e é conhecido por, representado pelo símbolo
Leia maisOFICINA 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
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 mais