2a:["$","h2",null,{"className":"text-2xl md:text-3xl font-bold text-white mb-6","children":"Que símbolos formam o alfabeto da lógica proposicional?"}] 2b:["$","p","0",{"className":"text-gray-300 leading-relaxed mb-6","children":"O alfabeto é composto por três tipos principais de símbolos: símbolos de pontuação,\n símbolos proposicionais e conectivos proposicionais."}] 2c:["$","h3","1",{"className":"text-xl font-semibold text-white mb-4","children":"Símbolos de pontuação"}] 2d:["$","p","2",{"className":"text-gray-300 leading-relaxed mb-6","children":"Aqui tudo é simples: apenas os parênteses ( e ) entram em jogo. Eles delimitam onde uma\n fórmula começa, termina, e ajudam a organizar o raciocínio — diferente do português,\n onde temos uma coleção de sinais como ponto, ponto e vírgula, exclamação e interrogação."}] 2e:["$","div","3",{"className":"border rounded-xl p-6 mb-8 bg-blue-500/10 border-blue-500/20 text-blue-400","children":[["$","h3",null,{"className":"font-semibold mb-3 flex items-center gap-2 text-blue-400","children":[["$","span",null,{"children":"ℹ️"}],"Info Importante"]}],["$","div",null,{"className":"text-gray-300 leading-relaxed","children":[["$","p","0",{"className":"text-gray-300 leading-relaxed mb-6","children":"O uso só de parênteses como pontuação torna a linguagem proposicional mais enxuta e\n mais adequada à manipulação formal."}]]}]]}] 2f:["$","h3","4",{"className":"text-xl font-semibold text-white mb-4","children":"Símbolos proposicionais"}] 30:["$","p","5",{"className":"text-gray-300 leading-relaxed mb-6","children":"São infinitos, representados em geral por letras maiúsculas como P, Q, R, S... Cada\n letra pode ganhar um subíndice à vontade: P1, P2, P3 e assim por diante. Eles funcionam\n como variáveis ou identificadores de proposições, prontos para receber frases como “Está\n chovendo”, “2 é par”, “O sistema está ligado”."}] 31:["$","div","6",{"className":"border rounded-xl p-6 mb-8 bg-green-500/10 border-green-500/20 text-green-400","children":[["$","h3",null,{"className":"font-semibold mb-3 flex items-center gap-2 text-green-400","children":[["$","span",null,{"children":"✅"}],"Exemplo Prático"]}],["$","div",null,{"className":"text-gray-300 leading-relaxed","children":[["$","p","0",{"className":"text-gray-300 leading-relaxed mb-6","children":"Se você quiser traduzir “Está chovendo” para lógica proposicional, basta dizer: P =\n está chovendo."}]]}]]}] 32:["$","h3","7",{"className":"text-xl font-semibold text-white mb-4","children":"Conectivos proposicionais"}] 33:["$","p","8",{"className":"text-gray-300 leading-relaxed mb-6","children":"São os verdadeiros operadores da lógica. E são sempre estes cinco: “não” (negação), “ou” (disjunção), “e” (conjunção), “implica” (se...\n então), “se somente se” (bi-implicação). Eles ligam, combinam, negam e\n transformam proposições."}] 34:["$","div","9",{"className":"border rounded-xl p-6 mb-8 bg-blue-500/10 border-blue-500/20 text-blue-400","children":[["$","h3",null,{"className":"font-semibold mb-3 flex items-center gap-2 text-blue-400","children":[["$","span",null,{"children":"ℹ️"}],"Fundamental"]}],["$","div",null,{"className":"text-gray-300 leading-relaxed","children":[["$","p","0",{"className":"text-gray-300 leading-relaxed mb-6","children":"Toda sentença lógica, por mais complexa, é sempre montada com esses três tipos de\n símbolos e nada além disso."}]]}]]}] 35:["$","section","3",{"className":"mb-16","children":[["$","h2",null,{"className":"text-2xl md:text-3xl font-bold text-white mb-6","children":"Por que o alfabeto da lógica proposicional é infinito?"}],[["$","p","0",{"className":"text-gray-300 leading-relaxed mb-6","children":"Porque as proposições, ou seja, as frases construídas que podem ser avaliadas em\n