Tabela Verdade X Y Q

p . ( q’. ( s + r ) + r . s ) + ( q + p’) . ( r . s’ + s ) s q’ p r q p’ r s r s s’ Exercícios propostos 1. Dar as expressões algébricas dos circuitos abaixo: z a) x y t w b) x y t z c) x y w x z z w y Evanor Alves Dourado 3 Lógica Matemática d) x y x’ w y’ y z y’ z z w e) p q s p q s q r r r r’ s’ s p s’ f) q p’ q’ p q r q’ s r r s 2. Desenhar os circuitos cujas ligações são dadas pelas expressões: a) p . ( q + r ) b) m + ( p’.…

ou falsa. Ex: A lua é um satélite (Verdade) 2 > 1 (Verdade) Homens não podem dar a luz (Verdade) 2 > aula (Falso) **LÓGICA** - É a ciência que estuda as leis do raciocínio. PRINCÍPIOS FUNDAMENTAIS DA LÓGICA MATEMÁTICA SÃO 2: 1. PRINCÍPIO DA NÃO CONTRADIÇÃO >> Uma proposição não pode ser ao mesmo tempo VERDADEIRA E FALSA. 2. PRINCÍPIO DO TERCEIRO EXCLUIDO >> Toda proposição é VERDADEIRA OU FALSA. VALOR LÓGICO Chama-se valor lógico de uma proposição a VERDADE se a…

abaixo é verdadeira ou falsa? 2x – 1 = 5 Não é possível atribuir um valor lógico à sentença, pois não se conhece o valor da variável x. Vamos, então, resolver algebricamente a equação: 2x – 1 = 5 2x – 1 + 1 = 5 + 1 2x = 6 1 1 =6. 2x . 2 2 x=3 A conclusão é a de que ao substituirmos a variável x pelo valor 3, a equação torna-se verdadeira e, para qualquer outro valor de x, a sentença será falsa. Existem expressões contendo variáveis denominadas sentenças abertas ou funções…

Axiomático . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 3.6 Semântica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77 3.7 Relação entre Sintaxe e Semântica . . . . . . . . . . . . . . . . . . . . 89 3.8 Tabelas - SQL × Lógica . . . . . . . . . . . . . . . . . . . . . . . . . 90 3.9 Estruturas e Teorias . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 Grafos, Ordens e Árvores . . . . . . . . . . . . . . . . . . . . . 94…

Euclides, um seguidor de Sócrates). Segundo Kneale e Kneale (O Desenvolvimento da Lógica), houve durante muitos anos uma certa rivalidade entre os Peripatéticos e os Megários e que isto talvez tenha prejudicado o desenvolvimento da lógica, embora na verdade as teorias destas escolas fossem complementares. GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus trabalhos terem tido pouca influência nos 200 anos seguidos e só foram apreciados e conhecidos no século XIX . …

possuir apenas os valores true (verdade) e false (falsidade). A lógica booleana para criar instruções de validação/substituição. A expressão de lógica booleana é uma estrutura lógica que pode ser verdadeira ou falsa. As expressões podem ser ligadas através de operadores (como AND, OR e NOR) para possibilitar a criação de expressões complexas. A lógica booleana usa tabelas verdade (TRUE ou FALSE) para determinar o valor verdade (TRUE ou FALSE) das expressões. Uma tabela verdade atribui o…

ent˜o a rua est´ molhada a a a Est´ chovendo a A rua est´ molhada a Se ϕ, ent˜o ψ a ϕ ψ L´gica para Computa¸˜o o ca Introdu¸˜o ca Racioc´nio ı Todo homem ´ mortal e S´crates ´ um homem o e S´crates ´ mortal o e ∀x(ϕ(x) → ψ(x)) ϕ(s) ψ(s) L´gica para Computa¸˜o o ca Introdu¸˜o ca Racioc´nio ı Se o trem tivesse chegado atrasado e n˜o houvesse t´xi na a a esta¸˜o, ent˜o John se atrasaria para seu compromisso. ca a John n˜o se atrasou…

. ( q’. ( s + r ) + r . s ) + ( q + p’) . ( r . s’ + s ) s q’ p r r s q r s’ p’ s Exercícios propostos 1. Dar as expressões algébricas dos circuitos abaixo: z a) x

complexas podem ser construídas (decompostas) de (em) proposições atômicas; • proposições atômicas são verdadeiras ou falsas (2 valores); • o valor verdade de uma proposição mais complexa somente depende dos valores das proposições atômicas que a compõe. Ex1: João ama Maria. (V ou F) Ex2: João é estudante e João é alto.  o valor verdade só depende se: João é estudante. (V ou F) João é alto. (V ou F) II-2. Linguagem da Lógica…

. . . . . . . . . . . . . Fórmulas Bem Formadas . . . . . . . . . . . . . . . . . . . . Semântica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2.1 2.2.2 Operações lógicas . . . . . . . . . . . . . . . . . . . . . . . . Tabela-verdade . . . . . . . . . . . . . . . . . . . . . . . . . 2.3 2.4 2.5 Equivalência Lógica . . . . . . . . . . . . . . . . . . . . . . . . . . . Formas normais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Inferência Lógica…