Lógica

Objetivo Estudar técnicas adicionais para aplicabilidade em casos nos quais a
Lógica proposicional não se aplica. O estudo da teoria dos conjuntos é apresentado, como ferramenta auxiliar para o entendimento da lógica dos predicados. Lógica dos predicados
Sentenças abertas São aquelas para as quais não se pode atribuir valor lógico verdadeiro ou falso.
Exemplo:
x é menor que 8 Ele foi jogador do Palmeiras.
Lógica dos predicados
Sentenças fechadas São aquelas para as quais se pode atribuir valor lógico verdadeiro ou falso.
Exemplo:
9 é menor que 8 (F) Ademir Da Guia foi jogador do Palmeiras.
(V)
Lógica dos predicados Revisão de teoria dos conjuntos Definição de conjunto: É uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras, é uma coleção não ordenada de objetos.
Segundo Angel Martinez e Akio Barbosa
Lógica dos predicados
Revisão de teoria dos conjuntos Definição de conjunto: Outros autores afirmam que conjuntos não tem uma definição matemática genérica. Podemos definir um conjunto específico a partir do conhecimento dos elementos que o compõe ficando assim aquele conjunto específico bem definido.
Lógica dos predicados
Revisão de teoria dos conjuntos Em um conjunto, a ordem dos elementos não importa e cada elemento deve ser listado apenas uma vez.
Lógica dos predicados
Revisão de teoria dos conjuntos Denotação por extensão: Os elementos são listados exaustivamente.
Exemplo:
Vogais = {a, e, i, o, u}
Lógica dos predicados
Revisão de teoria dos conjuntos Denotação por compreensão: Definição de um conjunto por propriedades comuns aos seus elementos.
De forma geral, escreve-se: {x | P(x)}, onde P(x) representa a propriedade. Lógica dos predicados
Revisão de teoria dos conjuntos
Denotação por compreensão:
Exemplo:
Pares = {n | n é par}, Conjunto de todos os elementos n, tal que n é um número par.