Construir A Tabela Verdade Da Proposição P Q P Q

expressões p . ( q’. ( s + r ) + r . s ) + ( q + p’) . ( r . s’ + s ) s q’ p r q p’ r s r s s’ Exercícios propostos 1. Dar as expressões algébricas dos circuitos abaixo: z a) x y t w b) x y t z c) x y w x z z w y Evanor Alves Dourado 3 Lógica Matemática d) x y x’ w y’ y z y’ z z w e) p q s p q s q r r r r’ s’ s p s’ f) q p’ q’ p q r q’ s r r s 2. Desenhar os circuitos cujas ligações são dadas pelas expressões: a) p . ( q + r ) b)…

Discreta - Prof. Jorge Cavalcanti - Univasf Introdução à Lógica Formal Conceitos Iniciais:     A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. Aristóteles - filósofo grego - 342 a.C, sistematizou os conhecimentos existentes em Lógica, elevando-os à categoria de ciência. Em sua obra chamada Organum (“ferramenta para o correto pensar”), estabeleceu princípios tão gerais…

passar 7) 2. Frequencia { Não faltar mais de 10 aulas} Proposição > É um conjunto de palavras que exprimem um pensamento de sentido completo obs: posso dizer se é verdadeiro ou falsa. Ex: A lua é um satélite (Verdade) 2 > 1 (Verdade) Homens não podem dar a luz (Verdade) 2 > aula (Falso) **LÓGICA** - É a ciência que estuda as leis do raciocínio. PRINCÍPIOS FUNDAMENTAIS DA LÓGICA MATEMÁTICA SÃO 2: 1. PRINCÍPIO DA NÃO CONTRADIÇÃO >> Uma proposição não pode ser ao mesmo…

princípios e métodos de interferência , tendo o objetivo principal determinar em que condições certas coisas se seguem ou não de outras (sequência ou não sequência). I - LÓGICA PROPOSICIONAL Segundo Quine, toda proposição é uma frase, mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F)ou Verdadeiro (V). Exemplos: 1. Frases que não são proposições o Pare! o Quer uma xícara de café? …

Cachoeiro de Itapemirim: Ifes, 2009. 106 folhas. Material do curso de Licenciatura de Informática à Distância – Instituto Federal do Espírito Santo, Campus Cachoeiro de Itapemirim, 2009. 1. Matemática - Lógica. 2. Lógica - Operações. 3. Álgebra da proposição. I. Título CDD 005.43 DIREITOS RESERVADOS Ifes – Instituto Federal do Espírito Santo Av. Vitória – Jucutuquara – Vitória – ES - CEP - (27) 3331.2139 Créditos de autoria da editoração Capa: Juliana Cristina da Silva…

...........................................................................................................5 3.3 NEGAÇÃO.................................................................................................................5 4. TABELA VERDADE......................................................................................................5 5. IMPLICAÇÃO LÓGICA................................................................................................6 6.…

Considere as afirmações abaixo. I. O número de linhas de uma tabela-verdade é sempre um número par. II. A proposição “(10 < 10 ) ↔ (8 – 3 = 6)” é falsa. III. Se p e q são proposições, então a proposição “(p → q) ∨ (~q)” é uma tautologia. É verdade o que se afirma APENAS em: a) I. b) II. c) III. d) I e II. e) I e III. 06. Se p e q são proposições, então a proposição p ∧ (~q) é equivalente a a) ~(p → ~q) b) ~(p → q) c) ~q → ~p d) ~(q → ~p) e) ~(p ∨ q) 07. No argumento: “Se estudo, passo…

Proposições Compostas  Proposição formada por duas ou mais proposições simples unidas por um dos conectivos. Proposições Compostas  Conectivos usados para formação de proposições compostas e quais são os símbolos usados: - Negação: não símbolo ~ - Conjunção: e símbolo ^ - Disjunção: ou símbolo - Condicional: se...então símbolo - Bicondicional ... se e somente se ... símbolo - Disjunção exclusiva ou .... ou símbolo v v

PROPOSIÇÕES 3.1 - TABELA VERDADE 13 3.2 - TABELAS INICIAIS 13 EXERCÍCIOS 05 13 3.3 - OUTRAS TABELAS VERDADES 14 3.4 - PONTUAÇÃO DE PROPOSIÇÕES COMPOSTAS 16 EXERCÍCIOS 06 17 CAPÍTULO 4 - TAUTOLOGIAS E CONTRADIÇÕES 4.1 – DEFINIÇÕES 19 EXERCÍCIOS 7 19 4.2 - IMPLICAÇÃO E EQUIVALÊNCIA LÓGICAS 20 4.3 - PROPOSIÇÕES ASSOCIADAS A UMA CONDICIONAL 20 EXERCÍCIOS 08 21 4.4 – EXPRESSANDO OS CONECTIVOS , E EM FUNÇÃO DE ~, E . 21 4.5 - USANDO SOFTWARES PARA CONSTRUÇÃO DE…

de Programação Prof. Emerson Pinduka SUMÁRIO CONTEÚDO PROGRAMÁTICO 8 HISTÓRIA DA LÓGICA 9 INTRODUÇÃO A LÓGICA PROPOSICIONAL 10 Preliminares 10 Proposição 10 Conectivos Lógicos 11 Valor Lógico 11 Princípios Fundamentais da Lógica 12 Tabela - Verdade 12 Operações Lógicas sobre Proposições 13 Operação Negação (~) 13 Operação Conjunção (Ù) 14 Operação Disjunção (V) 15 Operação Condicional ( à ) 17 Operação Bicondicional ( «) 18…