Tautologia Exercicios

premissas e chegar a uma conclusão. Premissa 1 Premissa 2 ... Premissa n Conclusão Ex: Todo A é B Todo B é C Todo A é C Todo A é B Algum B não é C Algum C não é A Legenda para os exercícios: AaB – Todo A é B AeB – Nenhum A é B AiB – Algum A é B AoB – Algum A não é B Exercícios: 1) XaY, ZoY ├ XiZ Resolução: Premissas: XaY – “Todo X é Y” X=Y Z ZoY – “Algum Z não é Y” Y Z Z Y Y Através do Diagrama de Venn eu formulei todos os casos possíveis…

Resultados idênticos! Daí, do ponto de vista lógico, para negar p e q, negaremos p, negaremos q, e trocaremos e por ou. Já sabendo disso, não perderemos tempo na prova construindo tabela-verdade para saber como se faz a negativa de uma conjunção! Esse exercício que fizemos acima, de comparar as colunas-resultado das duas tabelas, serviu apenas para explicar a origem dessa equivalência lógica. Ou seja, para dizer se uma proposição é, do ponto de vista lógico, equivalente a outra,…

Exercícios Magda ADS1M13/1(4ªfeira manhã) SENAC Matemática para Análise e Desenvolvimento de Sistemas Luiz P Jesus Filho 1-Elaborar um texto apresentando os tipos de sentença que existem em língua portuguesa e descreva qual deles é usado no estudo em lógica proposicional R; Interrogativa - Para onde você vai ? Imperativa - Faça a limpeza. Exclamativas- Que bonito! Não são consideradas sentenças lógicas , pois não pode ser atribuído um valor verdade V ou F. Declarativas – Quatro é par

Integradas Espírito-Santenses Unidade de Computação e Sistemas Curso de Sistemas de Informação Disciplina: Lógica Matemática - 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…

que era verdadeiro se tornará falso, e tudo que é falso se tornará verdadeiro, e assim encontraremos a sua negação. p ^ q ~(p ^ q) V F F V F V F V Esse processo é feito para qualquer conectivo, comparando-os as alternativas do exercício em questão. Mas esse processo pode ser resumido em: CONJUNTIVA: ~(p e q) Para negarmos uma proposição no formato de conjunção (p e q), faremos o seguinte: 1º) Negaremos a primeira (~p); 2º) Negaremos a segunda (~q); 3º) Trocaremos e por

Respostas dos exercícios propostos: 1) Dar as expressões algébricas dos circuitos desenhados: a) x • y • (z + t • w) b) x • (y + z) • t c) x • (y + z • w) d) x • y + t • w e) x • y • (z + t) • w f) (a + b • c) • d + x • y • z g) (x • y + t • w) + a • b h) (a • b + c • d) • (e + f) + (x + y) • (z • r + s • t) i) (p + q) • (r + s • t) j) a • b • c + x • y • z + p • q • r + u • v • w k) (a • b • c + d • e • f) + (p • q • r + s • t • u) + (h • i • j + k • l • m) 2) Desenhar…

diagonais (X) Lados, vértices, diagonais e ângulos ( ) Lados, diagonais e raio ( )Vértices, diagonais e ângulos Exemplo; Quais as afirmativas são verdadeiras: I- Tautologia é toda preposição composta cuja última coluna seja constituída apenas de verdade . II-Contradição é toda preposição composta que não seja nem tautologia nem contingência. III-Contigência é toda preposição composta cuja última coluna seja constituída apenas de falsidade. (X) Apenas I é verdadeira. ( ) I e…

VALOR LÓGICO Chama-se valor lógico de uma proposição a VERDADE se a proposição for VERDADEIRA e FALSIDADE se a proposição for FALSA. F >>> falso V >>>verdadeiro Ex: 1. O sol gira em torno da terra (V). 2. O mercúrio é mais pesado que a água (F) Exercicio: Se Pedro disse a verdade, Marta e Joaquim mentiram. Se Joaquim mentiu, Antonio falou a verdade. Se Antônio falou a verdade, há um lobo no Jardim. Ora, não há um lobo no jardim. Logo: a) ( ) Joaquim mentiu ou Antônio…

fórmulas bem formadas: 2.1 Linguagem da Lógica Clássica Proposicional 8 • A → B (não é fórmula) • (A) → ¬(B) (não é fórmula) • (¬A ∨ B) ∧ (B ∨ C) → D (não é fórmula) • ((A → (B → ¬A)) → (A ∨ B)) (é fórmula) • (A → (B ∧ C)) (é fórmula) Exercícios: Questão 1. Represente as seguintes proposições utilizando a linguagem da lógica clássica proposicional. Utilize os símbolos proposicionais C (está chovendo) e N (está nevando). (a) Está chovendo, mas não está nevando. (b)…

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Condicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Bicondicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 3 4 4 5 6 7 8 8 9 10 Tautologia, implicação e equivalência . . . . . . . . . . . . . . . . . . . . . . . Lógica dos predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Quantificadores . . . . . . . . . .