Equivalência logica

Ciências da Computação
CC2P30

29 de outubro de 2012

UNIVERSIDADE PAULISTA (UNIP)

NOME - MATRÍCULA

Daniel Rodrigo Pimenta do Amaral – B37FGG1
Danilo Rufino de Aguiar – B342AF-7
Jeovane de Souza Santos - B32EIG-2

José Aldecy L.M. Filho - B3588E7

Brasília – DF, 29 de outubro de 2012

Equivalência lógica 1 – Introdução 2 – Definição 2.1 – Lei de equivalência lógica associativa em conjunto 2.2 – Diferenciação dos símbolos ↔ e ⇔ 2.3 – Regras de equivalência lógica 4 – Banco de dados 4.1 – Modelos de base de dados 4.2 – Aplicações de banco de dados 4.3 – Transação 4.4 – Segurança em banco de dados 4.5 – Funções internas comuns em banco de dados 4.5.1 – Tabela (Banco de dados) 4.5.2 – Regras 4.6 – Procedimentos de armazenamento 4.7 – Características dos procedimentos no MS-SQL Server 4.8 – Gatilhos (Banco de dados) 4.9 – Índices (Estrutura de dados) 4.9.1 – Principais tipos de índices Índices compostos x Índices simples Índices internos x Índices externos Índices primários x Chaves primárias

Equivalência lógica

1 – Introdução

Apesar de existirem textos relacionados a esse assunto em épocas remotas na Índia, é tradicionalmente aceito que a Lógica é uma ciência que nasceu na Grécia Antiga e que influenciou diversas áreas, como a Psicologia, a Matemática e a Computação, entre muitas outras esferas do conhecimento humano. O estudo da Lógica pode ser dividido em três períodos: o Aristotélico, dominado pela Teoria do Silogismo1 ; o Booleano, marcado pela Lógica Booleana , com regras e operações formais de cálculo proposicional; e o período atual, no qual surgiram as Lógicas Não-Clássicas, que, juntamente com a Lógica Booleana2, têm forte contribuição para a Ciência da Computação.

2 – Definição
Há equivalência entre as proposições P e Q somente quando a bicondicional P ↔ Q for uma tautologia ou quando P e Q tiverem a mesma