Tabela Verdade X Y Q

se e somente se () Tabela-Verdade dos Conectivos Lógicos: p q peq p ou q pq pq p↔q V V F F V F V F V F F F V V V F F V V F V F V V V F F V Quadro dos conectivos com as condições em que o valor lógico é verdade e em que é falso: Estrutura lógica É verdade quando É falso quando pq p e q são, ambos, verdade um dos dois for falso, ou ambos pq um dos dois for verdade, ou ambos p e q, ambos, são falsos pq p e q tiverem valores lógicos diferentes p e q tiverem…

e as provas demonstram, de maneira irrefut´avel, a verdade dessas asser¸co˜es. 3 ´ Algebra de Proposi¸ c˜ oes Defini¸c˜ ao 3.1 (Proposi¸c˜ ao) Proposi¸c˜ao ´e uma Senten¸ca que pode ser significativamente classificada como verdadeira ou falsa. Exemplos: 1. Duzentos ´e igual a cinquenta. 2. Existem formas de vida em outros planetas do universo. 3. A Terra ´e redonda. A validade ou falsidade de uma proposi¸ca˜o ´e chamada de seu valor verdade. Matem´atica Discreta - Notas de Aula - Cap´ıtulo

5 Se, e somente se 2.2 Tautologias e Contradições 2.3 Quantificadores 2.4 Validade de Argumentos 2.4.1 Tabela-Verdade 2.4.2 Regras de Inferência 2.4.3 Árvore de Refutação 2.4.4 Argumentos envolvendo quantificadores 4 4 5 6 7 7 9 9 10 12 13 14 16 18 3 Técnicas de Provas 3.1 O Método Direto Prova por Contradição (Redução ao Absurdo) Provas tipo P se, e somente se, Q Prova por Casos Provas de Existência Provas de Unicidade Uso de Contra-Exemplos 3.2…

b) ((a • b) + (c • d)) + (p • q) d) (a + (b • c • d)) Solução: a b Solução: a c d b c d p q Exercícios: 1) Dar as expressões algébricas dos circuitos desenhados: z a b e a) x y

provas demonstram, de maneira irrefut´vel, a verdade dessas a asser¸oes. c˜ 3 ´ Algebra de Proposi¸˜es co Defini¸˜o 3.1 (Proposi¸˜o) Proposi¸˜o ´ uma Senten¸a que pode ser significativamente ca ca ca e c classificada como verdadeira ou falsa. Exemplos: 1. Duzentos ´ igual a cinquenta. e 2. Existem formas de vida em outros planetas do universo. 3. A Terra ´ redonda. e A validade ou falsidade de uma proposi¸ao ´ chamada de seu valor verdade. c˜ e Matem´tica…

seguir apresentaremos somente proposi¸˜es falsas: co (h) 2 + 2 = 5 (dois mais dois ´ igual a cinco). e (i) 1 < 0 (o n´mero um ´ menor do que o n´mero 0). u e u (j) A raiz quadrada do n´mero dois ´ um n´mero racional. u e u (k) Existe um n´mero real x que satisfaz a equa¸˜o x2 + 1 = 0. u ca (l) A equa¸˜o x2 = 2 tem solu¸˜o no conjunto dos n´meros racionais. ca ca u Observe que uma frase declarativa de sentido completo pode ser representada apenas por s´ ımbolos matem´ticos como ocorre…

então 2+2=4. Não é verdade que 3 seja um número par ou que 7 seja um número primo. Para algum n ∈ N, 22 = n2. Para todos os números reais x, y ∈ R, x+y = y+x. Ele é muito inteligente. x-y = y-x. 02) Suponha que as variáveis p, q e r representam as seguintes proposições: p: “7 é um número inteiro par”. q: “3+1=4”. R: “32 é divisível por 8”. a) Escrevam em linguagem lógica as seguintes afirmações e verifique o seu valor lógico. 3+1 ≠ 4 e 32 é divisível por 8. Não é verdade…

Raciocínio Lógico Raciocínio Lógico Raissa Y. Y. Rodrigues 2. Lógica sentencial ou proposicional: proposições simples e compostas, operadores lógicos, tabelas-verdade, equivalências, leis de Morgan. Engenheira Eletricista com ênfase em eletrônica pela UniversidadeTecnológica Federal do Paraná 1. Estruturas lógicas. Proposições podem ser ditas simples ou compostas. Serão proposições simples aquelas que vêm sozinhas, desacompanhadas de outras proposições. Nada mais…

____________________________________________________________________ | | | Professor: | | 1) Sejam as proposições: p: Rosas são vermelhas. q: Violetas são azuis. r: Cravos são amarelos. Escreva em notação simbólica, cada uma das proposições compostas abaixo: a) Rosas são vermelhas e violetas são azuis. b) Rosas são vermelhas, ou violetas são azuis ou os cravos são…

..........................................................................3 1.3. FÓRMULAS E PRECEDÊNCIA......................................................................................................................4 1.4. CONSTRUÇÃO DE TABELAS-VERDADE PARA FÓRMULAS................................................................................5 1.5. TAUTOLOGIAS E CONTRADIÇÕES...............................................................................................................6 1.6