Logica Conectivos

SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 21 de maio de 2008 1 A linguagem da Lógica Proposicional Introdução Alfabeto da Lógica Proposicional Definição 1.1 (alfabeto) O alfabeto da Lógica Proposicional é constituído por: • símbolos de pontuação: (, ); • símbolos de verdade: true, false; • símbolos proposicionais: P, Q, R, S, P1 , Q1 , R1 , S1 , P2 , Q2 , . . .; • conectivos proposicionais: ¬ ,∨ ,∧ ,→ ,↔ . Fórmulas da Lógica…

Lógica  Etimologicamente, lógica vem do grego “logos” (palavra, expressão, conceito, discurso, razão)  Lógica é uma disciplina propedêutica, instrumento que permite a rigorosidade na filosofia e na ciência  Lógica: dá as regras do pensamento Correto Exemplo Veja há se uma ordem na seguinte classificação encontrada por Borges em uma enciclopédia chinesa:  “Os animais se dividem em: a) pertencentes ao imperador, b) embalsamados, c) domesticados, d) leitões, e)…

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.…

gosta de banana. Tanto o exemplo 1 quanto o 2 caracterizam uma afirmação/proposição. A base das estruturas lógicas é saber o que é verdade ou mentira (verdadeiro/falso). Os resultados das proposições SEMPRE tem que dar verdadeiro. Há alguns princípios básicos: Contradição: Nenhuma proposição pode ser verdadeira e falsa ao mesmo tempo. Terceiro Excluído: Dadas duas proposições lógicas contraditórias somente uma delas é verdadeira. Uma proposição ou é verdadeira ou é falsa, não…

Lógica Introdução Origem da Lógica  Na Grécia Antiga, 342 a.C, em meio a embates filosóficos, Aristóteles sistematizou a Lógica com o intuito de verificar que argumentos eram válidos, elevando-a assim à categoria de ciência.  Em sua obra chamada Organum (“ferramenta para o correto pensar”), estabeleceu princípios tão gerais e sólidos que até hoje são considerados válidos. Origem   Aristóteles se preocupava com as formas de raciocínio que, a partir de conhecimentos…

Introdução à Lógica Relações entre os Conectivos Lógicos Rodrigo Smarzaro UFV-CRP Conectivo nand (Conectivo de Sheffer)   Henry M. Sheffer (1913) Conectivo nand (not and) é definido por: ( P  Q) P nand Q = 2 Conectivo nand (Equivalências)  Conectivo nand pode ser representado  por | ou P  P  P P  Q  ( P  Q) | ( P  Q) P  Q  ( P  P )  (Q  Q ) P  Q  P  (Q  Q )  P  ( P  Q ) 3 Conectivo nor  Conectivo nor (not or) é definido por: ( P= Q) P norQ  O…

que reproduzem as portas lógicas OR, NAND, AND e NOT que é uma inversora de sinais. Depois gerar suas respectivas tabelas verdade e verificar como seria o funcionamento e as ligações dos “CI’s” na Bancada de testes. Implementar as portas lógicas OR, AND NOR e NOT a partir da porta NAND e também implementar a porta XOR com portas AND, OR e NOT. Aqui temos as representações simbólicas das portas logicas utilizadas e suas respectivas tabelas verdade A porta lógica AND (E)…

Faculdade SISTEMAS DE INFORMAÇÃO SI11 LÓGICA MÓDULO I INTRODUÇÃO Professor Newton Marquez Alcantara 1 1. O que é a Lógica? – Rapidamente, podemos dizer que a Lógica versa sobre os princípios da inferência correta. Inferência, por sua vez, é o processo que nos permite partir de coisas, fatos ou afirmações já conhecidas (premissas) e concluir algo novo, ainda não conhecido. Exemplo: Premissas: - Pedro, sempre que pode, joga futebol aos domingos - Hoje é domingo - O tempo…

Éuma sistema no qual as fórmulas representam proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas formulas sejam estabelecidas como teoremas.Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. A lógica formal repousa sobre três princípios fundamentais que permitem o seu desenvolvimentoposterior, e que dão validade a todos os atos do pensamento e do raciocínio logico. .…

uma coleção de tópicos disjuntos, no entanto durante o curso a disciplina é uma das menos valorizadas na época em que são feitas. O livro que utilizo como base tem um site em www.whfreeman.com/gersting que pode ser acessado utilizando a senha logic. Lógica Formal Você foi convocado a participar do júri em um processo criminal. O advogado de defesa argumenta o seguinte: Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca não estava na gaveta ou Jason viu a faca. Se a faca…