-
Registe-se já na Casa das Ciências e descarregue gratuitamente milhares de recursos educativos.
Registar
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 |
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.
Matemática - 10º Ano
Várias
Lógica
Passivo
José Sebastião e Silva
Comp de Mat 1 Volume 1 Tomo Cap I - INTRODUCAO LOGICA MATEMATICA.pdf
17.75 MB
Jorge Manuel Botelho Geraldes
04-01-2016
Daniel Filipe de Lima Moura
23-10-2014
