apresenta o L gica 1

LÓGICA
Prof. Ramsés Buffa

É a estrutura completa de regras que devem ser usadas para qualquer argumentação dentro dele.
A maior parte da Matemática é baseada em uma estrutura
Bem compreendida de regras e é considerada altamente lógica. É sempre necessário declarar ou fazer entender quais regras estão sendo utilizadas antes de aplicar alguma lógica. Cálculo Proposicional
É a parte da Lógica que estuda a validade de argumentos em linguagem posicional.
- Aspecto sintático – estabelece símbolos, regras de formação e regras de dedução de validade.
- Aspecto semântico – consiste na valorização das fórmulas com atribuição da propriedade de verdadeiro ou falso.

O cálculo posicional trabalha com tabelas-verdade, tautologias e métodos dedutivos.

Constitui-se em um sistema formal no qual se pode operar com grande precisão e rigor algumas transformações e obter resultados bem definidos e de ampla aplicação em outras áreas da Ciência.

Tautologia
No cálculo proposicional uma tautologia é uma fórmula
Proposicional que é verdadeira para todas as possíveis
Valorizações de suas várias proposições.
Exemplo:

“A ou não-A”

Proposição
É qualquer sentença declarativa que assume um dos dois valores-verdade: verdade e falsidade; ou seja, uma proposição é uma sentença declarativa que pode ser verdadeira (V) ou falsa (F). Essa propriedade da proposição é usualmente denominada valor-verdade.

Proposições afirmam fatos ou exprimem juízos.
Exemplos:
a) A Lua é um satélite da Terra.
b) Vasco da Gama descobriu o Brasil.
c) Recife é a capital de Pernambuco.
d) Dante escreveu os Lusíadas.

e) sen = 1

f)

3
5

2

é um número inteiro.

g)  > 5

A Lógica adota como regras fundamentais do pensamento dois princípios ou axiomas.
I. PRINCÍPIO DA NÃO CONTRADIÇÃO:
Uma proposição não pode ser verdadeira e falsa ao mesmo tempo.
II. PRINCÍPIO DO TERCEIRO EXCLUÍDO:
Toda proposição ou é verdadeira ou é falsa, isto é,
Verifica-se sempre um destes casos e nunca um
Terceiro.

Proposição Simples
A