Logica

Lógica de Programação
Conceitos fundamentais
• Lógica* – É ciência autônoma formada por princípios,
métodos e técnicas que objetiva organizar e estruturar o
pensamento. Estuda as técnicas de formalização, dedução
e análise que permitem verificar a validade dos argumentos.
• Inferência – é um processo pelo qual se chega a uma
proposição.
• Proposição – designa o significado de uma sentença
ou oração declarativa.

Tipos Primitivos
• Inteiro: toda informação numérica inteira (não
fracionária) negativa, nula ou positiva. Ex: 100, 0, -3
• Real: toda informação numérica pertencente ao
conjunto dos números reais (inteiras ou fracionárias),
(negativa, nula ou positiva). Ex: 100, 0, -3, 1,7, 1000,50.
• Caractere: sequência contendo letras, números e
símbolos especiais (caracteres alfanuméricos)
– essa sequência deve ser indicada entre aspas (“ “)
– Ex.: “Taguatinga - DF”, “356-9025”, “Desconto 10%”
– também chamado de string ou cadeia
• Lógico: conjunto de valores falso ou verdadeiro.
– esse tipo só apresenta um desses valores
– também chamado de booleano