//----------DHTML Tree Created using Likno Drop-Down Menu Trees ver 1.1-#120---------------
//C:\0\GiacomoN\Intro\menuIntro.awt
var ldmtAT="treeid";
menuIntro = new LiknoTreeRoot("menuIntro", "treeid", 0, 0, 0, 0, 16, false, "border:0; padding:4px; background-color:#E6E7AB; border:0px solid #EGE7AB;", "png");
menuIntro.setImagesDir("../Intro/winxp/");
menuIntro.addClass("de", "font-family:Tahoma, Arial, sans-serif; font-size:11px; color:black; background-color:transparent; text-decoration:none; font-weight:normal; padding:2px 4px;");
menuIntro.addClass("mo", "font-family:Tahoma, Arial, sans-serif; font-size:11px; text-decoration:underline; color:blue; padding:2px 4px;");
menuIntro.addClass("se", "font-family:Tahoma, Arial, sans-serif; font-size:11px; color:white; background-color:#0a246a; padding:2px 4px;");

menuIntro.setClickToExpand(true);

tI41=menuIntro.addLeafWithParams("Lógica","DefinicaoLogica.htm","conteudo",true,"");
tI41.statusbarText="DefinicaoLogica.htm";
tI39=menuIntro.addLeafWithParams("Proposições","Proposicoes.htm","conteudo",true,"");
tI39.statusbarText="Proposicoes.htm";
tI2=menuIntro.addLeafWithParams("Validade e Forma","Validade e Forma.htm","conteudo",true,"");
tI2.statusbarText="Validade e Forma.htm";
tI5=menuIntro.addLeafWithParams("Correção e Completude","CorrecaoCompletude.htm","conteudo",true,"");
tI5.statusbarText="CorrecaoCompletude.htm";
tI56=menuIntro.addLeafWithParams("Decidibilidade","Decidibilidade.htm","conteudo",true,"");
tI56.statusbarText="Decidibilidade.htm";
tI6=menuIntro.addLeafWithParams("Dedução e Indução","DeducaoInducao.htm","conteudo",true,"");
tI6.statusbarText="DeducaoInducao.htm";
tI36=menuIntro.addLeafWithParams("Dedução Natural","DeducaoNatural.htm","conteudo",true,"");
tI36.statusbarText="DeducaoNatural.htm";
tI37=tI36.addLeafWithParams("Tableaux Semânticos","Tableaux.htm","conteudo",false,"");
tI37.statusbarText="Tableaux.htm";
tI38=tI36.addLeafWithParams("Cálculo de Seqüentes","CalcSequentes.htm","conteudo",false,"");
tI38.statusbarText="CalcSequentes.htm";
tI8=menuIntro.addLeafWithParams("Linguagens","Linguagens.htm","conteudo",true,"");
tI8.statusbarText="Linguagens.htm";
tI17=tI8.addLeafWithParams("Língua","Lingua.htm","conteudo",false,"");
tI17.statusbarText="Lingua.htm";
tI18=tI8.addLeafWithParams("Linguagens naturais","LinguagensNaturais.htm","conteudo",false,"");
tI18.statusbarText="LinguagensNaturais.htm";
tI19=tI8.addLeafWithParams("Linguagens artificiais","LinguagensArtificiais.htm","conteudo",false,"");
tI19.statusbarText="LinguagensArtificiais.htm";
tI20=tI8.addLeafWithParams("Linguagens formais","LinguagensFormais.htm","conteudo",false,"");
tI20.statusbarText="LinguagensFormais.htm";
tI21=tI8.addLeafWithParams("Linguagem-objeto","LinguagemObjeto.htm","conteudo",false,"");
tI21.statusbarText="LinguagemObjeto.htm";
tI22=tI8.addLeafWithParams("Metalinguagem","Metalinguagem.htm","conteudo",false,"");
tI22.statusbarText="Metalinguagem.htm";
tI46=tI8.addLeafWithParams("Vícios de Linguagem","ViciosLinguagem.htm","conteudo",false,"");
tI46.statusbarText="ViciosLinguagem.htm";
tI53=tI8.addLeafWithParams("Figuras de Linguagem","FigurasLinguagem.htm","conteudo",false,"");
tI53.statusbarText="FigurasLinguagem.htm";
tI47=tI8.addLeafWithParams("Paradoxos","Paradoxos.htm","conteudo",false,"");
tI47.statusbarText="Paradoxos.htm";
tI50=tI47.addLeafWithParams("Paradoxo do Barbeiro","ParadoxoBarbeiro.htm","conteudo",false,"");
tI50.statusbarText="ParadoxoBarbeiro.htm";
tI51=tI47.addLeafWithParams("Paradoxo do Mentiroso","ParadoxoMentiroso.htm","conteudo",false,"");
tI51.statusbarText="ParadoxoMentiroso.htm";
tI57=tI47.addLeafWithParams("Sócrates e Platão","ParadoxoSocratesPlatao.htm","conteudo",false,"");
tI57.statusbarText="ParadoxoSocratesPlatao.htm";
tI58=tI47.addLeafWithParams("Paradoxo da Tartaruga","ParadoxoAquiles_e_a_tartaruga.htm","conteudo",false,"");
tI58.statusbarText="ParadoxoAquiles_e_a_tartaruga.htm";
tI59=tI47.addLeafWithParams("Paradoxo do Martelo","Paradoxo_do_Martelo.htm","conteudo",false,"");
tI59.statusbarText="Paradoxo_do_Martelo.htm";
tI48=tI8.addLeafWithParams("Sofismas e Falácias","SofismasFalacias.htm","conteudo",false,"");
tI48.statusbarText="SofismasFalacias.htm";
tI52=tI8.addLeafWithParams("Antinomias","Antinomias.htm","conteudo",false,"");
tI52.statusbarText="Antinomias.htm";
tI9=menuIntro.addLeafWithParams("Uso e Menção","UsoeMencao.htm","conteudo",true,"");
tI9.statusbarText="UsoeMencao.htm";
tI10=menuIntro.addLeafWithParams("Variáveis","Variaveis.htm","conteudo",true,"");
tI10.statusbarText="Variaveis.htm";
tI11=menuIntro.addLeafWithParams("Simbolização","Simbolizacao.htm","conteudo",true,"");
tI11.statusbarText="Simbolizacao.htm";
tI24=menuIntro.addLeafWithParams("Esquemas","EsquemasIntro.htm","conteudo",true,"");
tI24.statusbarText="EsquemasIntro.htm";
tI25=menuIntro.addLeafWithParams("Argumentos","Argumentos.htm","conteudo",true,"");
tI25.statusbarText="Argumentos.htm";
tI28=menuIntro.addLeafWithParams("Tautologias e Contradições","TautologiasContradicoes.htm","conteudo",true,"");
tI28.statusbarText="TautologiasContradicoes.htm";
tI12=menuIntro.addLeafWithParams("Princípios","Principios.htm","conteudo",true,"");
tI12.statusbarText="Principios.htm";
tI14=menuIntro.addLeafWithParams("Teoremas","Teoremas.htm","conteudo",true,"");
tI14.statusbarText="Teoremas.htm";
tI55=menuIntro.addLeafWithParams("Axiomas","../cpc/AxiomasCPC.htm","conteudo",true,"");
tI55.statusbarText="../cpc/AxiomasCPC.htm";
tI13=menuIntro.addLeafWithParams("Definições","Definicoes.htm","conteudo",true,"");
tI13.statusbarText="Definicoes.htm";
tI30=menuIntro.addLeafWithParams("Raciocínio lógico","RaciocinioLogico.htm","conteudo",true,"");
tI30.statusbarText="RaciocinioLogico.htm";
tI35=menuIntro.addLeafWithParams("Teoria do Silogismo","TeoriaSilogismo.htm","conteudo",true,"");
tI35.statusbarText="TeoriaSilogismo.htm";
tI54=menuIntro.addLeafWithParams("Teoria da Prova","TeoriaProva.htm","conteudo",true,"");
tI54.statusbarText="TeoriaProva.htm";
tI31=menuIntro.addLeafWithParams("História da lógica","HistoriaLogica.htm","conteudo",true,"");
tI31.statusbarText="HistoriaLogica.htm";
tI33=tI31.addLeafWithParams("Retalhos da história","RetalhosHistoria.htm","conteudo",false,"");
tI33.statusbarText="RetalhosHistoria.htm";
tI34=tI31.addLeafWithParams("Lista de biografias","ListaBiografias.htm","conteudo",false,"");
tI34.statusbarText="ListaBiografias.htm";
tI23=menuIntro.addLeafWithParams("Bibliografia","BibliografiaIntro.htm","conteudo",true,"");
tI23.statusbarText="BibliografiaIntro.htm";
menuIntro.drawTree();