Exercicios de logica

1 LISTA DE EXERCICIOS DE LÓGICA MATEMATICA| 3/23/2011 Lista de Exercícios Lógica Matemática Prof. Daniel de Souza Gomes 1) Complete as seguintes tabelas da verdade? A B C AΛB FALSO FALSO FALSO FALSO FALSO FALSO VERDADERIO FALSO FALSO VERDADEIRO FALSO FALSO FALSO VERDADEIRO VERDADEIRO FALSO VERDADEIRO FALSO FALSO FALSO VERDADEIRO FALSO VERDADEIRO FALSO VERDADEIRO VERDADEIRO FALSO VERDADEIRO VERDADEIRO VERDADEIRO VERDADEIRO VERDADEIRO 2) Complete as linhas que estão em Branco A B C CΛB FALSO FALSO FALSO FALSO FALSO FALSO VERDADERIO FALSO FALSO VERDADEIRO FALSO FALSO FALSO VERDADEIRO VERDADEIRO VERDADEIRO VERDADEIRO FALSO FALSO FALSO VERDADEIRO FALSO VERDADEIRO FALSO VERDADEIRO VERDADEIRO FALSO FALSO VERDADEIRO VERDADEIRO VERDADEIRO VERDADEIRO 3) Complemente a seguinte tabela da verdade A B C FALSO FALSO FALSO FALSO FALSO VERDADEIRO FALSO VERDADEIRO FALSO FALSO VERDADEIRO VERDADEIRO VERDADEIRO FALSO FALSO VERDADEIRO FALSO VERDADEIRO VERDADEIRO VERDADEIRO FALSO VERDADEIRO VERDADEIRO VERDADEIRO 4) Complete a tabela da verdade A FALSO FALSO FALSO FALSO VERDADEIRO VERDADEIRO VERDADEIRO VERDADEIRO B FALSO FALSO VERDADEIRO VERDADEIRO FALSO FALSO VERDADEIRO VERDADEIRO (AVB) FALSO FALSO VERDADEIRO VERDADEIRO VERDADEIRO VERDADEIRO VERDADEIRO http://dsgomes.com.br CΛ(AΛB) FALSO FALSO FALSO FALSO FALSO FALSO FALSO VERDADEIRO (A Λ B) V (CΛ(AΛB)) FALSO VERDADEIRO CΛ(AΛB) FALSO FALSO FALSO VERDADEIRO FALSO FALSO FALSO VERDADEIRO (C Λ B) V (CΛ(AΛB)) FALSO…

Exercícios de Lógica de Programação - Algoritmos FIT - Faculdade de Informática de Taquara Curso de Sistemas de Informação EXERCÍCIOS e Respostas de Lógica de Programação - ALGORITMOS - Profa. Flávia Pereira de Carvalho Março de 2007 Profa. Flávia Pereira de Carvalho - fpereira@faccat.br - http://fit.faccat.br/~fpereira 1 Exercícios de Lógica de Programação - Algoritmos Sumário Página 1 EXERCÍCIOS DE LÓGICA DE…

Dar isso segunda dia 14 Classifique as formulas da lógica proposicional, entre as possibilidades estudadas (tautologias, satisfatórias, contingências e contraditórias). Descreva justificando a classificação. a) p ~q b) (p -> (p v q)) v r c) (p ~q ) ^ (p ^ q) d) [(p v q) ^ (p ^ s)] -> p e) (p ^ q ) -> (p v q) f) [¬B] ∨ {[¬B]→A} g) ~ (~ p → ~ q) v ~ r h) ~(p ^ q) i) ~( p v ~q) j) P → (P ∧ Q) k) (P ∧ ( Q ∨ ¬Q) ) → ((P ∧ Q) ∨ (P ∧ ¬Q)) 3- Chama-se tautologia…

Curso Gestão de Tecnologia da Informação Matérias: Organização de Computadores / Princípios de Sistemas de Informação Exercício de Revisão 1 Quais os componentes de um Sistema Computacional? Hardware, Software e Peopleware. Fonte: Princípios de SI/Unidade II/Pág.9 2 Quais os componentes da arquitetura de Von Newman? Memória, Unidade de Controle (UC) e Unidade Lógica Aritmética Fonte: Organização de Computadores/Unidade I/Pág.12 3 Descreva os componentes de uma CPU…

Exercícios de Fixação – Lógica Digital 1 . Determine as expressões das funções lógicas dos circuitos abaixo: 2) Crie as tabelas verdade para os problemas abaixo: a) Considere um circuito elétrico composto de uma fonte de energia comercial (a alimentação da empresa de distribuição de energia, p.ex., a Light) e um interruptor (nossas entradas ) e uma lâmpada (nossa saída). A lâmpada acenderá se - e somente se - a) houver energia disponível (se não estiver "faltando luz") e b) o…

1. Determine a árvore de formação de cada uma das seguintes fórmulas: (a) D ˅ ¬Aa (b) Aa → ∃xAx (c) ¬Bax (d) ∀xBax (e) ∀xByx (f) ∃y∀xByx (g) ∀x(Bax → Cxab) (h) ∃y(Byb ˄ ¬∀x(Cxxa ˄ Ay)) (i) ∃y(Byb ˄ ¬∀x(Cxza ˄ Ay)) (j) ∀x∃y(∀zCxyz ˅ ¬Byz) (k) ∀xBxa → ∃yByx (l) ∀x(Bxa → ∃yByx) (m) D → ∃yBya (n) ∃z(∀x∃yByx ˄ ¬(D ↔ Az)) (o) ∀x∀y(∀zCxyz ˅ Cxyu) (p) ∀x∀y(∀zCxyz ˅ Cxyt) (q) ∃y(D ˄ (¬¬D ↔ (D ˄ ¬Ay))) (r) ∀x∀y(Ax ˄ ¬(Ay ˅ ∃z(Byz ˄ ∀xBxz))) (s) ∀w∃v∀y(Cywv ˄ ¬∃x¬(Bvx ↔ Aw)) (t) ∀w(∃vAv ˄…

RESOLUÇÃO DO EXERCÍCIO DE LÓGICA 01-Combinando os diversos tipos possíveis de sentenças (conforme a quantidade e a qualidade), elabore os modos de silogismo. A,E,I,O. A A A A E E E E I I I I O O O O* A E I O A E I O A E I O A E I O A A A A A A A A A A A A A A A A A A A A E E E E I I I* I O O O O* A E I O A E I O A E I O A E I O E E E E E E E E E E E E E E E E A A A A E E E E I I I I O O O O* A E I O A E I O A E I O A E I O I I I I I I I I I I I I I I I I A A A A E E E E…

LÓGICA APLICADA – 1º SEMESTRE – ADS Prof. Esp. Tatiane A. Bonchristiani tatiane.andresa@gmail.com EXERCÍCIOS DE FIXAÇÃO 1) Expresse cada uma das frases abaixo com a notação do…

boa? a) O gato é animal que mia. b) O gato é um mamífero. 6.Em termos gerais, em que consiste a validade de um argumento? 7. Esclareça em que consiste um argumento dedutivo válido. Dê um exemplo. FICHA Para resolver os exercícios seguintes deve ter em mente o seguinte: a) Um raciocínio dedutivo é aquele cuja validade é avaliada independentemente do seu conteúdo. b) Um raciocínio dedutivo válido é aquele em que a pessoa que aceitar as suas pre­missas não pode, sem se…

EXERCÍCIOS DE LÓGICA 2-Mostrar a média aritmética entre 3 números passados pelo usuário. COPILANDO #include #include main () { float n1, n2, n3; double media; printf ("Digite 3 notas:"); scanf (" %f %f %f ", &n1, &n2, &n3); media = (n1 + n2 + n3)/3.0; printf ("Media: %.2f\n",media); system ("pause"); } 3-Lê um número e mostrar seu sucessor e seu antecessor na tela. COPILANDO #include #include…