Título

Introdução à Lógica Matemática, por José Sebastião e Silva

Partilhar

Nº downloads 800

Ver Online

Detalhes

Descrição

Obra de Sebastião e Silva

Descritivo: Capítulo I - Introdução à Lógica Matemática presente no 1º volume, 1º Tomo, dos Compêndios de Matemática do professor José Sebastião e Silva. O presente documento, com possibilidade de pesquisa, constitui a primeira parte da abordagem à Lógica segundo o professor José Sebastião e Silva.
Para a consulta da obra completa:
Compêndio de Matemática - 1º volume, 1º tomo

Índice
Propriedades da implicação; relações desta com as outras operações lógicas. Novos tipos de silogismoPropriedades da implicação formal. Novos tipos de silogismo

1 - Sinais e expressões 11
2 - Termos e proposições 12
3 - Distinção entre a designação e o designado 13
4 - Relação lógica de identidade 14
5 - Indivíduos e classes; relação de pertença 15
6 - Relatividade dos conceitos de indivíduo (ou elemento) e de classe (ou conjunto). Universo lógico e tipos lógicos 17
7 - Dar ou definir um conjunto 18
8 - Conjuntos finitos e conjuntos infinitos 19
9 - Valores lógicos das proposições 20
10 - Operações lógicas sobre proposições 22
11 - As operações lógicas, consideradas como operações sobre valores Lógicos 25
12 - As operações lógicas e as máquinas de calcular 26
13 - Propriedades da conjunção e da disjunção 30
14 - Propriedades da negação; suas relações com a conjunção é a disjunção 34
15 - Implicação material e dedução 36
15a. - Propriedades da implicação; relações desta com as outras operações lógicas. Novos tipos de silogismo 42
16 - Equivalência material 46
17 - Polisilogismos. Dedução e indução . Teorias dedutivas 49
18 - Expressões com variáveis 53
19 - Tipos de expressões com variáveis 56
20 - Condições universais e condições impossíveis 57
21 - Equivalência formal. Princípios lógicos de equivalência 59
22 - Cálculo proposicional com variáveis 62
23 - Propriedades das operações lógicas sobre condições 66
24 - Quantificadores 67
25 - Propriedades dos quantificadores. Novos tipos de silogismos 70
26 - Segundas leis de De Morgan 72
27 - Quantificação parcial e quantificação múltipla 73
28 - Implicação formal 76
29 - Propriedades da implicação formal. Novos tipos de silogismo 79
30 - Equivalência formal; 'condição necessária' e 'condição suficiente'. Definições lógicas 82
31 - Existência e unicidade 84

Objetivo de Aprendizagem

Recomendação

Para visualizar este recurso, necessita de ter instalado o Adobe Reader, cujo download poderá fazer através da nossa página de utilidades.

Poderá não conseguir fazer o download deste recurso no Google Chrome.

Poderá fazê-lo noutros browsers (Firefox ou Edge, p.e.) ou no Chrome, na pasta das suas transferências (chrome://downloads/) aceitando manter o download do recurso.

Os ficheiros disponibilizados na Casa das Ciências são seguros.

Categoria

Matemática - 10º Ano

Unidade

Várias

Tema

Lógica

Tipo de recurso

PDF

Interatividade

Passivo

Informação adicional

Palavras-chave

José Sebastião e Silva

Nome do ficheiro

Comp de Mat 1 Volume 1 Tomo Cap I - INTRODUCAO LOGICA MATEMATICA.pdf

Tamanho do ficheiro

17.75 MB

Comentários

Jorge Manuel Botelho Geraldes

Recurso muito bom para o 10º ano.

04-01-2016

Daniel Filipe de Lima Moura

A ideia de publicar na Casa das Ciências a obra de José Sebastião e Silva é excelente porque os textos são de uma clareza exemplar.

23-10-2014

Recursos relacionados