Tautologia Exercicios

Exercício I – A partir das proposições abaixo, transforme as sentenças em linguagem natural e faça as tabelas-verdade das proposições compostas. Verifique se alguma das proposições compostas é uma tautologia ou uma contradição. p: Veículos se movem. q: Veículos tem hélices. r: Veículos tem rodas. s: Automóveis são veículos. u: Aviões são veículos. x: Barcos se movem. a) p ^ ( q v r ) b) ( s ^ ~q ) -> r c) ( x ^ ~r ^ q ) -> p d) (q ^ s ) -> s e) (p ^ ~r ) -> q v x …

Informática - P. Blauth Menezes 2 2 – Lógica e Técnicas de Demonstração 2.1 Lógica 2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposições Conetivos Fórmulas, Ling. Lógica e Tabelas Verdade Lógica nas Linguagens de Programação Tautologia e Contradição Implicação e Equivalência Quantificadores 2.2 Técnicas de Demonstração 2.2.1 Prova Direta 2.2.1 Prova por Contraposição 2.2.1 Prova por Redução ao Absurdo Matemática Discreta para Computação e Informática -…

1 - Lógica Formal • 1.1 Proposições e Tautologias • 1.2 Lógica Proposicional • 1.3 Quantificadores e Predicados • 1.4 Lógica de Predicados Lógica é a “ciência do raciocínio”. Aristóteles (384 a.C.–322 a.C.) Leibniz (1646–1716) George Boole (1815–1864) Augustus De Morgan (1806–1871) Aristóteles • Fez o primeiro tratamento sistemático das leis do pensamento relacionado com aquisição de conhecimento. • Originalmente a lógica lidou com argumentos na forma…

letras V e F (ou pelos símbolos 1 e 0, respectivamente). Assim, o que os princípios da não-contradição e do terceiro excluído afirmam é que: “Toda proposição pode assumir um, e somente um, dos dois valores: F ou V “. Exercício 1: dar os valores lógicos das proposições abaixo, isto é, atribua V ou F para cada uma delas. a) 3+5=8 b) A lua é um satélite da terra. c) Colombo descobriu o Brasil. d) Pedro Álvares Cabral descobriu a…

Bacharelado Ciência da Computação Disciplina: Matemática Discreta Aluno: Yan Carlos Bragança Wanzeler Matrícula: 13088002701 Resumo de Lógica Formal Belém 2013 Seção 1.1 - Proposições, Representações simbólicas e tautologias A lógica formal pode representar as afirmações que fazemos em linguagem cotidiana para apresentar fatos ou transmitir informações. Uma proposição é uma sentença que é falsa ou verdadeira, como por exemplo: "Dez é menor que sete",…

ver que a fórmula verdadeira em um único caso: o qual e são verdadeiras enquanto só é é falsa. Esta é uma das aplicações da tabela de verdade: determinar em quais valorações de suas subfórmulas uma fórmula é verdadeira ou falsa. Exercícios Seja uma linguagem na qual: significa "Russell desenvolveu a teoria das descrições". significa "Gödel é matemático". significa "Está chovendo". Formalize no CPC as seguintes proposições e faça a tabela de verdade de cada…

(~ p → ~ q)  ~ r 2- Considere as fórmulas: I - (p v q) → p II - (p ^ q) → p III - (p ^ q) → (p V q) É(São) tautologia(s) a(s) fórmula(s): a) I somente. b) II somente. c) III somente. d) I e III, somente. e) I, II e III. 3- Chama-se tautologia a toda proposição que é sempre verdadeira, independentemente da verdade dos termos que a compõem. Um exemplo de tautologia é: a) se João é alto, então João é alto ou Guilherme é gordo b) se João é alto, então João é alto e…

Exercícios de Simbolização de Sentenças 1. De acordo com os exemplos fornecidos no item 4, "Sinais de pontuação", simbolize as sentenças a seguir, usando como referência as letras destacadas em negrito. a. Simbolize a negação da seguinte sentença: O presidente do Brasil é oriundo das camadas pobres da população. P b. Não li o livro nem assisti ao filme. ~L . ~F c. Você passará na prova se e somente se estudar muito. P ↔ E d. Ou não janto ou tomo uma sopa. J . S e. Este não é

Lista de Exercícios - Parte: Lógica e Teoria de Conjuntos 1- i) Sejam as seguintes proposições: p: “todos gostam de matemática” q: “Não existe povo ateu ”; r: “ Todo mundo foi tirou nota vermelha na prova de Lógica ” ii)- p: “27 -1 é um número primo” q: “(-2)3 + 5 = 13 ”; r: “ 125 é divisível por 25 ” Determine o valor lógico da proposição a) ( p’ ∧ q ↔ r )’ ; b) p’ ∧ q → r; c): ( p ∨ r ↔ q ) ⇔ ( p ∨ q) ∧ ( p → q). b) determine os valores lógicos das proposições p e q ,…

partes p(A) é composto por todos os subconjuntos que podem ser tomados a partir de A ( a quantidade de elementos em p(A) é 2n , sendo n a quantidade de elementos de elementos em A ). p(B) = {0,{7},{8},{9},{7,8},{7,9},{8,9},{7,8,9}} Exercicios 1 - Escreva os elementos dos conjuntos: a) A = { x|x é par e x < 12 } A={ 10,8,6,4,2,0,-2…} b) B = { x|-10 < x < 10 e x² 1800 - 1600 NING => 200 200 5 - A probabilidade de uma empresa de instalar…