Fundamentos da Lógica Matemática

Prévia do material em texto

A Lógica Matemática A sintaxe invisível por trás do pensamento humano e da computação moderna. FIG. 1.0: SYSTEM SYNTAX SCALE: NTS Gemini Notebook? ? Orçamento disponível. ? ? Prazo viável. Risco aceitável. Problema do Mundo Real: Como garantir decisões perfeitas? Divergências nascem da ambiguidade. A aprovação de um projeto ou a lógica de um sistema exigem regras livres de contradição. A Lógica Matemática atua como o filtro que elimina essa ambiguidade. Gemini NotebookAlicerce: Princípio da Bivalência que é uma Proposição? Uma frase declarativa unívoca. princípio do terceiro excluído dita que não há meio-termo lógico. É Proposição Não é Proposição Abra a porta. (Sentenças 3 é número ímpar V imperativas não possuem valor lógico). Gemini NotebookA Gramática dos Operadores Lógicos Operador Símbolo Leitura Resultado Crítico Negação ~ não p V Inverte valor lógico. Conjunção q V apenas se ambas forem peq Verdadeiras. Disjunção pVq F apenas se ambas pouq forem Falsas. Condicional q se p então q F apenas quando antecedente é V e consequente é F. Bicondicional se e somente se q V quando ambas têm q mesmo valor lógico. Gemini NotebookMapa da Verdade Classificação Exaustiva A Tabela-Verdade mapeia todas as combinações e permite classificar expressões em: - Contradição: Sempre Falsa. - Contingência: valor varia - Tautologia: Sempre Verdadeira. 77 V F 77 V GeminiA Geometria do Possível: A Regra 2n n=1 n=2 n=3 Princípio Multiplicativo Por que a base é 2? número reflete a natureza estritamente binária da Lógica Proposicional. Cada nova variável adicionada a um sistema dobra universo de linhas de sua tabela-verdade exponencialmente, dimensionando a complexidade computacional. n=1 n=2 n=3 Gemini NotebookFlexibilidade Oculta: Equivalências Lógicas ~P^~Q Leis de De Morgan Duas proposições são equivalentes se possuírem exatamente a mesma Tabela-Verdade. Negar que P OU Q sejam verdadeiros é estruturalmente idêntico a afirmar que P é falso EQé falso. Essa propriedade é a chave para simplificar expressões e otimizar circuitos digitais. Gemini NotebookA Segurança da Tautologia Q R ... ... ... ... (P V Q) Q) V V V V V V V V V V V V F V F V V V F V F V V V V V V F V F F V F F V F F V V V F F F F F F F V A Verdade Universal Estrutural Uma tautologia é verdadeira independentemente das variáveis. Quando a decisão corporativa é inegociável como "O projeto só é aprovado se cumprir as exigências legais" a tauttologia atua como um princípio inquebrável, evitando qualquer cenário de decisão inconsistente. Gemini NotebookA Ponte Booleana: Da Filosofia à Engenharia Mundo Abstrato (Lógica Clássica) V F Mundo Matemático George Boole e (Séc. XIX) a Álgebra Booleana V F Mundo Físico (Engenharia Moderna) 1 1 1 1 1 A abstração bivalente permitiu mapear perfeitamente raciocínio humano para tensões elétricas, criando a linguagem base da computação moderna. Gemini NotebookHardware da Lógica: Portas Lógicas Como transistores implementam operações matemáticas. Nome da Porta Operação Booleana Símbolo Lógico Símbolo do Circuito AND Conjunção OR Disjunção A+B NOT Negação ~A XOR Ou Exclusivo Gemini NotebookEstruturas Discretas: A Lógica como Matéria-Prima Matrizes Lógica Proposicional (V/F) Grafos Muito além do hardware. Árvores sistema binário e os operadores lógicos não servem apenas a circuitos eletrônicos. Eles são a argamassa fundamental que permite estruturar dados complexos, rotear algoritmos e navegar decisões na Ciência da Computação. Gemini NotebookSíntese de Resolução: A Decisão Automatizada Aprovação (Orçamento Prazo Risco) Ao aplicar a Lógica Matemática, decisões corporativas Dominar a lógica nos equipa com uma gramática subjetivas e repletas de ambiguidades são modeladas do pensamento universal, transformando caos por expressões booleanas exatas. humano em sistemas perfeitos, executáveis e livres de contradição. Gemini Notebook