Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
5Activity

Table Of Contents

I.1 Argumentos
I.3 Análise lógica
I.4 Nível proposicional
I.5 Nível quantificacional
I.6 Condições, substituição e quantificação15
I.7 Interpretações
I.8 Sobre a igualdade. Descrições definidas
I.9 Resolução de ambiguidades
I.10 O silogismo aristotélico
I.11 Sobre a implicação material
1.15 Exercícios e Complementos
II.3 Definições indutivas. Valorações
II.4 Um sistema dedutivo: dedução natural
II.5 Regras para a conjunção
II.6 Regras para a negação e o condicional
II.7 Introdução de teses
II.8 Regras para a disjunção
II.9 Regras para o bicondicional
II.10 Mais exemplos. Terceiro excluído
II.11 Semântica e metateoria
*II.12 Decidibilidade, enumerabilidade efectiva, complexidade
II.13 Completude funcional e formas normais
*II.14 Compacidade proposicional e aplicações
*II.15 Introdução às lgebras de Boole Á
*II.16 Outros sistemas dedutivos (I): semânticos
*II.17 Outros sistemas dedutivos (II): cálculo de sequentes
*II.18 Outros sistemas dedutivos (III): axiomatização à Hilbert
*II.19 Outros sistemas dedutivos (IV): resolução
II.20 Exercícios e Complementos
0 of .
Results for:
No results containing your search query
P. 1
logica3cap1e2

logica3cap1e2

Ratings: (0)|Views: 326 |Likes:
Published by Paloma Eveir

More info:

Published by: Paloma Eveir on Oct 16, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/15/2013

pdf

text

original

You're Reading a Free Preview
Pages 4 to 13 are not shown in this preview.
You're Reading a Free Preview
Pages 17 to 46 are not shown in this preview.
You're Reading a Free Preview
Pages 51 to 66 are not shown in this preview.
You're Reading a Free Preview
Pages 70 to 156 are not shown in this preview.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->