Faça um resumo sobre a logica simbolica. com exemplos do cotidiano . me ajudem por favor.​

lógica simbólica, também conhecida como lógica formal, é o estudo dos sistemas simbólicos que representam proposições e argumentos. Ela é fundamental na matemática, ciência da computação, filosofia e nas áreas de humanidades. Ela baseia-se na utilização de diferentes símbolos para representar proposições (afirmativas), conectivos (ou, e, se...então) e quantificadores (todos, alguns).<br /><br />Um exemplo do cotidiano seria a seguinte situação: "Se está chovendo, então eu levo um guarda-chuva". O "Se... então" é um operador lógico que representa uma condição. A frase pode ser modelada simbolicamente da seguinte maneira: P -> Q, onde P representa "Está chovendo" e Q representa "Eu levo um guarda-chuva". Se a condição P for verdadeira (está chovendo), então a condição Q deve ser verdadeira (eu levo um guarda-chuva). Se P for falsa (não está chovendo), a lógica não determina o resultado de Q.<br /><br />Outro exemplo pode ser extraído da programação. Frequentemente, os programadores escrevem sentenças condicionais como "Se (x> 0) então y = y +1", onde x> 0 é a condição e y = y + 1 é a ação a realizar se a condição for verdadeira. Novamente, essa estrutura condicional pode ser representada por uma expressão lógica simbólica.<br /><br />No geral, a lógica simbólica auxilia a entender, formalizar e estruturar os argumentos, permitindo detectar falhas de raciocínio e esclarecer ideias complexas.