Relatório complementar ciências contábeis
Raciocínio Logico - ao procurarmos a solução de um problema quando dispomos de dados como um ponto de partida e temos um objetivo a estimularmos, mas não sabemos como chegar a esse objetivo temos um problema. Mas se depois de examinarmos os dados chegamos a uma conclusão que aceitamos como certa, concluímos que estivemos raciocinando. Se a conclusão decorre dos dados, o raciocínio é dito lógico.
Conectivos lógicos - são palavras usadas para conectar as proposições formando novas sentenças.
Os principais conectivos lógicos são:
Calculo Proposicional - em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como "teoremas" do sistema formal.
Em termos gerais, um cálculo é frequentemente apresentado como um sistema formal que consiste em um conjunto de expressões sintáticas (fórmulas bem formadas, ou fbfs), um subconjunto distinto dessas expressões, e um conjunto de regras formais que define uma relação binária específica, que se pretende interpretar como a noção de equivalência lógica, no espaço das expressões.
Quando o sistema formal tem o propósito de ser um sistema lógico, as expressões devem ser interpretadas como asserções matemáticas, e as regras, conhecidas como regras de inferência, normalmente são preservadoras da verdade. Nessa configuração, as regras (que podem incluir axiomas) podem então ser usadas para derivar "inferir" fórmulas representando asserções verdadeiras.
O conjunto de axiomas pode ser vazio, um conjunto finito não vazio, um conjunto finito enumerável, ou pode ser dado por axiomas esquemáticos. Uma gramática formal define recursivamente as expressões e fórmulas bem formadas (fbfs) da linguagem. Além disso, pode se apresentar uma semântica para definir verdade