Provisorio

Cada exercício deve conter seu enunciado, o capítulo e a seção a que pertence, a solução analítica e a resposta dissertativa à questão. DATA | TÓPICO | REFERÊNCIA BIBLIOGRÁFICA | ATIVIDADE DOMICILIAR | 17/5 e 24/5 | Tautologia, Contradição e Contingência | ALENCAR FILHO, Edgard deIntrodução à lógica matemática. São Paulo: Nobel, 2002. | Capítulo 4 – Tautologia, Contradição e Contingência. Exercícios de 1 a 4 – pg. 48 | ATIVIDADE DOMICILIAR ------------------------------------------------- ------------------------------------------------- Prazo para entrega da atividade à Secretaria do CCSA: ______________________________ CURSO: ____________________________PROFESSOR: Silvia Franco de Oliveira DISCIPLINA: Lógica Nome do Aluno | Turma / Etapa | Código de Matrícula | | 2R e 2S | | DESCRIÇÃO DA ATIVIDADE E ORIENTAÇÕES AO ALUNO PARA SUA REALIZAÇÃO: O aluno deve identificar na primeira coluna o(s) dia(s) que faltou, e desenvolver as atividades identificadas na quarta coluna. Cada exercício deve conter seu enunciado, o capítulo e a seção a que pertence, a solução analítica e a resposta dissertativa à questão. DATA | TÓPICO | REFERÊNCIA BIBLIOGRÁFICA | ATIVIDADE DOMICILIAR | 17/5 e 24/5 | Tautologia, Contradição e Contingência | ALENCAR FILHO, Edgard deIntrodução à lógica matemática. São Paulo: Nobel, 2002. | Capítulo 4 –…

SOUZA ATENÇÃO. Versão preliminar de solução de exercícios preparada por alunos do mestrado em Ciência da Computação, turma 02/2009 LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 22 de fevereiro de 2010 Sumário Parte I LÓGICA PROPOSICIONAL 1 A linguagem da Lógica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2 A semântica da Lógica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . .…

JOÃO NUNES de SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 2 de junho de 2009 1 A linguagem da Lógica Proposicional Errata Caso você encontre algum erro nesse capítulo ou tenha algum comentário a fazer, envie-o para nunes@ufu.br. Muito obrigado. Sugestões e soluções de exercícios selecionados 1. a) Não é fórmula b) É fórmula c) É fórmula d) Não é fórmula e) É fórmula 2. a) Sim, por exemplo, as fórmulas P , true, etc c) Não 3. a) comprimento igual a…

Curso: Redes de Computadores/ Tecnologia da Informação Disciplina: Lógica Matemática - Respostas da Lista de Exercícios Professor: Rosana Goncalves RESPOSTAS DA LISTA DE EXERCÍCIOS Resp. Pág. 2: Resp. Pág. 3: b) Escreva as expressões algébricas 1) (d.e) . (a+b.c) 2) c.(a+b).d 3) a.(a’+b.c) 4) (a.b)+(c.d) 5) (d.e) . (a+b.c) . f 6) a + (a’.b) .b + (a’ .c .b’) 7) [(a.b) + (a’.b)] + (a’. b’) 8) a+b+c+d Resp. Pág. 7 e 8: 1) x’y’z’ 2) x’y’z 3) x’y z 4) x’yz’ Curso: Redes de…

dos processos de raciocínio da Matemática que são usados na Ciência da Computação. Este capítulo introduz a Lógica Formal, que delineia o método organizado e cuidadoso de pensar que caracteriza qualquer investigação científica ou qualquer outra atividade de raciocínio. Além disso, a lógica formal tem aplicações diretas na Ciência da Computação. A última seção deste capítulo explora uma linguagem baseada na lógica e no uso da Lógica Formal objetivando verificar a correção de…

Lista de exercícios referente ao conteúdo dadisciplina SÃO JOSÉ DOS CAMPOS 2013 DENIS ALEXANDRE RA A463GG-7 TEma: Lógica Lista de exercícios referente ao conteúdo da disciplina apresentado àUNIP (Universidade Paulista) de São José dos Campos, referente ao curso em Tecnologia em Automação Industrial. Orientador: Prof. Remo SÃO JOSÉ DOS CAMPOS 2013 Questão1 Considere as proposições simples p: João é carioca.…

Aula 09 – Tautologias, Contradições e Contingências Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes http://www3.ifrn.edu.br/~brunogomes Agenda da Aula  Tautologias, Contradições e Contingências TAUTOLOGIA Tautologia  Toda a proposição que a última coluna da tabela da verdade é composta somente pelo valor lógico V.  Simbolicamente:  Toda proposição composta P(p, q, r, ...) cujo valor lógico é sempre V(verdadeiro), independente dos valores lógicos das…

ista de exercícios referente ao conteúdo dadisciplina SÃO JOSÉ DOS CAMPOS 2013 DENIS ALEXANDRE RA A463GG-7 TEma: Lógica Lista de exercícios referenteao conteúdo da disciplina apresentado àUNIP (Universidade Paulista) de São José dos Campos, referente ao curso em Tecnologia em Automação Industrial. Orientador: Prof. RemoSÃO JOSÉ DOS CAMPOS 2013 Questão1 Considere as proposições simples p: João é carioca. q: Pedro é paulista.…

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 Definição (proposição): uma proposição é uma sentença, de qualquer natureza, que pode ser qualificada de verdadeiro ou falso. 1+1=2 é uma proposição verdadeira da aritmética. 0>1 Ex: é uma proposição falsa da aritmética. Se não é possível definir a interpretação (verdadeiro ou falso)…

Definição 1.4 (comprimento de uma fórmula) Seja H uma fórmula da Lógica Proposicional. O comprimento de H, denotado por comp[H], é definido como se segue. • • • • • • ˘ Se H = P ou é um símbolo de verdade, então comp[H] = 1; comp[¬H] = comp[H] + 1; comp[H ∨ G] = comp[H] + comp[G] + 1; comp[H ∧ G] = comp[H] + comp [G] + 1; comp[H → G] = comp[H] + comp[G] + 1; comp[H ↔ G] = comp[H] + comp[G] + 1. Definição 1.5 (subfórmula) Seja H uma fórmula da Lógica Proposicional, então: • • • • H é uma…