Logica Computacional

Lógica Computacional 1
1.1. O que é definição? delimitação exata, estabelecimento de limites
Referencia:Michaelis Moderno dicionário da língua portuguesa, Autor: Editora Melhoramentos

1.2. O que é a Teoria Ingênua dos Conjuntos? Quais problemas tal teoria apresentava e quais as soluções propostas pela Teoria de Conjuntos estudada atualmente? Os primeiros estudos da teoria dos conjuntos recebem o nome de teoria ingênua dos conjuntos, pois em tal contexto não se apresenta uma única definição de conjunto. Cantor costumava definir os conjuntos de duas maneiras: explicitando os elementos deste, ou por meio de uma propriedade que era comum aos elementos do conjunto. Além disso, na versão ingênua não se usa uma linguagem estritamente formal - se comparada à versão axiomática - ao tratar os conceitos envolvidos. Quando tratarmos do Paradoxo de Russel, notaremos o tipo de problema que se encontra quando não se define com maior rigor o que se entende por conjunto. A proposta para solucionar o problema um conjunto de operações identificável para facilitar o desenvolvimento do conjuto.
Referencia: INTRODUÇÃO À TEORIA INGÊNUA DE CONJUNTOS Autor: Marcelo Santos Carielo.

1.3. Quais são os conceitos não-definidos (ou primitivos) na Teoria dos Conjuntos? Conjunto é um conceito primitivo e portanto não definimos o que é um conjunto; mas a partir da noção de conjunto podemos definir muitos outros conceitos matemáticos. Claro que cada um de nós tem uma ideia intuitiva do que é um conjunto. Essa ideia pode ser explicada intuitivamente e com exemplos; o que não fazemos é definir o conceito de conjunto. Referencia: Conjuntos, Autores: António St. Aubyn, Maria Carlos Figueiredo, Luís de Loura, Luísa Ribeiro, Francisco Viegas

1.4. Qual é a operação não-definida (ou primitiva) na Teoria dos Conjuntos? . Um conjunto é constituído por objectos; o conceito de objecto é também um conceito primitivo, pelo que não o definimos. Neste momento temos dois conceitos