Aula de lógica - proposicoes e conectivos

Objetos Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago Agosto 2012 Slide 1 de 21 Proposições? Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago Agosto 2012 Slide 2 de 21 Conceito de Proposições “Definição – Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo.” pg. 11 - Introdução a Lógica Matemática – Edgard de Alencar Filho – Editora Nobel, 2002 Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago Agosto 2012 Slide 3 de 21 Conceito de Proposições Exemplo de proposições: (a) A lua é um satélite da Terra (b) Recife é a capital de Pernambuco pg. 11 - Introdução a Lógica Matemática – Edgard de Alencar Filho – Editora Nobel, 2002 Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago Agosto 2012 Slide 4 de 21 Conceito de Proposições “...regras fundamentais do pensamento os dois seguintes princípios (ou axiomas): (I) PRINCÍPIO DA NÃO CONTRADIÇÃO: Uma proposição não pode ser verdadeira e falsa ao mesmo tempo. (II) PRINCÍPIO DO TERCEIRO EXCLUÍDO: Toda a proposição ou é verdadeira ou é falsa, isto é, verifica-se sempre um destes casos e nunca um terceiro.” pg. 11 - Introdução a Lógica Matemática – Edgard de Alencar Filho – Editora Nobel, 2002 Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago Agosto 2012 Slide 5 de 21 Conceito de Proposições “…a Lógica Matemática é uma Lógica…

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…

E AUTOMAÇÃO Lógica e Matemática Discreta Disciplina/Carga: LÓGICA E MATEMÁTICA DISCRETA – 80 HORAS/AULA Professor: SUZANA LIMA DE CAMPOS CASTRO Semestre/Turno: 1º SEM – 2014-1 - Noturno Turmas: Objetivos da disciplina: Bibliografia Básica: • • • A Propiciar ao aluno o desenvolvimento do seu potencial de abstração, o aprimoramento de sua GERSTING, Judith L. Fundamentos matemáticos para a capacidade de formalização de ideias intuitivas. ciência da…

pv~q V V F V d) p v ( ~q ∧ q) = p V V F F q V F V F ~q F V F V pvq V F F F p v ( ~q ^ q) V V F F Bibliografia   ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. 18 ed. São Paulo : Nobel, 2000.202p. FÁVARO, Silvio; KMETEUK FILHO, Osmir. Noções de lógica e matemática básica. São Paulo : Ciência Moderna, 2005. 224p. CENTRO UNIVERSITÁRIO CLARETIANO ANÁLISE E DESENVOLVIMENTO DE SISTEMAS ALGORITMOS E PROGRAMAÇÃO TUTOR:…

considerando-se 4 disciplinas: Matemática Discreta, Arquitetura e Organização de Computadores, Algoritmos e Programação em Microinformática. Explorando a interdisciplinaridade inerente ao assunto busca-se explicar o conceito da tabela verdade, utilizando exemplos e aplicações práticas. No mesmo arquivo estão disponíveis versões em língua portuguesa e no idioma inglês. Para que se conheça a tabela verdade através das disciplinas Matemática Discreta; Arquitetura e Organização de…

Sistemas Dicotômicos Disciplina: Matemática Aplicada O mundo em que vivemos, existem situações, que apresentam apenas dois estados c omo por exemplo: 0 Não Branco Desligado 1 Sim Preto Ligado Elaborado pela Profª Alessandra Azzolini Disciplina: Matemática Aplicada A lógica começou a desenvolver-se com Aristóteles (384-322 a.C.) e os antigos filósofos gregos passaram a usar em suas discussões sentenças nas formas afirmativas e negativas... ... A Álgebra de…

A IMPORTÂNCIA E A APLICABILIDADE DA LÓGICA MATEMÁTICA Introdução Embora não exista uma definição exata para lógica matemática, podemos defini-la como a “ciência das leis do pensamento” lembrando que a lógica teve início ainda antes da era cristã (A.C), com os filósofos Parmênides e Platão, mas quem detalhou e elaborou mais a fundo os estudos sobre raciocínio foi o filósofo grego Aristóteles, desejando com isso, utilizar a lógica como um instrumento para se atingir o conhecimento…

Tópicos 1 ao 10 - 15/09/14 a 22/09/14 Atividade no Portfólio Descrição da atividade Faça uma pesquisa sobre programação lógica e identifique as principais características desse paradigma. Nessa pesquisa, você deverá abordar os seguintes aspectos: 1. Quais são os principais fatos históricos da programação lógica? Alguns fatos históricos: - Aristóteles (384 a.C.–322 a.C.), filósofo grego. Produziu uma obra rica e multifacetada. Nela encontramos uma exaustiva…

FACULDADE FORTIUM Curso de Bacharelado em Sistemas de Informação Disciplina Código Período Período Ministrado Matemática I (Básica) SI3 1º 2º/2013 Professor Turma Pré-Requisito Carga Horária Créditos José Carlos da Silva 1ADSI Nenhum 60 4 Ementa Regras de precedência, noções sobre porcentagem, produtos notáveis, fatoração, equações algébricas, inequações exponenciais, logarítmicas, do 1º grau e 2º grau, funções do 1º grau, 2º grau, exponenciais e logarítmicas,…

Linguagem Lógica Matemática Operações Lógicas Todos os homens são mortais. Sócrates é um homem. Portanto, Sócrates é mortal. All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Para quem conhece a língua portuguesa e um pouco da inglesa é fácil perceber que estamos expondo o mesmo argumento embora utilizando idiomas diferentes. 2 Fábio Gondim fmgondim@terra.com.br http://fabio.iesp.googlepages.com Todos os homens são mortais. Sócrates é um homem.…