Lógica 2 Calculo Proposicional

Disciplina: Lógica de Programação SUMÁRIO AULA 1 ________________________________________________________ 2 AULA 2 ________________________________________________________ 7 AULA 3 ________________________________________________________ 8 AULA 4 _______________________________________________________ 12 AULA 5 _______________________________________________________ 21 AULA 6 _______________________________________________________ 27 AULA 7…

| x = y significa: x y y son nombres diferentes que hacen referencia a un mismo objeto o ente. | | 1 + 2 = 6 − 3 | | definición | se define como | todos | | x := y o x ≡ y significa: x se define como otro nombre para y (notar, sin embargo, que ≡ puede también significar otras cosas, como congruencia) P :⇔ Q significa: P se define como lógicamente equivalente a Q | | cosh x := (1/2)(exp x + exp (−x)); A XOR B :⇔ (A B) ¬(A B) | -------------------------------------------------…

Supervisionada Lógica Matemática Prof. Carlos Eduardo Spadin Leme 2014 Sumário 1. ETAPA 1 4 1.1. Aula-tema: Apresentação da Disciplina e Metodologia de Trabalho. Introdução à Lógica. Álgebra de Conjuntos. 4 1.1.1 Passo 1 4 1.1.2 Passo 2 4 1.1.3 Passo 3 4 1.1.4 Passo 4 5 2. ETAPA 2 6 2.1. Aula-tema: Lógica Proposicional – Linguagem; Conectivos e valores lógicos; Tautologias. 6 2.1.1 Passo 1 6 2.1.2 Passo 2 6 2.1.3 Passo 3 7 2.1.4 Passo 4 7 3. ETAPA 3 9 3.1. Aula-tema:…

soma, ou resultado, é 10. | | Exemplo: 43 + 65 = 108; 2 + 7 = 9 | - | subtração | menos | aritmética | | 9 - 4 = 5 significa que se se subtrair 4 de 9, o resultado será 5. O sinal - é único porque também denota que um número é negativo. Por exemplo, 5 + (-3) = 2 significa que se se somar cinco e menos três, o resultado será dois. | | Exemplo: 87 - 36 = 51 | ⇒ → | implicação material | implica; se ... então | lógica proposicional | | A ⇒ B significa: se A for verdadeiro…

soma, ou resultado, é 10. | | Exemplo: 43 + 65 = 108; 2 + 7 = 9 | - | subtração | menos | aritmética | | 9 - 4 = 5 significa que se se subtrair 4 de 9, o resultado será 5. O sinal - é único porque também denota que um número é negativo. Por exemplo, 5 + (-3) = 2 significa que se se somar cinco e menos três, o resultado será dois. | | Exemplo: 87 - 36 = 51 | ⇒ → | implicação material | implica; se ... então | lógica proposicional | | A ⇒ B significa: se A for verdadeiro…

Faculdade Anhanguera de Taubaté – Unidade II Curso de Ciência da Computação Lógica Matemática Fernando Salles Claro Aula 01 – Teoria de Conjuntos Agenda da Aula 1. 2. 3. 4. 5. 6. 7. 8. 9. Proposição Teoria de conjuntos Relação de pertinência Alguns conjuntos importantes Alfabeto Palavras Fórmulas Comprimento de uma fórmula Subfórmulas 2 Proposição • Uma proposição (ou declaração) é uma sentença que é falsa ou verdadeira. Exemplos: a) b) c) d) Dez é menor…

Lógica Proposicional Métodos para determinação de validade de fórmulas Métodos para determinação de validade de fórmulas    Tabela verdade Árvore semântica Método da negação ou absurdo Conseqüência Lógica    B é conseqüência lógica de A se toda valorização v que satisfaz A também satisfaz B B pode ser satisfeito por valores que não satisfazem A Podemos usar: A implica logicamente em B Conseqüência Lógica Se eu ganhar na loteria, serei rico. Eu ganhei na Loteria. Logo, sou rico. G

Conectivas lógicas e tabelas de verdade Turma “7” 12ª Classe Classificação (_______) Nomes dos alunos Amarildo da graça Cossa Edmundo Júlio Manhique Emerson Cláudio Chilaule Filipe Pinto Muianga Gervásio Júlio António Baciano Mónica Alfredo Laurentina dos Santos Docente (assinatura):____________ Aos, 15 de Abril de 2014 1 Índice Introdução......................................................................................................................... 3 Conectivas lógicas…

TAMARA MARQUES RODRIGUES LÓGICA MATEMÁTICA Anhanguera Educacional S.A. São Paulo - 2014 Sumário 1 introdução 2 História da Lógica matemática 3 Entendendo a Logica Matemática 4 Lógica Proposicional 5 Tipos de Proposições 6 Operações lógicas sobre proposições ou cálculo proposicional 7 Tabela-Verdade 7.1 Negação 7.2 Conjunção 7.3 Disjunção 7.4 Condicional 7.5 Bicondicinal 7.6 Tautologia 7.7 Contingência 7.9 Contradição 7.10 Inplicação 7.11 Equivalência 8 Comclusão

„p  q‟ só é falsa na 2.ª linha, de cima para baixo. C A fórmula é uma disjunção tautológica cujos membros são ambos tautológicos. D A fórmula é uma contradição. E A fórmula é mal formada. Considere que “￢”, “∧” e “→” são, respectivamente, símbolos para a negação (“não”), conjunção (“e”) e condicional material (“se..., então...”) e que “p” e “q” são variáveis proposicionais. Ao se empregar os procedimentos das tabelas veritativas e, em seguida, do cálculo proposicional, pode-se…