Logica Computacional

Unidade I

LÓGICA

Prof. João Giardulli

Introdução
A primeira qualidade do estilo é a clareza.
Aristóteles

Introdução
 Aristóteles é considerado o precursor da lógica.  Aristóteles (384-322 a.C.)

Introdução
Alguns matemáticos:
 Leibniz (1646-1716)
 Leonard Euler (1707-1783)
 Augustus De Morgan (1806-1871)
 George Boole (1815-1864)
 Alfred North Whitehead (1861-1947)
 Bertrand Russell (1872-1970)

Introdução
Claude E. Shannon:
 Em 1938 mostrou a aplicação da Álgebra de Boole na análise de circuitos de relés, o que serviu de base para o desenvolvimento da teoria dos interruptores. Introdução
A lógica é:
 “o estudo da razão” ou
 “o estudo do raciocínio”.

Introdução
A lógica é:
 O estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto.
Irving
g Copi p Proposições e conectivos
Proposição:
Conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. ((ALENCAR FILHO,, 2002))

Ex.: Madrid é a capital da Espanha.

Proposições e conectivos
Proposição:
 É uma sentença declarativa que pode ser como verdadeira ou falsa.
 Cristóvão Colombo descobriu o Brasil.

Proposições e conectivos
Proposição:
 Não pode ser ambígua. Suscitar dúvida.
 “Eu vi uma foto sua no metrô”.

Proposições e conectivos
Proposição:
 Não pode ser ambígua. Suscitar dúvida.
 “Eu vi uma foto sua no metrô”.
 Quem estava no metrô? Eu ou você?

Leis fundamentais
I. Princípio da identidade: todo objeto é idêntico a si mesmo.

Leis fundamentais
I. Princípio da identidade: todo objeto é idêntico a si mesmo.
II. Princípio da não contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo.

Leis fundamentais
I. Princípio da identidade: todo objeto é idêntico a si mesmo.
II. Princípio da não contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo.
III. Princípio do terceiro excluído: toda proposição ou é