LOGICA FORMAL

Lógica Formal
A Lógica Formal, lógica clássica de Aristóteles, é uma forma de pensar, de conhecer, de organizar o raciocínio sem considerar o conteúdo. O raciocínio se faz com o relacionamento de duas idéias: proposição e conclusão, que na lógica chamamos de inferência.
Na tradição clássica, lógica formal é o estudo das formas (conceitos, juízos e raciocínios) em conjunto com as leis do pensamento. Na tradição empirista, lógica formal é o estudo da estrutura das sentenças ou proposições.
Uma sentença ou uma proposição é uma frase que pode ser classificada como verdadeira ou falsa. Exemplos:
1)
2)
3)
4)
5)

Dez é maior que oito  É uma proposição por ser verdadeira
Boa noite  Não pode ser considerada uma proposição
João é um menino legal.  É uma proposição por ser verdadeiro ou falso.
Maria tem 17 anos.  É uma proposição por ser verdadeiro ou falso.
Ela é bonita  Não pode ser considerada uma proposição.

Outros exemplos:
As praias ficam na costa do País. (PROPOSIÇÃO)
Brasília fica no centro do País. (PROPOSIÇÃO)
Logo Brasília não tem praia. (CONCLUSÃO)
O refrigerante está na geladeira. (PROPOSIÇÃO)
A geladeira está fechada. (PROPOSIÇÃO)
Precisamos abrir a geladeira, para depois bebermos o refrigerante. (CONCLUSÃO)
Hoje é sábado. (PROPOSIÇÃO)
Todo sábado que não é feriado tem aula. (PROPOSIÇÃO)
Hoje não tem feriado. (PROPOSIÇÃO)
Logo hoje tem aula. (CONCLUSÃO)

Papel das proposições é encadeá-las até chegar a alguma conclusão

Representação das Proposições
Representamos as proposições mediantes sinais, isto significa que os sinais substituem enunciados quaisquer. Costumamos usar as letras como “p”, “q”, “r”, “s”, “t”. Utilizamos também sinais especiais como: “.”, “v”, “→”, “↔”, para assinalar o modo como as proposições podem se combinar e formar proposições compostas.

Exemplos:
Proposição simples
“A árvore tem folhas”
“Está chovendo”
“Eu vi um cachorro no quintal”

Representação da Proposição p q r Utilizando