Tabela Verdade X Y Q

funcionários têm uma característica muito interessante: quatro deles sempre falam a verdade em qualquer situação, e um deles, às vezes, mente. Um auditor, ao interrogá-los, obteve as seguintes respostas: Funcionário 1: “sou inocente”. Funcionário 2: “o funcionário 3 mentiu”. Funcionário 3: “o funcionário 4 é o culpado”. Funcionário 4: “o funcionário 2 é o culpado”. Funcionário 5: “o funcionário 1 disse a verdade”. É CORRETO afirmar que o culpado é o: a) Funcionário 1. …

1.1 - Solução para o Problema 1 ................................................................................... 3 1.2 – Identificação de dados e variáveis........................................................................ 3 1.3 - Tabela de verdades ............................................................................................... 4 1.4 - Descrição em português estruturado da resolução................................................ 4 1.5 – Fluxograma....................

dois valores verdade (verdadeiro ou falso). Portanto, nesse contexto, uma demonstração é um meio de descobrir uma verdade pré-existente deste mundo. 1.2 Lógica Proposicional A lógica proposicional é a forma mais simples de lógica. Nela os fatos do mundo real são representados por sentenças sem argumentos, chamadas de proposições. Ex: MUNDO REAL PROPOSIÇÃO LÓGICA Hoje está chovendo P A rua está molhada Q Se está chovendo, então a rua está molhada. P→Q …

c. Dois é um número primo. d. O jogo terminará logo? e. Que bom! f. x –(– 4 ) = 0. 3. Prove: (x ∧ y ) ∨ (x ∧ ¬y ) é logicamente equivalente a x. 4. Prove que x ↔ y é logicamente equivalente a (¬ x) ↔ (¬y ). 5. Prove que x ↔ y é logicamente equivalente a (x → y ) ∧ ( y → x). 6. Prove que x ↔ y é logicamente equivalente a (x → y ) ∧ ((¬ x) → (¬y )). 7. Prove que (x ∨ y ) → z é logicamente equivalente a (x → z ) ∧ ( y → z ). 8. Responda à seguinte pergunta, justificando sua resposta: “Qual

que são moldadas para serem exibidas em um formato definido. Sendo duas as principais formas normais: FNC – forma normal conjuntiva e a FND– forma normal disjuntiva. Exemplos: 1º Exemplo: H = (¬P Λ Q) V (¬R Λ ¬Q Λ P) V (P Λ S) – forma normal disjuntiva (V) 2º Exemplo: G = (¬P V Q)Λ (¬R V ¬Q V P)Λ (P V S) – forma normal conjuntiva (Λ) 2 FORMA NORMAL CONJUNTIVA A Forma normal conjuntiva é empregada no método de inferência chamado de resolução, que serve a programação…

RACIOCÍNO LÓGICO RACIOCÍNIO LÓGICO Professora Raissa Y. Y. Rodrigues LÓGICA DE ARGUMENTAÇÃO: ANALOGIAS, INFERÊNCIAS, DEDUÇÕES E CONCLUSÕES Engenheira Eletricista com ênfase em eletrônica pela Universidade Tecnológica Federal do Paraná. ARGUMENTO ESTRUTURAS LÓGICAS Argumento é uma relação que associa um conjunto de proposições (p1, p2, p3,... pn), chamadas premissas ou hipóteses, e uma proposição C chamada conclusão. Esta relação é tal que a estrutura lógica das…

refere a estrutura, ou o que quer dizer o mesmo, não se preocupa com a verdade, mas com a validade de nossos argumentos. CÁLCULO PROPOSICIONAL CÁLCULO PROPOSICIONAL ou CÁLCULO SENTENCIAL, consiste em operações com proposições. CONCEITO DE PROPOSIÇÃO São sentenças declarativas afirmativas às quais podemos atribuir apenas um dos valores lógicos: verdade ou falsidade. • Janeiro tem 31 dias. (O valor lógico dessa proposição é a verdade.) • A Terra é quadrada. (O valor lógico dessa proposição…

- 2009/2 Prof. Henrique Monteiro Cristovão Roteiro de Estudos através de Exercícios (com respostas) Avaliações Prova Conteúdo Referência livro texto Exercícios 1ª prova Representação simbólica cap 1: seções 1.1 e 1.2 1 a 17 Tabela verdade Equiv. Notáveis e regras de dedução 2ª prova Quantificadores, predicados e validade cap 1: seção 1.3, 1.4 e 1.5 18 a 25 Lógica de predicados 3ª prova Álgebra booleana cap 7: seção 7.1 26 a 30 Simplificação…

c. Dois é um número primo. d. O jogo terminará logo? e. Que bom! f. x –(– 4 ) = 0. 3. Prove: (x ∧ y ) ∨ (x ∧ ¬y ) é logicamente equivalente a x. 4. Prove que x ↔ y é logicamente equivalente a (¬ x) ↔ (¬y ). 5. Prove que x ↔ y é logicamente equivalente a (x → y ) ∧ ( y → x). 6. Prove que x ↔ y é logicamente equivalente a (x → y ) ∧ ((¬ x) → (¬y )). 7. Prove que (x ∨ y ) → z é logicamente equivalente a (x → z ) ∧ ( y → z ). 8. Responda à seguinte pergunta, justificando sua resposta: “Qual

só a um conjunto, a outro conjunto ou ambos a b a + b a . b Fazer exercícios em grupos: 1.2.2. Desenhe as expressões através do círculo de Euler ou Diagrama de Venn. 1. 2. 3. 4. a + b´ a. b´ p. q´ + p´. q (a + b ) . c 5. a + (b . c) = (a + b) . (a + c) 6. ab´ + a´cb 7. x.y.z´+x´.y´.z 5/16 Aulas Curso: Automação e Robótica / RC/ GTI/ADS Disciplina: Lógica Matemática Professor: Luiz Lima 1.3. Proposições É uma sentença declarativa, afirmativa, e que deve exprimir um…