Introdução a lógica

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 está bom - Pedro já terminou os trabalhos da Faculdade Conclusão: - Pedro vai jogar futebol (portanto não adianta convidá-lo para pescar) O processo mental que nos levou das premissas à conclusão é que é denominado de inferência. Historicamente, o estudo formal dos princípios da inferência correta começou com os gregos, culminando em uma obra denominada de Organom que significa “instrumentos da ciência”. Esta obra, que é considerada o marco inicial desta área do conhecimento, é uma coletânea de trabalhos do filósofo Aristóteles feita pelos seus alunos após a sua morte. O nosso objeto de estudo é a lógica de primeira ordem. Este assunto é de fundamental importância para a Ciência da Computação por estar presente na definição e manipulação de banco de dados relacionais, linguagens de programação e ser o principal alicerce para o projeto de processadores.

2. Proposições e Conectivos
2.1. Sentença – É toda estrutura lingüística que exprime um pensamento completo. Exemplos: a) A terra é redonda b) 2 + 2 = 4 c) A lua é feita de queijo verde. d) Que horas são? e) Feche a porta! f) Oba! As sentenças “a”, “b” e “c” são ditas sentenças declarativas, visto que afirmam ou declaram algo. A sentença “d” é uma sentença interrogativa, a sentença “e” é uma sentença imperativa (uma ordem ou comando) e a sentença “f” é uma exclamação. As sentenças que nos interessam são as sentenças declarativas, também designadas de proposições. A estas sentenças nós podemos atribuir os valores lógicos de verdade