Destinação:
Como foco principal, esse blog se dedica à da suporte com conteúdos de Lógica de Predicado.Todas os materiais que aqui estão são baseada nas aulas de Lógica de Predicado ministradas pela Profº.Msc. Parcilene Brito do Curso Sistema de Informação do CEULP/ULBRA.
LÓGICA DE PREDICADO
Uma pequena Introdução a Lógica:
"A lógica trata do estudo das sentenças declarativas também conhecidas como proposições e tem por objetivo elaborar procedimentos que permitam obter um raciocínio correto na investigação da verdade,
distinguindo os argumentos válidos daqueles que não o são.
O filósofo grego Aristóteles (384 - 322 a.C.) iniciou o estudo da lógica, fazendo uma representação do processo do pensamento. No século XIX o matemático inglês George Boole (1815 - 1864), criador da Álgebra Booleana, descreveu operações de lógica e de probabilidades, base da atual aritmética computacional."
<fonte: Luiz Biachi : Lógica Matemática. Disponível em http://bianchi.pro.br/logicamat/logicamatematica.php#a06. Acesso em 16.09.2011>
Depois desse momento de filosófico vamos ao que interessa.
CÁLCULO PROPOSICIONAL
Operadores Lógicos
Ù : e
Ú: ou
®: se...então
«: se e somente se
~ : não
Os operadores lógicos são usados para conectar letras sentenciais e/ou formulas
Letras Sentenciais
Em geral são usadas as letras maiúsculas do alfabeto latino.
Podem ser usadas as letras de A a Z
Observe o exemplo abaixo.
A lua é quadrada
onde
L: A lua
Q: quadrada
formalizando esse sentença.
L Ù Q (aqui esta representado da sentença "A lua é quadrada")
Veja abaixo com foi feito para
Separamos as Premissas usando colchete
e para junta-las para formarem a formula
L Ù Q.
usamos para tanto o operador lógico E "Ù" .
Tabela Verdade
Ok, se você chegou até aqui parabéns, e sinal que você já entende tudo ai na pare de cima.
o que você ainda não entendeu:
O QUE É LOGICA?
O QUE SÃO LETRAS SENTENCIAIS E OPERADORES LÓGICOS?